Testing

Diplômes intégrant cet élément pédagogique :

Descriptif

Définition et mise en œuvre.

- 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 de tests logiciels

 

Definition and implementation of software tests.

- Medical risks, example of Therac-25
- General information about the dependability
- Tests and software development cycle
- Static and dynamic tests
- Functional, structural and random dynamic tests
- Structural tests: test sequences, oracle and coverage criteria
- Test techniques: control graph, data flow and mutation test
- HMI tests and ergonomic evaluation
- Role of the human in the dependability

Pré-requis

Programmation objet en Java

 

Object programming in Java

Bibliographie

- Précis de génie logiciel, Gaudel et al., Dunod, 1997
- Le test de logiciels, Xanthakis et al., Hermes, 2000

Informations complémentaires

Lieu(x) : Grenoble - Saint-Martin d'Hères
Langue(s) : Francais