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): Altaf Allah Abbassi
- Enseignant (éditeur): Mireille Amoussouvi
- Enseignant (éditeur): Daryl Barampanze
- Enseignant (éditeur): Daryl Barampanze
- Enseignant (éditeur): Anas Bouziane
- Enseignant (éditeur): Coralie Brodeur
- Enseignant (éditeur): Coralie Brodeur
- Enseignant (éditeur): Patrick Loic Foalem
- Enseignant (éditeur): Éric Germain