Chaud

QA SYSTEMS – QA-MISRA

QA-MISRA de QA Systems est un outil d’analyse de règles de codage pour code C/C++. Il assure une vérification rapide de la conformité du code aux règles de sureté et de cybersécurité MISRA C 2012, MISRA C++ 2008, AUTOSAR C++14, HIS Metrics, JSF AV C++, CERT C/C++ 2016, CWE 4.7 et ISO TS 17961:2013.

Grâce à l’analyse statique de QA-MISRA, les structures dangereuses, les problèmes de sécurité, de maintenance et de portabilité peuvent être facilement détectés dès l’écriture des composants du code source. Plus les erreurs logicielles sont identifiées et éliminées tôt dans le processus de développement, plus vos coûts seront réduits. QA-MISRA vérifie plus de 900 erreurs logicielles potentielles dans le code source.

Les projets d’analyse peuvent être créés et réexécutés en mode batch pour une intégration continue en ligne de commande. Les spécifications d’analyse sont définies dans des fichiers DAX générés à partir de l’interface graphique ou même automatiquement à la volée à partir de XML et de scripts.

Les graphes de Folding Calls, les résultats des règles contextuelles, les liens avec le code source et les exportations CSV fournissent un aperçu graphique de la qualité du code.
Une vue filtrable dans l’interface graphique présente toutes les classes et relations de classes pour le code sélectionné, y compris celles définies dans le namespace standard C++. Un graphique de classe visualise une classe sélectionnée ainsi que ses relations avec d’autres classes. Les relations possibles sont l’héritage, l’instanciation/spécialisation de modèles et l’utilisation en tant que type de membres de champs. Pour chaque classe individuelle, des informations détaillées sur les membres des champs et des méthodes peuvent être consultées.

interface graphique

La certification des outils d’analyse statique peut représenter une lourde charge en termes de coûts de mise en conformité. QA-MISRA a été certifié de manière indépendante par SGS-TÜV SAAR GmbH et fournit un kit de certification d’outils comprenant tout ce qui est nécessaire.

Certificate

 

Contactez nous pour une démonstration en ligne ou pour accéder à la version d’évaluation gratuite, avec support technique et formation en ligne.

Recevez le PDF de cette fiche par e-mail
Demandez plus d'informations

Description

QA-MISRA de QA Systems est un outil d’analyse de règles de codage pour code C/C++. Il assure une vérification rapide de la conformité du code aux règles de sureté et de cybersécurité MISRA C 2012, MISRA C++ 2008, AUTOSAR C++14, HIS Metrics, JSF AV C++, CERT C/C++ 2016, CWE 4.7 et ISO TS 17961:2013.