Vérification de règles de codage et détection d'erreurs en C/C++
Détection et des erreurs de codage et vérification de règles de bonne pratique sont indispensable pour la validation, la vérification et la certification de logiciels embarqués critiques qui doivent satisfaire aux exigences de sureté de fonctionnement et de cybersécurité tels que les DO178B/C, ISO 26262, IEC 61508, EN 50128 ou ISO 21434.
Astrée d’AbsInt et QA-MISRA de QA Systems permettent une analyse statique de code C/C++ en vue du debbugage et de la validation de ce code. QA-MISRA est dévolu aux règles de codage tandis qu’Astrée le complète en ajoutant une détection fine des erreurs de codage.
-
ABSINT – ASTRÉE
En réalisant une analyse statique du code C/C++, Astrée d'AbsInt détecte les erreurs de codage et vérifie certaines règles de bonnes pratiques. Indispensable pour la validation, la vérification et la certification de logiciels embarqués critiques qui doivent satisfaire aux exigences de sureté de fonctionnement et de cybersécurité tels que les DO178B/C, ISO 26262, IEC 61508, EN 50128 ou ISO 21434. -
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.
