Validation et Vérification du Logiciel

Supports de cours

• Introduction au test du logiciel
• Le test unitaire des logiciels à objets
• L’analyse de mutation
• Le test d’intégration des logiciels à objets
• Le test système des logiciels à objets

Supports de TP

• Test unitaire avec JUnit (la classe à tester)
• Test d'intégration (le système d'enchère)
• Test de mutation (le Palindrome, et la description des opérateurs de mutation pour les méthodes et les classes)
• Test d'IHM (le carnet d'adresse)
• Test d'application exploitant une base de données (le carnet d'adresse, le jeu de donnée et un exemple de test)
• Test d'application web (le log Roo)
• Intégration continue

Intervenants extérieurs

2011-2012 (ESIR3 LSI, Univ. Rennes 1)

• David Mentré (MITSUBISHI ELECTRIC R&D Centre Europe (MERCE)), le 29/11/11 de 16h15 à 18h15
  
• Marouane Himdi (Kereval), le 05/11/11 de 08h à 10h
  
• Eric Riou (FT R&D), le 12/12/11 de 08h à 12h15
  
• Abdel Tamoudi (Kereval), le XX/12/11 de XXh à XXh
  

2010-2011 (DIIC3 LSI & ARC, Univ. Rennes 1)

• Eric Riou (FT R&D), le 08/11/10 de 14h à 18h
  
• Abdel Tamoudi (Kereval), le 10/11/10 de 14h à 16h
  
• Marouane Himdi (Kereval), le 10/11/10 de 16h à 18h
  
• Yves Tronchot (Cap Gemini), le 01/12/10 de 14h à 16h
  
• David Mentré (MITSUBISHI ELECTRIC R&D Centre Europe (MERCE)), le 17/12/10 de 16h à 18h
  

2009-2010 (DIIC3 LSI & ARC, Univ. Rennes 1)

• Eric Riou (FT R&D), le 06/11/09 de 14h à 18h
  
• Caroline Landry (Thomson), le 18/01/10 de 08h à 10h et le 19/01/10 de 08h à 10h
  
• Adbel Tamoudi & Marouane Himdi (Kereval), 04/11/09 de 14h à 16h et le 18/11/09 de 08h à 10h
  

Documents complémentaires

• La refcard sur JUnit et EasyMock (a télécharger gratuitement !)
• Le site de EasyMock
• Le site de EclEmma