Model-based Software Test Automation

Abstract

This thesis presents my selected work for the period from 2013 to 2017 and is part of my application for the title of Associate Professor at Czech Technical University in Prague. My research has focused on automated software testing, namely, automating the creation of test scenarios and their execution. The motivation for selecting this area arises from the situation in the software industry. The increasing complexity of contemporary software information systems, together with the demand to shorten the time-to-market and to decrease the development prices of information systems create numerous challenges for the quality assurance of the software development process. The latest trends in this field imply demand for more effective and reliable software testing methods, employing automation and model-based approaches. In the thesis, I present three research tracks, namely path-based test case generation strategies, combinatorial and constrained interaction testing and test automation frameworks for sub-optimally structured software development projects. In these tracks, I identify six research challenges; then, I introduce the projects I am leading or have participated in that address these challenges. This work is documented by six papers and articles, that are included in the appendix of this thesis.