Model-Driven Software Development Combined with Semantic Mutation of UML State Machines

Anna Derezińska , Łukasz Zaremba


The paper presents an approach to semantic mutation of state machines that specify class behavior in Model-Driven Software Development. The mutations are aimed at different variants of UML state machine behavior. Mutation testing of a target application allows to compare different semantic interpretations and verify a set of test cases. We present a notation of a process combining model-driven development with semantic mutation and semantic consequence-oriented mutations. Origin and details of the proposed mutation operators are discussed. The approach has been supported by the Framework for eXecutable UML (FXU) that creates a C# application from UML classes and state machines. The tool architecture has been reengineered in order to apply semantic mutation operators into the model-driven development process and realize testing on a set of semantic mutants. The tool and the implemented mutation operators have been verified in a case study on a status service for a social network.
Author Anna Derezińska (FEIT / IN)
Anna Derezińska,,
- The Institute of Computer Science
, Łukasz Zaremba (FEIT / ICS)
Łukasz Zaremba,,
- The Institute of Computer Science
Publication size in sheets1.1
Article number36
Book Damiani Ernesto, Spanoudakis George (eds.), Damiani Ernesto, Spanoudakis George , Maciaszek Leszek A.: Evaluation of Novel Approaches to Software Engineering, vol. 1172, 2020, Springer, ISBN 978-3-030-40222-8, 403 p., DOI:10.1007/978-3-030-40223-5
Keywords in EnglishModel-Driven Software Development State machine code generation Mutation testing Framework for eXecutable UML (FXU) C#
Languageen angielski
DerezinZarembaENASE.pdf 494.25 KB
Score (nominal)70
Score sourceconferenceList
ScoreMinisterial score = 70.0, 17-06-2020, ChapterFromConference
Publication indicators Scopus Citations = 0
Citation count*
Share Share

Get link to the record

* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Are you sure?