Course materials for ISTIC M2 IL(A) students
ISTIC-M2-IL(A)-VV
This course provides an extended overview of the software testing techniques. The course includes 10 lectures (x 1.5h), 16.5h of labs, and an exam (1.5h).
Lectures
Professor: Benoit Combemale
| Date | Lecture | Material | Comment |
|---|---|---|---|
| Nov. 19th, 2024 | Introduction | slides | on campus |
| Nov. 19th, 2024, cond. | Software testing at glance | slides | on campus |
| Nov. 20th, 2024 | Static analysis | slides | on campus |
| Nov. 20th, 2024, cond. | Static analysis | on campus | |
| Nov. 22nd, 2024 | Dynamic testing | slides | on campus |
| Nov. 22nd, 2024, cond. | Integration testing | slides | on campus |
| Nov. 26th, 2024 | Test qualification and main criteria | slides | on campus |
| Nov. 26th, 2024, cond. | Test qualification and main criteria | on campus | |
| Nov. 27th, 2024 | Mutation testing | slides | on campus |
| Nov. 27th, 2024, cond. | Mutation testing | on campus |
A textbook (by Oscar Luis Vera-Pérez) complements the lectures.
Labs
Professors: Romain Lefeuvre and Philemon Houdaille
- Practical Session #1 (4h)
- Practical Session #2 (4h)
- Practical Session #3 (4h)
Optional labs: if you want to experiment property-based testing and GUI testing, you may optionally have a look to Lab #4 and Lab #5, respectively.
Evaluation
| Date | Lecture | Material | Comment |
|---|---|---|---|
| Dec. 2nd, 2024 | Evaluation | n/a | on campus |
Further material, information and references
- Some tools: PMD, JavaParser, EclEmma/JaCoCo, Mockito, EasyMock, Pitest, jqwik, Selenium, and DbUnit.
- Refcard about JUnit & EasyMock, Mockito, and Selenium.
ISTIC-M2-IL(A)-IDM
This course provides advanced insights on automated software engineering, incl. software language engineering, domain-specific languages, software product lines, generative appraoches, etc. The course includes 8 lectures (x 1.5h) and 21h of labs.
Lectures
Professor: Benoit Combemale
| Date | Lecture | Material | Comment |
|---|---|---|---|
| Jan. 27th, 2025 | Introduction to MDE and SLE | slides | on campus |
| Jan. 27th, 2025 (cond.) | Introduction to MDE and SLE, cond. | on campus | |
| Jan. 27th, 2025 (cond.) | Introduction to DSL | slides | on campus |
| Jan. 28th, 2025 | Introduction to DSL, cond. | on campus | |
| Jan. 28th, 2025 (cond.) | Program & model transformation, and generative approaches | slides | on campus |
| Jan. 29th, 2025 (cond.) | Program & model transformation, and generative approaches, cond. | on campus | |
| Jan. 29th, 2025 | Systems Engineering 101 | slides | on campus |
| Jan. 31st, 2025 (cond.) | Systems Engineering 101, cond. | on campus |
Labs
Professors: Benoit Combemale, Romain Lefeuvre) and Philemon Houdaille
The labs will consist in implementing individually the proposed tutorial. The tentative timeline is the following:
- [Part 1] Ecore ~3h
- [Part 2] Xtext ~3h
- [Part 3] Langium ~6h
- [Part 4] Interpretation ~4h
- [Part 5] Compilation ~4h
You must continuously demonstrate your progresses to your professor that will lead to a mark for your labs.
Evaluation
| Date | Lecture | Material | Comment |
|---|---|---|---|
| Jan. XXth, 2025 | Exam | n/a | on campus |
Further material
- The textbook of the course
- The Refcardz on EMF
- Documentations of Xtext and Xtend
- Documentation of Langium and the project Xtext2Langium
- The GEMOC Studio (incl., EMF, Xtext, Xtend, Sirius…)
