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)
- Séance
1 (01/10/2013) : Patricia Mouy : bases, critères de test
- Séance
2 (08/10/2013) : Patricia Mouy : bases, critères de test
- Séance
3 (15/10/2013) : Stefano Zacchiroli
- Séance
4 (22/10/2013) : Stefano Zacchiroli
- Séance
5 (29/10/2013) : Stefano Zacchiroli
- Séance 6 (05/11/2013) : Christophe Gaston : model-based testing
- Séance 7 (12/11/2013) : Alain Faivre : retour d'expérience
- Séance 8 (19/11/2013)
: Christophe Gaston : model-based testing
- Séance 9 (26/11/2013) : Christophe Gaston : model-based testing
- Séance 10 (03/12/2013) : Sébastien Bardin : automated white-box testing (slides, TD, TP [doc1, doc2, code] ) correction TD
- Séance 11 (10/12/2013) : Sébastien Bardin : automated white-box testing (suite)
- Examen (17/12/2013) : partiel (13h30-15h)
Liste des devoirs maison
Back