L'embarqué > - Kit de qualification d’un outil d’analyse statique

- Kit de qualification d’un outil d’analyse statique

Mis au point par l’éditeur GrammaTech (dont les produits sont distribués en France par ISIT), le kit de qualification de l’outil d’analyse statique CodeSonar de la société vise à s’assurer qu’il fonctionne correctement vis-à-vis des normes de sécurité fonctionnelle et de sûreté de fonctionnement utilisées dans l’avionique, l’automobile, l’industrie… Ces normes imposent en effet de prouver le bon fonctionnement des outils pour s’assurer de la validité des résultats des tests.

- Permet de comprendre l’apport de l’analyse statique comme fonctionnalité de test d’un logiciel

- Permet de qualifier CodeSonar dans un environnement de développement

- Permet de générer un rapport de classification et de créer un plan et un rapport de qualification pour l’outil CodeSonar

- Fonctionne indépendamment de la version de CodeSonar

- Prise en charge des standards CEI 61508, DO-178 B/C et ISO 26262

 

Retour à la liste