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

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

Show other versions (1)

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...

Full description

Bibliographic Details
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

Internet

http://tel.archives-ouvertes.fr/tel-00762053
http://tel.archives-ouvertes.fr/docs/00/94/10/79/PDF/these_A_LASALLE_Jonathan_2012.pdf

Similar Items