LES TD VENDREDI 13.9 SONT ANNULES
L3 - Course: Advanced Software Engineering
("Génie Logiciel Avancé")
Cours:
- C1 - 13.9, 8:30 - 10:00, Grand Amphi : Introduction to Software Engineering, UML Introduction
- C2 - 20.9, 8:30 - 10:00 : MOAL Introduction
- C3 - 2.9, 8:30 - 10:00 : MOAL Contracts, Scenarios Version and Configuration Management in SE
- C4 - 27.9, 8:30 - 10:00 : Test I (Generalities, Dynamic Unit Test)
- C5 - 4.10, 8:30 - 10:00 : From Analysis to Design , Standards and Legal Constraints
- C6 - 11.10, 8:30 - 10:00 : Testgeneration for Functional (Black-box) Test
- C7 - 18.10, 8:30 - 10:00 :Testgeneration for Structural Tests
- C8 - 8.11, 8:30 - 10:00 : Deductive Verification I
- C9 - 16.11, 8:30 - 10:00 : Deductive Verification II
- C10 - 22.11, 8:30 - 10:00 : Deductive Verification III
- C11 - 39.11, 8:30 - 10:00 : Static Analysis
- C12 - 6.12, 8:30 - 10:00 : GLA: Un Resume
Final exam: 20.12.2017
Exam 2.sess.: TBA.
TD:'s / TP's
Classes TD / TP and Friday morning and afternoon.
TD:'s / TP's
- TD1 : 15.9: Modeling in UML and MOAL invariants
- TD2 : 22.9: Modeling in UML and MOAL with contracts
- TD3 : 29.10: Test Scenarios and informal Test Methods
- TP1 : 5.10: Black-box with JUnit
- TD4 : 12.10: Test Fonctionel Semi-Formel
- TD5 : 19.10: Test boite noire et conception
- PARTIEL : 25.10: PARTIEL
- TD6 : 10.11: Test structurel (1)
- TP2 : 17.11. White-box Test: PathCrawler
- TD7 : 24.11: White-box Test (2)
- TD8 : 1.12: Deductive Verification(1)
- TD9 : 8.12: Deductive Verification(2) Deductive Verification(3)
- TP3 : 15.12: Deductive Verification
Soutien
- 9.6.2020 14:00: Enoncé, Slides Soutien