A generic platform for model-based regression testing

P Zech, M Felderer, P Kalb, R Breu - … , Crete, Greece, October 15-18, 2012 …, 2012 - Springer
P Zech, M Felderer, P Kalb, R Breu
Leveraging Applications of Formal Methods, Verification and Validation …, 2012Springer
Abstract Model-based testing has gained widespread acceptance in the last few years.
Models enable the platform independent analysis and design of tests in an early phase of
software development resulting in effort reduction in terms of time and money. Furthermore,
test models are easier to maintain than test code when software systems evolve due to their
platform independence and traceability support. Nevertheless, most regression testing
approaches, which ensure that system evolution does not introduce unintended effects, are …
Abstract
Model-based testing has gained widespread acceptance in the last few years. Models enable the platform independent analysis and design of tests in an early phase of software development resulting in effort reduction in terms of time and money. Furthermore, test models are easier to maintain than test code when software systems evolve due to their platform independence and traceability support. Nevertheless, most regression testing approaches, which ensure that system evolution does not introduce unintended effects, are solely code-based. Additionally, many model-based testing approaches do not consider regression testing when applied in practice, mainly due to the lack of appropriate tool support. Therefore, in this paper we present a generic tool platform for model-based regression testing based on the model versioning and evolution framework MoVE. Our approach enhances existing model-based testing approaches with regression testing capabilities aiming at better tool support for model-based regression testing. In a case study, we apply our platform to the model-based testing approaches UML Testing Profile and Telling TestStories.
Springer