PolyTech Course: Verification and Validation
("Vérification et Validation")
Cours:
.
- C1 - 8.2.11 [10:30 - 12:30]: Overview[4], Components of the UML[4] Elements of OCL[4]
- C2 - 9.2.11 [8:15 - 10:15]: Test I (Generalities, Dynamic Unit Test) [4]
- C3 - 23.2.11 [8:15 - 10:15]: Test II(Specification-based Test) [4]
- C4 - 5.3.11 [13:30 - 15:30]: Test III (Program-based Test, JUnit) [4]
- C5 - 15.3.11 [8:15 - 10:15]: Verification(Generalities), [4] Verification I (Hoare-Calculus) [4]
- C6 - 26.3.11 [13:30 - 15:30]: Verification II (wp Calculus, Verifying Compilers)
TD groupe 2 (BW): (Dates unconfirmed !)
- 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