Les thèmes d'actualité

Version 4.1 de Polyspace Verifier pour la vérification automatique des logiciels embarqués

Mars 2007

PolySpace Technologies annonce une nouvelle version de ses outils et deux modules additionnels qui étendent son offre dans le domaine de la mesure de la fiabilité des logiciels et du test dynamique automatique.
La nouvelle version 4.1 des produits PolySpace pour la vérification automatique des logiciels embarqués bénéficie notamment d'une interface de revue des résultats (PolySpace Viewer) entièrement refondue suite à un audit réalisé par un cabinet d'ergonomie. Cette interface se voit ainsi dotée d'un assistant méthodologique automatique qui aide l'utilisateur à déterminer, selon son propre modèle qualité, les opérations à risque à revoir ainsi que l'ordre dans lequel le faire. Par ailleurs, il est maintenant possible de visualiser les fichiers d'include (.h) et de comparer simplement 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 click et supporte nativement les dialectes des compilateurs Keil et IAR. La version 4.1 des produits PolySpace sera disponible commercialement en avril 2007.
PolySpace lance également un module additionnel de mesure de la fiabilité: PolySpace SCREAM. Cet ensemble d'outils permet la production de métriques, statistiques et graphiques basés sur les résultats des analyses PolySpace. Il permet de mesurer et améliorer la fiabilité du logiciel à partir du nombre de bugs revus et corrigés durant le développement. En effet, PolySpace possède la faculté, unique sur le marché, de démontrer l'absence d'erreurs. Cette faculté permet à PolySpace de mesurer directement la fiabilité logicielle, au-delà des métriques traditionnelles qui ne constituent que des indicateurs de la complexité et de la portabilité du logiciel. Ce module est disponible dès aujourd'hui pour tous les utilisateurs des produits PolySpace.
Enfin, PolySpace présente un générateur automatique de tests et de code instrumenté qui permet, après la vérification statique du code par PolySpace Verifier, d'effectuer une vérification dynamique sur les opérations non-prouvées. Constituant une nouvelle méthode pour exploiter les résultats des analyses, ce module permet aux utilisateurs des produits PolySpace de choisir, en fonction de leurs exigences de qualité, l'effort exact qu'ils souhaitent consacrer à la revue des résultats. Ce module sera disponible dans la version 4.2 des produits PolySpace prévue pour fin 2007.
Les produits PolySpace sont disponibles pour les langages C, C++ et Ada et sur les plateformes Windows, Linux et Sun Solaris.