Thèse de doctorat en Informatique
Sous la direction de Olivier Henri Roux et de Philippe Dhaussy.
Soutenue en 2003
à Nantes , dans le cadre de École doctorale sciences et technologies de l'information et des matériaux (Nantes) , en partenariat avec École centrale de Nantes (autre partenaire) et de École nationale supérieure des ingénieurs des études et techniques d'armement (autre partenaire) .
Les systèmes embarqués critiques doivent être soumis à une validation rigoureuse afin d'assurer leurs performances et leur sûreté de fonctionnement. Le test de conformité est l'activité permettant de s'assurer que le produit final correspond aux attentes de la spécification. Dans le cas des systèmes temps-réel, il est important de tester la conformité en prenant en considération les contraintes temporelles du modèle. Cette thèse propose une approche de génération de tests pour des systèmes d'automates temporisés paramétrés. L'algorithme de construction des tests utilise un objectif de test pour sélectionner les comportements à tester. Les tests sont construits grâce à une analyse d'accessibilité symbolique des états du modèle, et une représentation des contraintes d'horloges par une extension paramétrée des diagrammes différentiels d'horloges Clock difference diagrams. Au cours de ce travail, nous avons développé un outil de génération de tests : RTT (Real Time Test Generator).
Pas de résumé disponible.