Génération automatique de scénarios de tests à partir de propriétés temporelles et de modèles comportementaux
Les travaux proposés dans cette thèse, effectuée dans le cadre du projet ANR TASCCC, présentent une technique de génération de tests à partir de modèles comportementaux en UML/OCL et de proprié- tés temporelles. Pour cela, nous décrivons un langage de propriétés temporelles inspiré des...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université de Franche-Comté
2013
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00924485 http://tel.archives-ouvertes.fr/docs/00/92/44/85/PDF/These.pdf |