• 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
Static Analysis

Static Analysis with

START TRIAL
Static Analysis

Static Analysis with

START TRIAL
QA Systems > Software testing tools for embedded software in C/C++ > QA-MISRA > Static Analysis with QA-MISRA | Prevent costly mistakes – detect defects early

Unsurpassed Accuracy: Source code analysis with QA-MISRA

Static analysis continuously detect and report on software defects, language implementation errors, inconsistencies, dangerous usage, coding standard violations, and security vulnerabilities.

Prevent costly mistakes – detect defects early

QA-MISRA identifies software defects in the source code at the first stage in the development cycle. By catching bugs as they occur, the cost and effort needed to resolve them is significantly reduced.

C/C++ source code is analyzed and more than 900 potential problems are reported on. Static analysis with QA-MISRA automatically identifies dangerous structures, problems with reliability, maintainability and portability.

Produce clean code with predictable behaviour

Even ISO-standard-compliant software can behave differently than expected because not everything that can cause problems later in the development process is classified as incorrect by safety standards. This is why static analysis with QA-MISRA also shows problems with your code that are often overlooked by developers and compilers. Testing in QA-MISRA is fully automated saving valuable developer resource.

Monitor your codebase – comprehensive configurable reporting

Comprehensive reporting helps you to find problems, showing where to take a closer look and identifying areas where the most work is needed. 

Compliance Report
Identifies areas that need more work to attain a higher compliance level

Classification Report
The rule violations detected by QA-MISRA are classified by the users and listed in the classification report

Metric Report
Provides metrics data as Text, HTML and CSV files

Constraint Violations

QA-MISRA can help you find errors in your code where the syntax is correct but semantically it is incorrect, unspecified or undefined. In some cases this can cause compilers to produce errors and stop, however QA-MISRA can also detect errors that do not prevent a compiler from working.

Analysis across several modules

QA-MISRA identifies non-compliant behaviour that a linker cannot resolve. Recursions as well as contradicting declarations of external objects and functions in the entire project are easily detected.

Guarantee portability – consistency across platforms

QA-MISRA keeps code consistent across compilers and platforms, while recognising the limitations of the ISO-standard, language extensions and behaviour defined by the implementation.

Conversions

QA-MISRA determines implicit conversions between file types (default arguments, integral promotion, function returns).

Redundancies

QA-MISRA detects unused variables, functions and parameters as well as conditions under which the result is unchangeable (always true or always false).

Statements and Operations

QA-MISRA detects suspicious comparison operations including the use of incorrect types and can find constructions that while allowed, are likely to be misleading or difficult to understand and maintain.

Naming Conventions

QA-MISRA encourages the use of uniform terms that are specified by regular expressions. All identifier features can be checked.

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é.

×

Static Analysis with QA-MISRA | Prevent costly mistakes – detect defects early

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é.