Enhancing acceptance test-driven development with model-based test generation

Authors Rudolf Ramler
Claus Klammer
Title Enhancing acceptance test-driven development with model-based test generation
Booktitle Proceedings of the IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C)
Type in proceedings
Publisher IEEE
ISBN 978-1-7281-3925-8
DOI 10.1109/QRS-C.2019.00096
Month July
Year 2019
Pages 503-504
SCCH ID# 19048

Acceptance test-driven development is widely used in practice. However, writing and maintaining acceptance tests is a costly and time-consuming activity, in particular when a system is tested via the GUI. In model-based testing, the tests are automatically generated from a model of the system. In this paper, we report our experience from applying a combination of acceptance test-driven development and model-based testing in several real-world projects from industry. With the application of model-based testing, we increased test coverage and extend testing to usage scenarios not exercised by the existing acceptance tests. In the industry projects, MBT was used as an enhancement rather than a replacement for ATDD. By creating a layered test automation architecture, we were able to reuse the established automation for model-based testing and to apply both approaches simultaneously. This strategy also helped us to minimize the risks and to reduce the effort involved in introducing MBT in the projects.