L3 - Course: Advanced Software Engineering
("Génie Logiciel Avancé")
Il y a un site accompagnant GLA sur ecampus:
GLA 2021-22
Examen GLA : TBA Exam 2.sess.: TBA
Classes TD
Cours: (Dates previsoires !!!)
- C1 - 9.9, 9:00 - 10:30, Grand Amphi (Hybride):
Part I : Introduction to Software Engineering, Part I : Questionaire,Part II : UML Rerview, Part II : Questionaire.
- C2 - 15.9, 9:00 - 10:30 :
More on UML: Advanced Concepts ,
Part II (cont) : Questionaire ,
MOAL Introduction Part III : Questionaire .
- C3 - 22.9, 9:00 - 10:30 :
MOAL Contracts, Scenarios
Part III : Questionaire,
Version and Configuration Management in SE< Part IV : Questionaire,
- C4 - 29.9, 9:00 - 10:30 :
Test I (Generalities, Dynamic Unit Test),
Questionnaire
- C5 - 11.10, 9:00 - 10:30 : Testgeneration for Functional (Black-box) Test
- C6 - 18.10, 9:00 - 10:30 :Testgeneration for Structural Tests
- C7 - 5.11, 9:00 - 10:30 : Structural Tests
Structural Fuzz-Tests
- C8 - 12.11, 8:30 - 10:00 : Deductive Verification I
- C9 - 19.11, 9:00 - 10:30 : Deductive Verification II
- C10 - 26.11, 9:00 - 10:30 : Deductive Verification III
- C11 - 4.12, 9:00 - 10:30 : Legal Constraints and Standards
Examen GLA : TBA Exam 2.sess.: TBA
TD:'s / TP's
Classes TD
- Info G3: Tous les jeudis 13:30-15:30 D101
- Miage G4: Tous les jeudis 10:45-12:45 D101
- Info G1: Tous les lundis 10:45-12:45 D203
- Info G2: Tous les lundis 14:00-16:00 D204
TD:'s / TP's
- TD1 : 15.9: Modeling in UML and MOAL invariants
- TD2 : 22.9: Modeling in UML and MOAL with contracts , Partial Solution to TD1 and TD2
- TD3 : 29.10: Test Scenarios and informal Test Methods
- TD4 : 12.10: Test Fonctionel
- TD5 : 19.10: Test boite noire et conception
- PARTIEL : 25.10: PARTIEL
- TD/TP1 : 10.11. Black-box Test: J-Unit
- TD6 : 10.11: Test structurel (1) Partial Solution to TD6
- TD7 : 24.11: Test structurel (2)
- TD8 : 1.12: Deductive Verification(1),
- TD9 : 8.12: Deductive Verification(2), Deductive Verification(3)
- TD/TP : 10.12: Deductive Verification
- EXAMEN : 17.12 9-11h, Bat 333 H3 et H4