Polyspace 3.2 de Polyspace Technologies

Cet environnement logiciel de test analyse le code C ou C++ d’une application embarquée, de manière statique avant compilation.

Support natif des processeurs cibles HC8, HC12 et MPC55
Interface graphique de lancement des analyses
Analyse automatique de la conformité d’un logiciel aux règles Misra C
Contrôle du domaine de variation

…