Evelin Halling - PhD defense on May 10, 2 PM in ICT-315
PhD student of Dept. of Software Science Evelin Halling defends her PhD "Scenario Oriented Model-Based Testing" on Friday, May 10, 2019 at 2 PM in ICT-315.
Supervisor Professor Jüri Vain (TalTech).
Opponents Prof. Dragos Truscan (Åbo Akademi Univ of Turku, Finland) and Prof. Anatoliy Gorbenko (Leeds Beckett University, UK).
PhD thesis in Taltech digital library.
Mission Critical Systems (MCS) are systems whose failure might cause catastrophic consequences, such as someone dying, damage to property, severe financial losses, damage to national security and others. A well-designed MCS, even in case of failures, if properly predicted, timely detected and recovered, should be able to operate under severe exploitation conditions without catastrophic consequences. The thesis scope is model-based conformance testing of MCS. The aim is to develop an expressive test purpose specification language and the method of extracting complex test cases from SUT models. The derived tests should satisfy the multiple coverage criteria specified in the test purpose, be provably correct, which means that they should not signal errors in correct implementations, should be meaningful, i.e. erroneous implementations should be detected and traced back to the requirements. To address the problems of complexity and traceability in MBT the thesis extends the model-based conformance testing approach with a scenario based test description language and a related to that automatic test generation technique.