Caractéristiques du produit logiciel. Gestion des configurations. Processus de développement logiciel et modèles du cycle de vie. Phases du cycle de vie : analyse, spécification, conception, réalisation, tests et maintenance. Définition des exigences : explicitation, contraintes usagers, frontières de système, consistance, complétude, vérifiabilité et maintenance. Hiérarchie et attributs des spécifications. Modélisation statique et opérationnelle, prototypage. Approches à la vérification : stratégie et planification des tests, évaluation de tests. Analyse de couverture et méthode de tests structurels. Tests unitaires, tests d'intégration et de régression. Tests à boîte noire, vérification fonctionnelle de systèmes et tests d'acceptation.
- Responsable du site: Nikolay Radoev
- Enseignant (éditeur) : Bram Adams
- Enseignant (éditeur) : Mireille Amoussouvi
- Enseignant (éditeur) : Samuel Arseneault
- Enseignant (éditeur) : Madeleine Guillemette
- Enseignant (éditeur) : Konstantinos Lambrou-Latreille
- Enseignant (éditeur) : Mathieu Lavallée
- Enseignant (éditeur) : Samuel Pierre
- Enseignant (éditeur) : Yousra Tagmouti
- Enseignant (éditeur) : Nicolas Verbaere