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 oeuvre 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.
Type de document :
Article dans une revue
Génie logiciel, C & S, 2010, pp.43--48
Liste complète des métadonnées

https://hal.inria.fr/inria-00533277
Contributeur : Fabrice Bouquet <>
Soumis le : vendredi 5 novembre 2010 - 15:48:28
Dernière modification le : jeudi 11 janvier 2018 - 06:20:00

Identifiants

  • HAL Id : inria-00533277, version 1

Citation

Frédéric Fondement, P-A. Muller, Brice Wittmann, Fabrice Ambert, Fabrice Bouquet, et al.. VETESS : IDM, Test et SysML. Génie logiciel, C & S, 2010, pp.43--48. 〈inria-00533277〉

Partager

Métriques

Consultations de la notice

405