| 2019-2020 |
| 2020-2021 |
| 2021-2022 |
| 2022-2023 |
| 2023-2024 |
| 2024-2025 |
|
|
|
|
|
|
 |
 |
 |
 POLYTECH-Et4 - Vérification et Validation [jan-avr] |
 |
Parcours: Étudiants de la Spécialité Info de Polytech Paris Sud.
| Le test dans le cycle de vie d'un logiciel. Nature des différents types de test. Test structurel et critères de couverture associés. Test Fonctionnel. Production de jeux de test à partir de spécifications et exemples de génération à partir de UML. Test statistique; Preuve de programmes et Logique de Hoare. | ||
| Module: | Polytech Formation Étudiant - Quatrième année (spé. info.) | |
| 1 * 12 h | Cours | Burkhart Wolff(1) |
| 2 * 12 h | TD | Burkhart Wolff(2) |
| 2 * 6 h | TP | Burkhart Wolff(2) |
30 h présentielles (hors soutien) | ||
| Date: 08-09-2024 @ 05:08 |
|
|
|
|
|
|