Outils pour la synthèse de tests et la maîtrise de l'explosion combinatoire.
Notre approche, dans le cadre du test de conformité, se base sur le fait qu'il existe différents niveaux d'abstraction pour définir des tests : les tests exécutables pour une cible technologique et les tests abstraits qui sont indépendants de la technologie. Nos travaux portent sur deux po...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
2005
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00011507 http://tel.archives-ouvertes.fr/docs/00/05/73/29/PDF/TheseOlivierMaury.pdf |