PolyTech Course: Verification and Validation
("Vérification et Validation")
Cours:
.
- C1 - 2.1, 10-30 - 12:30, A 103 : Overview, Components of the UML
- C2 - 9.2, 13:30 - 15:30 : Elements of OCL
- C3 - 16.2, 13:30 - 15:30 : Test I (Generalities, Dynamic Unit Test)
- C4 - 23.2., 13:30 - 15:30 : Test II(Static Unit Test)
- C5 - 9.3., 13:30 - 15:30 : Test III (Program-based Test, JUnit)
- C6 - 16.3., 13:30 - 15:30 : Verification(Generalities)
- C7 - 23.3., 13:30 - 15:30 : Verification II (Hoare-Calculus) [Old-stuff: Additional material (Print Version), (Animated Version)]
- C8 - 30.3., 13:30 - 15:30 : Verification III (wp Calculus, Verifying Compilers)
TD groupe 2 (BW):
- TD1 : 9.2, 15.45: Exercise 1
- TD2 : 16.2, 15:45: Exercise 2
- TD3 : 23.2, 15:45: Exercise 3
- TD4 : 9.3., 15:45: Exercise 4
- TD5 : 16.3, 15:45: Exercise 5
- TD6 : 23.3, 15:45: Exercise 6
- TD7 : 30.3, 15:45: Exercise 7
- TD6 : 6.4, 15:45: Exercise 8
TP groupe 2:
- TP1 : 7.1, 8.15: Exercise 1
- TP2 : 13.1, 10.30: Exercise 2
- TP3 : 14.1, 13.30: Exercise 3
- TP4 : 21.1, 8.15: Exercise 4