Model-Based Testing: Achievements and Future Challenges

M. Mlynarski, B. Güldali, S. Weißleder, G. Engels, in: A. Hurson, A. Memon (Eds.), Advances in Computers, Elsevier, 2012, pp. 1–39.

No fulltext has been uploaded.
Book Chapter | English
Mlynarski, Michael; Güldali, Baris; Weißleder, Stephan; Engels, GregorLibreCat
Book Editor
Hurson, Ali; Memon, Atif
Software systems are part of our everyday life and they become more complex day by day. The ever-growing complexity of software and high quality requirements pose tough challenges to quality assurance. The quality of a software system can be measured by software testing. However, if manually done, testing is a time-consuming and error-prone task. Especially test case design and test execution are the most cost-intensive activities in testing. In the previous 20 years, many automation tools have been introduced for automating test execution by using test scripts. However, the effort for creating and maintaining test scripts remains. Model-based testing (MBT) aims at improving this part by systematizing and automating the test case design. Thereby, test cases or automatable test scripts can be generated systematically from test models. MBT is already known for several years, but it currently gains a great momentum due to advanced tool support and innovative methodological approaches. This chapter aims at giving an overview of MBT and summarizes recent achievements in MBT. Experiences with using the MBT approach are illustrated by reporting on some success stories. Finally, open issues and future research challenges are discussed.
Publishing Year
Book Title
Advances in Computers
Series Title / Volume
Advances in Computers
1 - 39

Cite this

Mlynarski M, Güldali B, Weißleder S, Engels G. Model-Based Testing: Achievements and Future Challenges. In: Hurson A, Memon A, eds. Advances in Computers. Vol 86. Advances in Computers. Elsevier; 2012:1-39. doi:
Mlynarski, M., Güldali, B., Weißleder, S., & Engels, G. (2012). Model-Based Testing: Achievements and Future Challenges. In A. Hurson & A. Memon (Eds.), Advances in Computers (Vol. 86, pp. 1–39). Elsevier.
@inbook{Mlynarski_Güldali_Weißleder_Engels_2012, series={Advances in Computers}, title={Model-Based Testing: Achievements and Future Challenges}, volume={86}, DOI={}, booktitle={Advances in Computers}, publisher={Elsevier}, author={Mlynarski, Michael and Güldali, Baris and Weißleder, Stephan and Engels, Gregor}, editor={ Hurson, Ali and Memon, AtifEditors}, year={2012}, pages={1–39}, collection={Advances in Computers} }
Mlynarski, Michael, Baris Güldali, Stephan Weißleder, and Gregor Engels. “Model-Based Testing: Achievements and Future Challenges.” In Advances in Computers, edited by Ali Hurson and Atif Memon, 86:1–39. Advances in Computers. Elsevier, 2012.
M. Mlynarski, B. Güldali, S. Weißleder, and G. Engels, “Model-Based Testing: Achievements and Future Challenges,” in Advances in Computers, vol. 86, A. Hurson and A. Memon, Eds. Elsevier, 2012, pp. 1–39.
Mlynarski, Michael, et al. “Model-Based Testing: Achievements and Future Challenges.” Advances in Computers, edited by Ali Hurson and Atif Memon, vol. 86, Elsevier, 2012, pp. 1–39, doi:


Marked Publications

Open Data LibreCat

Search this title in

Google Scholar