AbstractsComputer Science

Model Checking and Model-Based Testing : Improving Their Feasibility by Lazy Techniques, Parallelization, and Other Optimizations

by David Faragó

Institution: Universität Karlsruhe
Year: 2016
Keywords: model checking; model-based testing; laziness; parallelization; heuristics
Posted: 02/05/2017
Record ID: 2134880
Full text PDF: http://digbib.ubka.uni-karlsruhe.de/volltexte/documents/3891208


This thesis focuses on the lightweight formal method of model-based testing for checking safety properties, and derives a new and more feasible approach. For liveness properties, dynamic testing is impossible, so feasibility is increased by specializing on an important class of properties, livelock freedom, and deriving a more feasible model checking algorithm for it. All mentioned improvements are substantiated by experiments.