Importance de la validation et de la vérification dans le processus du génie logiciel. Méthodes de test et de validation. Classification des méthodes. Rappel des méthodes de test structurel. Méthodes de test fonctionnel. Génération de tests pour automates finis. Stratégies de tests d'intégration et d'installation pour programmation procédurale et orientée objet. Approches statistiques en validation et en vérification. Méthodes du développement pour assurer la fiabilité. Planification des activités de test du logiciel.
- Responsable du site: Giuliano Antoniol
- Enseignant (éditeur) : Mireille Amoussouvi
- Enseignant (éditeur) : Le An
- Enseignant (éditeur) : Le An
- Enseignant (éditeur) : Julien Aymong
- Enseignant (éditeur) : Hiba Bagane
- Enseignant (éditeur) : Mackly Férère-Antoine
- Enseignant (éditeur) : Marios-Eleftherios Fokaefs
- Enseignant (éditeur) : Mathieu Lavallée
- Enseignant (éditeur) : Soumaya Medini
- Enseignant (éditeur) : Ons Mlouki
- Enseignant (éditeur) : Rodrigo Morales
- Enseignant (éditeur) : Rodrigo Morales Alvarado