Course materials for ESIR2 students
ESIR2-SI-S8-VV
This course provides an extended overview of the software testing techniques. The course includes 7 lectures (x 1.5h) and 12h of labs.
Lectures
Professor: Benoit Combemale
| Date | Lecture | Material | Comment |
|---|---|---|---|
| Sep. 10th, 2024 | Introduction | slides | on campus |
| Sep. 10th, 2024, cond. | Software testing at glance | slides | on campus |
| Sep. 10th, 2024, cond. | Static analysis | slides | on campus |
| Sep. 10th, 2024, cond. | Dynamic testing | slides | on campus |
| Sep. 16th, 2024 | Integration testing | slides | on campus |
| Sep. 16th, 2024, cond. | Test qualification and main criteria | slides | on campus |
| Sep. 17th, 2024, cond. | Mutation testing | slides | on campus |
A textbook (by Oscar Luis Vera-Pérez) complements the lectures.
Labs
Professors: Benoit Combemale and Romain Lefeuvre
- 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 |
|---|---|---|---|
| Sep. 30th, 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.
