Mutation Operators for UML Class Diagrams

Granda, Maria Fernanda; Condori-Fernández, Nelly; Vos, Tanja E. J.; Pastor, Óscar

doi:10.1007/978-3-319-39696-5_20

Cited by 13 publications

(12 citation statements)

References 17 publications

(29 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To evaluate the expressiveness and usefulness of Wodel, we have used it to define and analyse sets of mutation operators proposed in the literature. We have implemented mutations for automata [4,15] with the purpose of automated exercise generation; and mutations for probabilistic automata [16], class diagrams [17], BPEL [18] and security policies [1] for mutation testing. The purpose of this experiment is to assess the expressiveness of Wodel to deal with realistic mutation operators, and to show the usefulness of its metrics to evaluate sets of mutation operators.…”

Section: Resultsmentioning

confidence: 99%

A tool for domain-independent model mutation

Gómez‐Abajo¹,

Guerra²,

Lara³

et al. 2018

Science of Computer Programming

View full text Add to dashboard Cite

Mutation is a systematic technique to create variants of a seed artefact by means of mutation operators. It has many applications in computer science, like software testing, automatic exercise generation and design space exploration. Typically, mutation frameworks are developed ad-hoc by implementing mutation operators and their application strategies from scratch, using general-purpose programming languages. However, this is costly and error-prone. To improve this situation, we propose Wodel: a domain-specific language and tool for model-based mutation that is independent of the domain metamodel. Wodel enables the rapid development and application of model mutations. It provides built-in advanced functionalities like automatic generation of seed models, and static and dynamic metrics of operator coverage and applicability. It offers extension points, e.g., to post-process mutants and describe domain-specific equivalence criteria. As an example, we illustrate the usage of Wodel for the mutation of security policies, and present an empirical evaluation of its expressiveness.

show abstract

Section: Resultsmentioning

confidence: 99%

A tool for domain-independent model mutation

Gómez‐Abajo¹,

Guerra²,

Lara³

et al. 2018

Science of Computer Programming

View full text Add to dashboard Cite

show abstract

“…Examples include changing guards, effects, and entry/exit actions. Similarly, Granda et al developed mutation operators for conceptual schema specific UML class diagrams. While these operators are not intended to generate model clones, they may be a good starting point.…”

Section: The Mumonde Frameworkmentioning

confidence: 99%

MuMonDE: A framework for evaluating model clone detectors using model mutation analysis

Stephan

Cordy

2018

Software Testing Verif & Rel

View full text Add to dashboard Cite

Summary Model‐driven engineering is an increasingly prevalent approach in software engineering where models are the primary artifacts throughout a project's life cycle. A growing form of analysis and quality assurance in these projects is model clone detection, which identifies similar model elements. As model clone detection research and tools emerge, methods must be established to assess model clone detectors and techniques. In this paper, we describe the MuMonDE framework, which researchers and practitioners can use to evaluate model clone detectors using mutation analysis on the models each detector is geared towards. MuMonDE applies mutation testing in a novel way by randomly mutating model elements within existing projects to emulate various types of clones that can exist within that domain. It consists of 2 main phases. The mutation phase involves determining the mutation targets, selecting the appropriate mutation operations, and injecting mutants. The second phase, evaluation, involves detecting model clones, preprocessing clone reports, analyzing those reports to calculate recall and precision, and visualizing the data. We introduce MuMonDE by describing each phase in detail. We present our experiences and examples in successfully developing a MuMonDE implementation capable of evaluating Simulink model clone detectors. We validate MuMonDE by demonstrating its ability to answer evaluation questions and provide insights based on the data it generates. With this research using mutation analysis, our goal is to improve model clone detection and its analytical capabilities, thus improving model‐driven engineering as a whole.

show abstract

“…Therefore, in order to minimize this threat we used an automatic process [124] to inject faults systematically, by avoiding non-valid and equivalent mutants and optimizing the testing coverage. This tool implements the mutation operators defined in a previous work [115].…”

Section: Analysis Of the Threats To The Validity Of The Resultsmentioning

confidence: 99%

“…In a previous work [43], we presented a defects classification at model level and in [115] described the process of selection of the 18 mutation operators from a list of 50 for generating First Order Mutants to UML CD-based CS (see Table 5.3). As opposed to code-based mutation, our mutation operators are based on the element characteristics of a UML CD-based CS and although some of the proposed operators perform syntactic changes at the constraints level, they are mainly focused (i.e.…”

Section: Test Prioritizationmentioning

confidence: 99%

“…The experiment was performed by the authors (researchers) of [115], which reports on the use of the tools in a controlled environment using three types of system: (i) the Super Stationery (SS) system, (ii) an Expense Report (ER) management system, and lastly, (iii) the Sudoku Game (SG) system [133], which is more variant-rich than the other two CS. The source files of the requirements models and Conceptual Schemas can be found at https://staq.dsic.upv.es/webstaq/costest.html The experiment was run as an iterative process with approximately 3 iterations in three months (from July 2015 to September 2015).…”

Section: Experimental Designmentioning

confidence: 99%

See 1 more Smart Citation

Testing-Based Conceptual Schema Validation in a Model-Driven Environment

Granda

View full text Add to dashboard Cite

Mutation Operators for UML Class Diagrams

Cited by 13 publications

References 17 publications

A tool for domain-independent model mutation

A tool for domain-independent model mutation

MuMonDE: A framework for evaluating model clone detectors using model mutation analysis

Testing-Based Conceptual Schema Validation in a Model-Driven Environment

Contact Info

Product

Resources

About