Towards C# Application Development Using UML State Machines: A Case Study

Derezińska, Anna; Szczykulski, Marian

doi:10.1007/978-1-4614-3558-7_68

Cited by 4 publications

(2 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The proposed approach has been evaluated by mutating a case study. The case study focused on a status service for a social network and was used in some previous research on MDSD [43]. The central part of the system is a presence server (PA) (Fig.…”

Section: Case Study Evaluationmentioning

confidence: 99%

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

Derezińska

Zaremba

2020

Communications in Computer and Information Science

View full text Add to dashboard Cite

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.

show abstract

Section: Case Study Evaluationmentioning

confidence: 99%

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

Derezińska

Zaremba

2020

Communications in Computer and Information Science

View full text Add to dashboard Cite

show abstract

“…Evaluation of the mutation testing process with the extended FXU has been performed on a case study used in the previous MDD experiments [11]. It referred to modeling of a presence server in a social network.…”

Section: Realization Of Semantic Mutation With Fxumentioning

confidence: 99%

Approaches to Semantic Mutation of Behavioral State Machines in Model-Driven Software Development

Derezińska

Zaremba

2018

Annals of Computer Science and Information Systems

Self Cite

View full text Add to dashboard Cite

Model-Oriented Tracing Language: Producing Execution Traces from Tracepoints Injected into Code Generated from UML Models

Aljamaan¹

2015

View full text Add to dashboard Cite

Towards C# Application Development Using UML State Machines: A Case Study

Cited by 4 publications

References 3 publications

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

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

Approaches to Semantic Mutation of Behavioral State Machines in Model-Driven Software Development

Model-Oriented Tracing Language: Producing Execution Traces from Tracepoints Injected into Code Generated from UML Models

Contact Info

Product

Resources

About