Volumes horaires
- CM 8.0
- Projet -
- TD -
- Stage -
- TP 12.0
- DS 2.0
Crédits ECTS
Crédits ECTS 0.6
Objectif(s)
Définition et mise en oeuvre de tests logiciels
Contenu(s)
Les risques médicaux, exemple du Therac-25
Généralités sur la sureté de fonctionnement
Tests et cycle de développement logiciel
Tests statiques et dynamiques
Tests dynamiques fonctionnels, structurels et aléatoires
Tests structurels : séquences de test, oracle et critères de couverture
Techniques de test : graphe de contrôle, flot de données et test par mutation
Tests de l'IHM et évaluation ergonomique
Rôle de l'humain dans la sûreté de fonctionnement
Programmation objet en Java
Contrôle des connaissances
25% contrôle continu :
- Type : comptes-rendus de TP
75% examen terminal: - Type : épreuve écrite
- Durée : 1h30
- Conditions : tous documents autorisés
- En cas de tiers-temps : 1/3 de temps supplémentaire
En cas de non validation d’une UE, le jury peut autoriser l’élève ingénieur à passer des épreuves complémentaires pour la valider.
Informations complémentaires
Code de l'enseignement : KATI9M23
Langue(s) d'enseignement : 
Vous pouvez retrouver ce cours dans la liste de tous les cours.
Bibliographie
Précis de génie logiciel, Gaudel et al., Dunod, 1997
Le test de logiciels, Xanthakis et al., Hermes, 2000