Mutating UML State Machine Behavior with Semantic Mutation Operators

Anna Derezinska, Łukasz Zaremba

Abstract

In Model-Driven Software Development (MDSD), an application can be built using classes and their state machines as source models. The final application can be tested as any source code. In this paper, we discuss a specific approach to mutation testing in which modifications relate to different variants of behavioural features modelled by UML state machines, while testing deals with standard executions of the final application against its test cases. We have proposed several mutation operators aimed at mutating behaviour of UML state machines. The operators take into account event processing, time management, behaviour of complex states with orthogonal regions, and usage of history pseudostates. Different possible semantic interpretations are associated with each operator. The operators have been implemented in the Framework for eXecutable UML (FXU). The framework, that supports code generation from UML classes and state machines and building target C# applications, has been extended to realize mutation testing with use of multiple libraries. The semantic mutation operators have been verified in some MDSD experiments.

Download


Paper Citation


in Harvard Style

Derezinska A. and Zaremba Ł. (2019). Mutating UML State Machine Behavior with Semantic Mutation Operators.In Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-375-9, pages 385-393. DOI: 10.5220/0007735003850393


in Bibtex Style

@conference{enase19,
author={Anna Derezinska and Łukasz Zaremba},
title={Mutating UML State Machine Behavior with Semantic Mutation Operators},
booktitle={Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2019},
pages={385-393},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007735003850393},
isbn={978-989-758-375-9},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Mutating UML State Machine Behavior with Semantic Mutation Operators
SN - 978-989-758-375-9
AU - Derezinska A.
AU - Zaremba Ł.
PY - 2019
SP - 385
EP - 393
DO - 10.5220/0007735003850393