Model-Driven Software Development Combined with Semantic Mutation of UML State Machines
Anna Derezińska , Łukasz Zaremba
AbstractThe 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.
|Publication size in sheets||1.1|
|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 English||Model-Driven Software Development State machine code generation Mutation testing Framework for eXecutable UML (FXU) C#|
|Score||= 70.0, 17-06-2020, ChapterFromConference|
|Publication indicators||= 0|
* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.