IFIPS Course: Verification and Validation
("Vérification et Validation")
Cours:
.
- C1 - 2.12, 8:15 - 10:15, A 103 : Overview, Components of the UML
- C2 - 9.12, 8:15 - 10:15 : Elements of OCL
- C3 - 16.12, 8:15 - 10:15 : Test I (Generalities, Dynamic Unit Test)
- C4 - 6.1., 10:30 - 12:30 : Test II(Static Unit Test)
- C5 - 7.1., 10:30 - 12:30 : Test III (Program-based Test, JUnit)
- C6 - 13.1., 8:15 - 10-15 : Verification(Generalities)
Verification I (Operational Semantics, Hoare-Calculus) - C7 - 14.1., 8:15 - 10-15 : Verification II (Hoare-Calculus) (Print Version), (Animated Version)
- C8 - 20.1., 10:30 - 12:30 : Verification III (wp Calculus, Verifying Compilers) Conlusion
TD groupe 2:
- TD1 : 10.12, 15.15: Exercise 1
- TD2 : 17.12, 15:45: Exercise 2
- TD3 : 5.1, 13:30: Exercise 3
- TD4 : 7.1., 13:30: Exercise 4
- TD5 : 13.1, 8:30: Exercise 5
- TD6 : 14.1, 8:30: Exercise 6
- TD7 : 19.1, 13:30: Exercise 7
- TD6 : 21.1, 13:30:
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