Vous êtes dans une démarche d’amélioration continue de votre qualité logicielle ? Découvrez ce que l’analyse statique peut vous apporter.

Au cours de ce webinar, la qualité logicielle sera abordée sous deux angles différents : d’un point de vue code et d’un point de vue modèle de spécifications. Il sera expliqué en quoi l’analyse statique est complémentaire de la simulation et des tests fonctionnels.

Il sera également montré quels sont les différents types de vérifications que l’on peut pratiquer lorsqu’un logiciel embarqué est constitué d’un mélange de code généré et de code écrit à la main, et pour quelles raisons.

Enfin, il sera vu quels workflows permettent de concilier ces pratiques pour obtenir un logiciel de plus grande qualité.

Ce webinar est destiné aux développeurs logiciels; aux ingénieurs qualité logicielle qui cherchent à améliorer leur processus de vérification, quelle que soit l’origine du code; aux chefs de projet logiciel temps réel; aux architectes système.

Points Forts

Les points forts de ce webinar portent sur les activités de vérification logicielle suivantes :

-- vérification des règles de codage aux niveaux modèle et code

-- détection des erreurs de design et de codage

- preuve de l’absence d’erreur

Produits présentés

Polyspace

Simulink Verification and Validation

Simulink Design Verifier

Date: 21 juin 2011, 14h00 – 16h00

S'inscrire