L'embarqué > - Outil de vérification des règles de codage

- Outil de vérification des règles de codage

AbsInt propose l’outil RuleChecker qui permet de vérifier efficacement les règles de codage, telles que les règles Misra C:2012, et de maîtriser la complexité du code embarqué pour en assurer la qualité et la fiabilité.

- Respect des règles Misra C:2004, Misra C:2012, ISO/CEI TS 17961:2013, SEI Cert Secure C, Mitre CWE…

- Evaluation de la complexité du code par le support des métriques les plus utilisées dans l’industrie comme les métrques HIS

- Interface graphique conviviale (bâtie sur celle du produit Astree)

- S’intègre à de multiples environnements de développement tels que TargetLink, Jenkins, Eclipse…

- Qualification selon les normes de sureté de fonctionnement telles que ISO 26262, DO-178B/C, CEI 61508, EN 50128…

 

Retour à la liste