2024
2023
2022
2016/2017
The course focuses on testing and validation in the context of complex, mission-critical software. It complements other courses to cover the test & validation phase of the software cycle, an extremely costly and time-consuming phase for companies in those fields. After a global overview on bugs and testing, the course will look at both static testing approaches (code review, coding standards, metrics…) and dynamic approaches (structural and functional testing), also including random testing (“fuzzing”) and exhaustive testing (“model-checking”).