|Title:||Starkes modellbasiertes Mutationstesten||Other Titles:||Strong model-based mutation testing||Language:||English||Authors:||Fellner, Andreas||Qualification level:||Doctoral||Advisor:||Weissenbacher, Georg||Issue Date:||2021||Number of Pages:||166||Qualification level:||Doctoral||Abstract:||
Powerful verification and validation methods are needed to keep up with the complexity of modern systems. While testing remains the most prevalent verification and validation method, scaling testing to huge and interdependent systems poses a big challenge. We address this challenge by presenting scalable methods for model-based mutation testing with a focus on strong mutation and non-deterministic models of concurrent reactive systems. Model-based testing aims to automatically create test cases from a model of some system under test. We use mutations as the driving criterion in model-based test generation. Strong mutation analysis aims to reveal differences in the output of a model and mutations of it via test cases. Mutations mimic implementation errors and a key assumption of mutation testing is that the ability of a test suite to reveal artificial errors carries over to its ability to reveal actual faults.We establish a rigorous theoretical framework for strong model-based mutation testing in presence of non-determinism. We embedded this framework into the theory of hyperproperties, which enables mutation testing via hyperproperty model checking and thus rigorous mutation analysis. Furthermore, we propose an explicit state and exploration-based test case generation algorithm that is tuned for scalability. It executes mutants lazily and explores state spaces in a branching search manner. Finally, we enable test case generation for highly concurrent models by connecting this algorithm with event structure-based partial order reduction. To this end, we map strong killing onto a language inclusion problem over event structures, prove the computational complexity of this problem, provide a decision algorithm for it, and obtain a novel type of test cases that incorporates the concurrent behavior of the model.
|Keywords:||Mutation testing; model-based testing; test generation; hyperproperties; model checking; concurrency||URI:||https://doi.org/10.34726/hss.2021.88481
|DOI:||10.34726/hss.2021.88481||Library ID:||AC16152221||Organisation:||E192 - Institut für Logic and Computation||Publication Type:||Thesis
|Appears in Collections:||Thesis|
Show full item record
Files in this item:
|Fellner Andreas - 2021 - Strong model-based mutation testing.pdf||1.73 MB||Adobe PDF|
checked on Jun 19, 2021
checked on Jun 19, 2021
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.