Thierry Jéron, Pampa/IRISA/INRIA.
Dans ce cours, nous commencerons par situer le contexte du test de conformité
des protocoles, les notions d'architecture de test,
l'écriture des cas de test et le langage TTCN à travers
la norme ISO 9646.
Nous présenterons ensuite un cadre général pour
la génération
automatique à partir de spécifications formelles.
Nous examinerons ensuite deux types de méthodes de génération:
- les techniques basées sur la théorie des automates
- les techniques fondées sur les systèmes de transition.
Nous examinerons la théorie et les algorithmes des méthodes
fondées sur les automates et l'illustrerons par quelques exemples.
Après une présentation de la théorie des techniques
fondées sur les
systèmes de transitions, nous détaillerons l'approche
adoptée dans le prototype TGV et la situerons par rapport au problème
du model-checking.
Nous examinerons ensuite les problèmes du test dans un contexte
et en particulier les problèmes liés à l'asynchronisme
entre
testeur et testé.
Nous terminerons par le problème du test réparti.