qa-misra

In-depth analysis for industrial
scale C/C++ code

Industry benchmark for in-depth, accurate analysis of industrial-scale C/C++ code

The earlier software errors are identified and eliminated in the development process, the more your costs are reduced. Our tool is supplied with 900 potential source code problems and static analysis in QA-MISRA can easily find dangerous structures and problems with security at an early stage.

  • Fast Analysis of C/C++ Code
    QA-MISRA analyses extensive and complex software packages very quickly, regardless of the size of the codebase. This simplifies quality management and helps you comply with the relevant safety-standards. Does your code match the required standard for your project?
  • Reliable, portable, maintainable
    Program code checked with QA-MISRA is reliable, portable and easier to maintain. Because with QA-MISRA your software becomes more uniform, less complex and more powerful.
  • Safety-critical standards compliance
    QA-MISRA automatically checks your C or C++ code for compliance with MISRA rules, AUTOSAR rules, CERT recom­mendations, and other coding guidelines.

EXPLORE QA-MISRA

Static Analysis Hero Image - Static analyzers continuously detect and report on dataflow problems, software defects, language implementation errors, inconsistencies, dangerous usage, coding standard violations, and security vulnerabilities

Static Analysis with QA-MISRA

Static Analysis with QA-MISRA
Assess software reliability, security, and conformance to coding standards best practices, while reducing development time.

Learn More

Standard Compliance with QA-MISRA

Standard Compliance with QA-MISRA
Check your C or C++ code for compliance with MISRA rules, AUTOSAR rules, CERT recommendations, and other coding guidelines.

Learn More

Integrated test framework - Automated C/C++ test script production test executable building, running on target and detailed diagnostic on host, for unit and integration testing

Continuous Integration

Continuous Integration
Continuous Integration is a principle that encourages developers and teams to share and integrate all their contributions continuously – literally.

Learn More

Works in your environment - A best in class tool integrated with an extensive set of embedded development toolchains - circuit board

Overview QA-MISRA

Overview QA-MISRA
QA-MISRAs’ Key Benefits & Features and Technical Specifications

Learn More

Cost against efficiency, speed and quality coordinate system - why invest in AdaTEST 95 - how AdaTEST 95 will improve a company with lower costs - high efficiency - high speed - high quality - low costs

Why invest in QA-MISRA? 

Why invest in QA-MISRA? Industry leaders use QA-MISRA to:

  • Get to market better products faster
  • Your teams work together more effectively
  • You manage to combine speed in development with high quality
  • You can easily reuse existing code

Learn More

Safety standards testing compliance

International software safety standards require evidence of low level testing to obtain certification for the device software.

Standard specific QA-MISRA tool certification kits are available and contain everything needed out-of-the-box as well as comprehensive guidance to help you achieve certification for your device software. Tool qualification of QA-MISRA is also available where tool certification against a standard is not permitted as the tool must be qualified separately for each project (e.g. for DO-178B/C).

SUPPORTED CODING STANDARDS

(for further information please see the links below):

MISRA C/C++

Guidelines for the use of the C/C++ languages in critical systems

CWE

Secure Coding Standard

AUTOSAR

Guidelines for the C++ language in safety-critical systems.

HIS metrics
CERT

Secure Coding Standard

SAFETY-CRITICAL STANDARDS

By using the ‘Qualification Support Kits‘ and the ‚Qualification Software Life-Cycle Data Report‘, QA-MISRA is automatically qualified for the following safety standards:

ISO 26262

Road vehicles – Functional safety

EN 50128 / EN 50657

Railway applications – Communication, signalling and processing systems

IEC 62304

Medical device software – software life cycle processes

IEC 61508

Functional Safety of Electrical/ Electronic/ Programmable Electronic Safety-related Systems

DO-178B/C

Software Considerations in Airborne Systems and Equipment Certification

Why buy from QA Systems

  • A reliable testing vendor for 25 years
  • Hundreds of customers across all safety and business critical sectors
  • We listen to our customers to guide product enhancements
  • Specialists in high reliability automated functional safety
  • Experienced direct technical support teams
  • Tool training and on-site consultancy