Delphine Longuet	L3 informatique et MIAGE - Génie logiciel avancé 2016-2017
Cours Introduction : génie logiciel, validation et vérification Rappels d'UML et expression des contraintes Spécification des opérations (slide 20 corrigé depuis la version distribuée en cours) Diagramme de séquence conception du cas d'utilisation Utiliser un poste automatique) Introduction au test et méthodes informelles Classification des types de test. Test à partir de spécifications formelles Test structurel à partir du graphe de flot de contrôle Test structurel à partir du graphe de flot de données Test de mutations Démo de CodeCover, outil de mesure de couverture de code Java (plus maintenu mais encore fonctionnel sous Eclipse Kepler) Démo de PIT, outil de test de mutations pour Java Preuve de programmes Preuve de programmes (suite) Démo de GenMyModel, outil collaboratif de conception en UML Démo d'Uppaal, outil de modélisation et de vérification de systèmes temps-réel TD Invariants Spécification des opérations Premier pas de test Test fonctionnel et structurel Test structurel Preuve de programmes TP Test unitaire avec JUnit Test structurel avec PathCrawler Preuve de programmes avec Why3 Partiel : énoncé Examen : énoncé