Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes embarqués - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2012

Test generation from SysML model for functional validation of embedded system

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

Résumé

This work.
Mes travaux de thèse 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. Inspiré de travaux sur la génération de tests à partir de modèles UML4MBT (sous-ensemble d'UML), 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. Ce sous-ensemble permet une représentation suffisante des comportements du système et de son environnement pour permettre une génération de tests pertinente de manière automatique. Une stratégie de génération de tests dédiée (intitulée ComCover) a été définie afin d'exploiter au maximum les comportements modélisés et ainsi compléter la stratégie implantée initialement au sein de l'outil de génération de tests à partir de modèle UML4MBT. 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 oeuvre opérationnelle d'un prototype 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 (UML4MBT) tout en conservant l'expressivité de SysML4MBT. Afin d'obtenir, à l'aide de l'outil de génération de tests, la couverture définie par la stratégie ComCover, la transformation de modèles à été surchargée permettant ainsi la génération automatique de tests dédiés embarqué. 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.
Fichier principal
Vignette du fichier
JLA.PHD.pdf (5.87 Mo) Télécharger le fichier

Dates et versions

tel-00762053 , version 1 (06-12-2012)
tel-00762053 , version 2 (03-02-2014)

Identifiants

  • HAL Id : tel-00762053 , version 1

Citer

J. Lasalle. Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes embarqués. Génie logiciel [cs.SE]. Université de Franche-Comté, 2012. Français. ⟨NNT : ⟩. ⟨tel-00762053v1⟩
672 Consultations
1648 Téléchargements

Partager

Gmail Facebook X LinkedIn More