• Support
  • Contact
  • Blog
  • Français
    • English
    • Deutsch
    • Italiano
    • Português
    • Español
    • 简体中文
  • Outils
    • Analyse Statique Intégrée
      • QA-MISRA
        Analyse détaillée de code C/C++ à l’échelle industrielle
      • Cantata Test Architect
        Comprenez, concevez et controlez l’architecture logicielle
      • Métriques de Qualité du Code Source
        Automatisation des métriques de qualité du code source C/C++
      • Get a demo
    • TEST LOGICIELS
      • Cantata
        Tests unitaires et d’intégration automatisés pour le C/C++
      • Cantata Team Reporting
        Module de pilotage centralisé des données de test
      • AdaTEST 95
        Tests unitaires et d’intégration automatisés pour l’Ada
      • Why Pay for Unit Test Tool?
  • Solutions
    • SECTEURS
      • Automotive
      • Energie
      • Systèmes Médicaux
      • Automatisation Industrielle
      • Ferroviaire
      • Aéronautique et Défense
      • Systèmes d’information critiques
      • E
      • E
      • Get a demo
    • NORMES DE SÛRETÉ
      • ISO 26262
      • IEC 60880
      • IEC 62304
      • IEC 61508
      • EN 50128
      • DO-178C
      • MISRA
      • AUTOSAR
      • CERT
      • Why bother to unit test?
  • Academie
    • Séminaires
    • Formations
    • Webinaires
    • Intervenants
    • Formulaire d’Inscription
  • Societe
    • A propos de nous
    • Equipe managériale
    • Partenaires
    • Bulletins et communiqués de presse
    • Evénements
    • Emplois
    • Get a demo
  • Ressources
  • Porsche
  • Français
    • Anglais
    • Allemand
    • Italien
    • Portugais – du Portugal
    • Espagnol
    • Chinois simplifié
  • Outils
    • Analyse Statique
      • QA-MISRA
      • Cantata Test Architect
      • Métriques de Qualité du Code Source
    • Test Logiciels
      • Cantata Team Reporting
      • Cantata
      • Adatest 95
  • Solutions
    • Secteurs
      • Automotive
      • Energie
      • Systèmes Médicaux
      • Automatisation Industrielle
      • Ferroviaire
      • Aéronautique et Défense
      • Systèmes d’information critiques
    • NORMES DE SÛRETÉ
      • ISO 26262
      • IEC 60880
      • IEC 62304
      • IEC 61508
      • EN 50128 / 50657
      • DO 178
      • Misra
      • Autosar
      • Cert
  • Academie
    • SEMINAIRES
    • Webinaires
    • Intervenants
    • Témoignages
  • Societe
    • A propos de nous
    • Equipe managériale
    • Partenaires
    • Bulletins et communiqués de presse
    • Evénements
    • Emplois
  • Ressources
  • Blog
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

QA Systems GmbH
Roggenstrasse 11
71334 Waiblingen | Germany

© 2021 QA SYSTEMS GMBH

Phone: +49 (0)711 138183 -0
Fax: +49 (0)711 138183 -10
[email protected]

  • Mentions légales
  • Politique de confidentialité
  • Contact
  • Resources

Newsletter

Get the latest technology news updates, product releases plus tips and tricks:

subscribe to newsletter
  • Suivre
  • Suivre

Newsletter

Get the latest technology news updates, product releases plus tips and tricks:

subscribe to newsletter
  • Suivre
  • Suivre

Phone: +49 (0)711 138183 -0
Fax: +49 (0)711 138183 -10
[email protected]

  • Mentions légales
  • Politique de confidentialité
  • Contact
  • Resources

QA Systems GmbH
Roggenstrasse 11
71334 Waiblingen Stuttgart | Germany

© 2020 QA SYSTEMS GMBH

Start
Trial
×

Login

Mot de passe oublié?

Or

 

Create an Account

Sign up for access to premium content
Register for full access to our extensive resources library.
  • Ce champ n’est utilisé qu’à des fins de validation et devrait rester inchangé.

×

QA-MISRA Overview

Academy Registration Form

  • Contact details attendee

  • QA Systems arranges a block booking of rooms for seminar participants at the respective hotels, usually with special rates. The participants are responsible for their own reservation, payment, etc. If you wish to receive the hotel information, please tick:
  • Ce champ n’est utilisé qu’à des fins de validation et devrait rester inchangé.