loading
Papers

Research.Publish.Connect.

Paper

Authors: Anna Derezinska and Łukasz Zaremba

Affiliation: Institute of Computer Science, Warsaw University of Technology, Nowowiejska 15/19, Warsaw and Poland

ISBN: 978-989-758-375-9

Keyword(s): Model-Driven Software Development, State Machine, Code Generation, Mutation Testing, Framework for Executable UML (FXU), C#.

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 t o realize mutation testing with use of multiple libraries. The semantic mutation operators have been verified in some MDSD experiments. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.85.245.126

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.