Cours
de Test Logiciel, Master 2
*** cours donné à Paris 7 jusque 2013 ***
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.
Back