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
- Responsable du site: Maxime Lamothe
- Enseignant (éditeur) : Bram Adams
- Enseignant (éditeur) : Mireille Amoussouvi
- Enseignant (éditeur) : Dmytro Humeniuk
- Enseignant (éditeur) : Dmytro Humeniuk
- Enseignant (éditeur) : Hanane Ikhelef
- Enseignant (éditeur) : Daphné Lafleur
- Enseignant (éditeur) : Florian Tambon
- Enseignant (éditeur) : Alexy Torres Aurora Dugo
- Enseignant (éditeur) : Cyrine Zid
- Enseignant (éditeur) : Cyrine Zid