QA-MISRA Overview

qa-misra

Key Benefits & Features and Technical Specifications

START TRIAL

MORE

qa-misra

Key Benefits & Features and Technical Specifications

START TRIAL

MORE

QA Systems > Software testing tools for embedded software in C/C++ > QA-MISRA > QA-MISRA Overview

KEY BENEFITS

Reduces cost while improving time-to-market
Lowers the risk of program failure
Identifies coding problems early in the development cycle
Ensures quality code and coding standard compliance
Fully integrated environment for the MISRA standard
For all industries where safety-critical software is essential
Accelerates and refocuses the code review process and improves collaboration of development teams
Elevates the know-how of your developers and promotes best practices
Enhances reliability, portability, and maintainability
Increase code portability and re-usability
Immediate and repeatable tests in your development environment

KEY FEATURES

QA-MISRA is a static analyzer designed to check coding guidelines and compute code metrics for safety-critical C/C++ programs adhering to the C90, C99, C11, C18, and C++98, C++11, C++14, C++17 language norms.

Fast and easy to use
Enforcement of coding guidelines including MISRAC:2004, MISRA-C:2012, and customized rule sets
No false positives and no false negatives on syntactical rules
Seamless integration with Astrée to guarantee zero false negatives and minimal false positives on semantical rules
Computation of code metrics: HIS metrics and customized metrics
Enforcement of metric thresholds
Full tracability of reported code issues
Interactive result exploration
Robust classification of findings
Configurable report file generation
Tracking and visualization of project progress and analysis revisions
Client/server architecture featuring queue processing of analysis requests, and centralized user management and authentication
Stand-alone tool with open interfaces and open file formats
MATLAB integration and TargetLink coupling
Automatic tool qualification according to safety standards

TECHNICAL SPECIFICATIONS, PLATFORMS AND INTEGRATIONS

General Functions

Command Line Interface (CLI)
Interactive GUI
Online-Help & MISRA Knowledgebase
Overviews and detailed reports
Integrates into Eclipse-based IDE‘s

Code Analysis Functions:

Fast source code analysis
Alerts can be classified on the basis of comments
ISO/IEC 9899:1990 (C90)
ISO/IEC 9899:1999 (C99)
ISO/IEC 9899:2011 (C11)
ISO/IEC 9899:2018 (C18)
ISO/IEC 14882:2011 (C++11)
ISO/IEC 14882:2014 (C++14)
ISO/IEC 14882:2017 (C++17)

Supported Coding Standards:

MISRA C:2004
MISRA C:2012
MISRA C:2012 Amendment 1&2
MISRA AC AGC
HIS Metrics
ISO/IEC TS 17961:2013 (C Secure Coding Rules)
SEI CERT C Coding Standard
SEI CERT C++ Coding Standard
Common Weakness Enumeration (CWE)
MISRA C++:2008
Adaptive AUTOSAR C++14
Custom Coding Standards
Review of naming conventions
Expandable Rulesets

Safety-Critical Standards:

By using the ‘Qualification Support Kit‘, QA-MISRA can be automatically qualified for the following safety standards:

ISO 26262:2018 (Automotive)
EN 50128:2011/A2:2020 (Railways)
EN 50657:2017 (Railways Rolling Stock)
IEC 62304:2006 (Medical Devices)
IEC 61508:2010 (Industrial Automation)
DO-178B (Aerospace and Defence)
DO-178C / DO-330 (Aerospace and Defence)

System Requirements:

Windows:64-bit Windows 10 or higher
Linux: 64-bit CentOS/RHEL 7 or other compatible distribution
4 GB RAM (16 GB recommended)
4 GB Storage space

Continuous Integration Environments:

Jenkins
Other CI environments can be integrated via the command line interface

BACK TO QA-MISRA

KEY BENEFITS

KEY FEATURES

TECHNICAL SPECIFICATIONS, PLATFORMS AND INTEGRATIONS

General Functions

Code Analysis Functions:

Supported Coding Standards:

Safety-Critical Standards:

System Requirements:

Continuous Integration Environments:

Newsletter

Newsletter

Sign up for access to premium content

Academy Registration Form

Contact details attendee

KEY BENEFITS

KEY FEATURES

TECHNICAL SPECIFICATIONS, PLATFORMS AND INTEGRATIONS

General Functions

Code Analysis Functions:

Supported Coding Standards:

Safety-Critical Standards:

System Requirements:

Continuous Integration Environments:

Login

Or

Create an Account

Sign up for access to premium content

QA-MISRA Overview

Academy Registration Form

Contact details attendee