Mots clés : test de conformité, tests abstraits, tests exécutables, abstraction, déterminisation, génération à la volée, vérification, objectif de test, test symbolique, SDL, LOTOS.

Mots clés : télécom, objets, ordres partiels, concurrence, UML, MSC, réseaux de Petri, (Max, +), BDL.