burkhart.wolff

Cours:

.

• C1 - 26.3.20 [8:15 - 10:00]: Overview[4], Components of the UML,[4]
• C2 - 12.2.20 [10:30 - 12:30]: Elements of UML/MOAL,[4]
• C3 - 23.2.20 [10:30 - 12:30]: Test I (Generalities, Dynamic Unit Test, BB-test), [4], Test II(Specification-based Test) [4] Test III (Program-based Test) [4]
• C4 - 18.3.20 [8:15 - 10:15]: Test IV(Assembler Program-based Test / Fuzz-Testing) Verification(Generalities) [4]
• C5 - 18.3.20 [10:30 - 12:30]: Verification I (Hoare-Calculus) [4] Course Notes 18.3 TD 5 Notes 20.3
• C6 - 24.3.20 [8:15 - 10:15]: Verification II (wp Calculus, Verifying Compilers), Course Notes 24.3, CourseNotes 27.3 Summary

Examen: 6.5. [10:30 - 12:30]

TD groupe : (Dates: veuillez consulter le planning.)

• TD1 : Exercise 1
• TD2 : Exercise 2
• TD3 : Exercise 3
• TD4 : Exercise 4 TD Notes 18.3 TD 5 Notes 20.3
• TD5 : TD Notes 24.3 TD 27.3

TP groupe :

• TP1 : 25. 9.30: Exercise 1
• TP2 : 1.4, 13.30: Exercise 2

--!>

Bibliography:

• [1] The OMG Formal Foundation Page
• [2] Getting Started with UML
• [3] OMG UML2.0 OCL specification
• [4] For an Overview: The NASA Formal Methods Page
• [5] Machine-checked Semantics of UML/OCL
• [6] Black-Box-Test in UML/OCL
• [7] Animation of OCL Contracts
• [8] Subtle issues on OCL Semantics with null