Responsable : Mihaela Sighireanu.

Cours

• Cours 1-2 (14 dec.) : Principes généraux. Test en "boite noire". Approche TGV.
• Cours 3 (21 dec.) : Algorithme TGV pour la génération automatique de tests.
• Cours 4 (11 jan.) : Spécification de protocoles en LOTOS.
• Cours 5-6 (18 jan.) : Test de logiciel en "boite blanche". Approche basée sur le flot de controle.
• Cours 7-8 (25 jan.) : Test de logiciel en "boite blanche". Approche basée sur le flot de données.
• Cours 9-10 (15 fevr.) : Autres méthodes de test. Test des programmes OO.

Travaux Dirigées

• TP 1 (21 dec.) : Introduction TGV et CADP.
• TP 2 (11 jan.) : Test du protocole du bit alterné avec TGV/CADP.
• TP 3-4 (1 fevr.) : Gestion de tests avec Junit.
• TP 5-6 (8 fevr.) : Test structurel avec JUnit et calcul de la couverture avec Coverlipse
• TP 7-8 (22 fevr.) : Autres methodes. Test des programmes OO.

Liens

• CADP
• Manuels pour LOTOS: one, a list

Contrôle de connaissances

• Devoir : sujet à rendre avant l'examen.
• Examen : 1 mars 2007 à 9h en salle J5.

Dernière modification : Wed Feb 21 16:21:27 CET 2007
URL: http://www.liafa.jussieu.fr/~sighirea/cours/methtest/index.html