On the Effects of UML Modeling Styles in Model-based Mutation Testing

S. Tiran

Abstract:

This thesis deals with the application of model-based mutation testing in software-development processes. In recent research projects the Austrian Institute of Technology and the Institute for Software Technology have developed a prototype toolchain, which can automatically derive test cases out of UML diagrams. In order to support modern software-development methods like test-driven development and enabling regression testing, the idea is used, to decompose test models into their functional components and gain partial test models. In later development phases, these partial models can be combined, which can be seen as refinement of the underlying partial models. In two case-studies this thesis shows, how partial models can be built. The first case-study deals with a car alarm system. A given test model is decomposed into two partial models and alternative modeling styles are presented. The second case study deals with the bucket control of an agricultural vehicle. Here, a given test model is optimized and a second partial model is introduced in order to cope with the complexity of the test case generation, so that it becomes computational feasible. Additionally, a comparison among different test case extraction strategies is conducted.

Reference: S. Tiran. On the effects of UML modeling styles in model-based mutation testing. Master thesis, Graz, University of Technology, 2013.