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é