Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes embarqués

• Main Author: Lasalle, Jonathan
• Language: fra
• Published: Université de Franche-Comté 2012
• Subjects: [INFO:INFO_SE] Computer Science/Software Engineering; [INFO:INFO_SE] Informatique/Génie logiciel; Validation de système embarqués; Génération de tests à partir de modèles; UML/Sys ML; Critères de couverture; Transformation de modèles; Chaine outillée
• Online Access: http://tel.archives-ouvertes.fr/tel-00762053; http://tel.archives-ouvertes.fr/docs/00/94/10/79/PDF/these_A_LASALLE_Jonathan_2012.pdf

Les travaux présentés dans ce mémoire proposent une méthode originale de génération automatique de tests à partir de modèles SysML pour la validation de systèmes embarqués. Un sous-ensemble du langage SysML (appelé SysML4MBT) regroupant les éléments de modélisation pris en compte dans notre approche a été défini et une stratégie de génération de tests dédiée (intitulée ComCover) a été créée. Cette stratégie, basée sur les principes du critère de couverture de modèles bien connu Def-Use, s'intéresse à la couverture des communications (envois / réceptions) au sein du système et entre le système et son environnement.La mise en œuvre opérationnelle d'un prototype, basé sur un générateur de tests à partir de modèle UML, a nécessité la définition de règles de réécriture permettant la transformation du modèle SysML4MBT vers le format d'entrée natif du générateur de tests tout en conservant l'expressivité de SysML4MBT. Finalement, les étapes de concrétisation des tests en scripts exécutables et l'établissement automatique du verdict lors de l'exécution sur banc de test définis durant le projet VETESS permettent l'établissement d'une chaîne outillée opérationnelle de génération et d'exécution automatique de tests à partir de spécifications SysML. Cette chaîne outillée a été étrennée sur plusieurs cas d'étude automobile tels que l'éclairage avant, les essuie-glaces ou la colonne de direction de véhicule. Sur ce dernier exemple, nous avons eu l'opportunité d'exécuter les tests sur un banc de test physique. Ces cas d'étude ont permis de valider chacune des étapes de l'approche proposée.