PolyTech Course: Verification and Validation
("Vérification et Validation")
Cours:
.
- C1 - 1.2.11 [8:15 - 10:15]: Overview, Components of the UML Elements of OCL
- C2 - 8.2.11 [8:15 - 10:15]: Test I (Generalities, Dynamic Unit Test)
- C3 - 18.2.11 [8:15 - 10:15]: Test II(Specification-based Test)
- C4 - 4.3.11 [8:15 - 10:15]: Test III (Program-based Test, JUnit)
- C5 - 11.3.11 [8:15 - 10:15]: Verification(Generalities), Verification I (Hoare-Calculus)
- C6 - 18.3.11 [8:15 - 10:15]: Verification II (wp Calculus, Verifying Compilers)
TD groupe 2 (BW):
- TD1 : 9.2, 10.30: Exercise 1
- TD2 : 16.2, 10:30: Exercise 2
- TD3 : 2.3, 10:30: Exercise 3
- TD4 : 9.3., 10:30: Exercise 4
- TD5 : 23.3, 10:30: Exercise 5
- TD6 : 30.3, 10:30: Exercise 6
- TD7 : 6.4, 10:30: Exercise 7
TP groupe 2:
- TP1 : 16.3, 8.15: Exercise 1
- TP2 : 30.3, 13.30: Exercise 2