VETESS : IDM, Test et SysML
Résumé
Il apparaît souvent que les processus d'ingénierie système sont en fait décomposés en phases discontinues où
trop peu d'informations sont partagées entre les différentes équipes, par exemple entre les équipes de design et de tests.
Cette faiblesse peut être palliée par l’utilisation de modèles de spécifications qui jouent alors le rôle de référentiel pour
l’ensemble des équipes participant au cycle de vie du logiciel. Ce type de modèle est couramment utilisé comme base
dans les activités de conception, de vérification, ou encore de test. Le test basé sur les modèles est une approche
originale où sont automatiquement générés des cas de test et des scripts de test exécutables à partir d'une spécification
du système sous test. Cette spécification prend la forme d'un modèle comportemental, permettant ainsi au générateur de
tests de déterminer, d'une part, quels sont les contextes d'exécution pertinents et, d'autre part, de prédire les effets sur le
système de ces exécutions. Le but du projet VETESS est de rendre possible cette approche pour valider les systèmes
embarqués automobiles. Il s’agit ainsi de mettre en œuvre et d’outiller un processus automatique permettant de dériver,
d'un modèle de spécification décrit avec un sous-ensemble du langage de modélisation SysML, des cas de test, et de
produire ensuite les scripts de test correspondants à exécuter sur banc de test automobiles.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...