qa-misra

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

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. QA-MISRA checks for over 900 potential software errors in source code. Through static analysis with QA-MISRA dangerous structures as well as problems with security, maintenance and porting can easily be found 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 and AUTOSAR rules, as well as the security standards: SEI CERT C/C++, Common Weakness Enumeration (CWE), ISO/IEC TS 17961, Hersteller Initiative Software (HIS Metrics) and for others.

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

Common Weakness Enumeration security standard for the use of C language

AUTOSAR

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

HIS Metrics

Hersteller Initiative Software consortium quality metrics for C/C++ languages

CERT C/C++

SEI security coding standard for the use of C/C++ languages

SAFETY-CRITICAL STANDARDS

By using the ‘Qualification Support Kit‘, 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