La sûreté des logiciels - CEA
La sûreté des logiciels - CEA
La sûreté des logiciels - CEA
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Le test <strong>des</strong> <strong>logiciels</strong> avioniques est structuré en plusieurs phases : le test unitaire, le testd’intégration et le test de validation. Le test unitaire adresse les propriétés de chaquemodule, le test d’intégration adresse les propriétés d’interactions <strong>des</strong> modules et le test devalidation adresse les propriétés globales du logiciel complet. Le choix <strong>des</strong> propriétésfonctionnelles aiguille naturellement un positionnement de l’utilisation <strong>des</strong> preuvesunitaires à la « Caveat » à la place du test unitaire.Utilisation opérationnelle de CAVEAT<strong>La</strong> collaboration avec le <strong>CEA</strong> List a abouti à un outil ainsi qu’à une méthodologie depreuve de propriétés fonctionnelles utilisables industriellement. Caveat est aujourd’huidéployé et utilisé sur une première application : un sous-ensemble de logiciel critique <strong>des</strong>comman<strong>des</strong> de vol du programme A380.Dossier de presse <strong>CEA</strong> : <strong>sûreté</strong> <strong>des</strong> <strong>logiciels</strong> septembre 2003 www.cea.fr / 10