PolySpace Technologies annonce une nouvelle version de PolySpace Verifier. Cet outil s’utilise notamment pour la vérification automatique des applications sur logiciels embarqués. La version 4.1 bénéficie désormais d’une interface de revue des résultats (PolySpace Viewer). Par ailleurs, il est maintenant possible de visualiser les fichiers d’include (.h) et de comparer deux jeux de résultats. Enfin, la version 4.1 introduit également une nouvelle barre d’outils permettant d’accéder aux modules PolySpace d’un simple clic, et supporte nativement les langages des compilateurs Keil et IAR. La version 4.1 des produits PolySpace sera disponible commercialement en avril 2007.
article précédent
article suivant
