Programmes d'études
Méthodes de test et de validation du logiciel
Programmes d'études
Méthodes de test et de validation du logiciel
Programmes d'études
Détails et horaire du cours
Légende
Cours de jour
Cours de soir
Cours en ligne
Certificats et microprogrammes de 1er cycle
Baccalauréat (formation d'ingénieur)
Études supérieures
LOG3430
Méthodes de test et de validation du logiciel
Nombre de crédits :
3 (3 - 1.5 - 4.5)
Les chiffres indiqués entre parenthèses sous le sigle du cours, par exemple (3 - 2 - 4), constituent le triplet horaire.
Le premier chiffre est le nombre d'heures de cours théorique par semaine (les périodes de cours durent 50 minutes).
Le second chiffre est le nombre d'heures de travaux dirigés (exercices) ou laboratoire, par semaine.
(Note : certains cours ont un triplet (3 - 1.5 - 4.5). Dans ce cas, les 1,5 heure par semaine sont des laboratoires qui durent 3 heures mais qui ont lieu toutes les deux semaines. À Polytechnique, on parle alors de laboratoires bi-hebdomadaires).
Le troisième chiffre est un nombre d'heures estimé que l'étudiant doit investir de façon personnelle par semaine pour réussir son cours.
Le premier chiffre est le nombre d'heures de cours théorique par semaine (les périodes de cours durent 50 minutes).
Le second chiffre est le nombre d'heures de travaux dirigés (exercices) ou laboratoire, par semaine.
(Note : certains cours ont un triplet (3 - 1.5 - 4.5). Dans ce cas, les 1,5 heure par semaine sont des laboratoires qui durent 3 heures mais qui ont lieu toutes les deux semaines. À Polytechnique, on parle alors de laboratoires bi-hebdomadaires).
Le troisième chiffre est un nombre d'heures estimé que l'étudiant doit investir de façon personnelle par semaine pour réussir son cours.
Département :
Génies informatique & logiciel
Corequis :
Notes :
Responsable(s) :
Maxime Lamothe
Description
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.
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.
Horaire
| Cours | ||||
|---|---|---|---|---|
| Groupe | Jour | Heure | Local | Enseignant(e)(s) |
| 01 | Jeudi | 9h30, 10h30, 11h30 | M-1410 | Lamothe, Maxime |
| 02 | Vendredi | 8h30, 9h30, 10h30 | L-1710 | Germain, Éric |
| Travaux pratiques | ||||
|---|---|---|---|---|
| Groupe | Jour | Heure | Local | Enseignant(e)(s) |
| 01 | Mardi | 14h45, 15h45, 16h45 (B1) | L-3714 | |
| 02 | Mardi | 14h45, 15h45, 16h45 (B2) | L-3714 | Brodeur, Coralie |
| 03 | Mercredi | 14h45, 15h45, 16h45 (B1) | L-3714 | Chatelier, Fedwin |
Plan triennal
| 2023-2024 | 2024-2025 | 2025-2026 | ||||||
|---|---|---|---|---|---|---|---|---|
| Automne | Hiver | Été | Automne | Hiver | Été | Automne | Hiver | Été |
| Cours de jour | Cours de jour | - | Cours de jour | Cours de jour | - | Cours de jour | Cours de jour | - |
