Cours de Test Logiciel, Master 2 pro, UNI. PARIS 7






   
Ce cours aborde la notion de tests des logiciels. Dans un premier temps, les élèves seront familiarisés avec les aspects pratiques du test : concepts, objectifs, place dans le cycle de développement, mise en oeuvre pratique et problèmes rencontrés. Des TPs montreront l'utilisation d'outils standards de tests unitaire et de non régression (JUnit). Puis dans un second temps, le cours se concentrera sur une problématique de recherche : la génération automatique de données de tests. Différentes solutions seront présentées, et les liens avec l'analyse statique, le model checking et la preuve mis en évidence. 




  Organisation


Lieu et horaires
: Le cours a lieu le mardi matin de 8h30 à 12h30, bâtiment "Sophie Saint Germain", en salles 2036 et salle 2031. Il y aura 11 séances de cours. Chaque séance est à peu près divisée en un cours (2h) et un TD/TP (2h).

Intervenants :  Patricia Mouy (CEA), Stefano Zacchiroli (Uni. Paris 7), Christophe Gaston (CEA), Alain Faivre (CEA) et Sébastien Bardin (CEA)

Contrôle continu :  une partie du cours sera en contrôle continu

Examen final :



Planning et Contenu (à finaliser)






Liste des devoirs maison


Back