Presentation / Exposé : Génération automatique de test de conformité de systèmes réactifs

Cours donné dans le cadre des Jeudi Etat de l'Art du Greco Informatique 19 juin 1997. CNIT- Paris la Défense

Thierry Jéron. Pampa/IRISA/INRIA

Ce cours comprenait une présentation de Ana Cavalli de l'INT Evry sur les méthodes de génération automatiques de test fondées sur le modèle des automates d'état finis (machines de Mealy), une présentation générale de Claude Jard sur le projet Pampa et sur la valorisation de notre prototype TGV et une présentation de Thierry Jéron comprenant un état de l'art partiel des méthodes de génération automatiques de test et une présentation assez détaillée de l'état actuel de TGV.