Coverage is an important property for understanding the behaviour of a system during testing, quantifying the quality of a set of
observations both in terms of input scenarios and responses from the system. Code coverage criteria are thus often part of the requirements for the validation of safety critical software.
In this seminar, we will explore the use of coverage through two different studies. Test Automation for Coverage (TACO) uses test
automation and code coverage criterion to support the timing analysis of a FADEC control system. Then Safety Analysis using
Simulation-based Situation coverage (SASSI) leverages the definition of coverage to situations, to assess the safety of a collaborative industrial robot.
Lieu : Grande salle de réunions dans la coursive du bâtiment R à ONERA Toulouse
Lien visio : https://rdv.onera.fr/seminaireDTIS