A Systematic Approach for Designing Mutation Operators for MDE languages

Faisal Haji M Alhwikem; Richard Freeman Paige; Louis Matthew Rose; Robert David Alexander

A Systematic Approach for Designing Mutation Operators for MDE languages

Faisal Haji M Alhwikem, Richard Freeman Paige, Louis Matthew Rose, Robert David Alexander

Computer Science

Research output: Contribution to conference › Paper › peer-review

Abstract

Testing is an essential activity in software development, used to increase confidence in the quality of software. One testing approach that is used to evaluate the quality of testing inputs for a particular program is mutation analysis. The most important step in mutation analysis is the process of defining mutation operators that mimic typical errors of the users of a language. There is a wide variety of mutation operators that have been designed for a number of languages
including C, Java, and SQL. However, the design of mutation operators is rarely systematic, which may result in passing over crucial operators for specific features of languages.

This paper describes a way to apply mutation analysis in the context of Model Driven Engineering (MDE). In particular, the paper proposes a systematic approach for designing mutation operators for MDE languages. The systematic approach is demonstrated for the Atlas Transformation Language (ATL) and the result is a list of mutation operators that includes previously designed ones for ATL from the literature.

Original language	English
Publication status	Published - Oct 2016

Access to Document

modevva_finalFinal published version, 282 KBLicence: Unspecified

Cite this

@conference{d94947e82a374adda4985a513e4cc7dd,

title = "A Systematic Approach for Designing Mutation Operators for MDE languages",

abstract = "Testing is an essential activity in software development, used to increase confidence in the quality of software. One testing approach that is used to evaluate the quality of testing inputs for a particular program is mutation analysis. The most important step in mutation analysis is the process of defining mutation operators that mimic typical errors of the users of a language. There is a wide variety of mutation operators that have been designed for a number of languagesincluding C, Java, and SQL. However, the design of mutation operators is rarely systematic, which may result in passing over crucial operators for specific features of languages.This paper describes a way to apply mutation analysis in the context of Model Driven Engineering (MDE). In particular, the paper proposes a systematic approach for designing mutation operators for MDE languages. The systematic approach is demonstrated for the Atlas Transformation Language (ATL) and the result is a list of mutation operators that includes previously designed ones for ATL from the literature.",

author = "Alhwikem, {Faisal Haji M} and Paige, {Richard Freeman} and Rose, {Louis Matthew} and Alexander, {Robert David}",

year = "2016",

month = oct,

language = "English",

}

TY - CONF

T1 - A Systematic Approach for Designing Mutation Operators for MDE languages

AU - Alhwikem, Faisal Haji M

AU - Paige, Richard Freeman

AU - Rose, Louis Matthew

AU - Alexander, Robert David

PY - 2016/10

Y1 - 2016/10

N2 - Testing is an essential activity in software development, used to increase confidence in the quality of software. One testing approach that is used to evaluate the quality of testing inputs for a particular program is mutation analysis. The most important step in mutation analysis is the process of defining mutation operators that mimic typical errors of the users of a language. There is a wide variety of mutation operators that have been designed for a number of languagesincluding C, Java, and SQL. However, the design of mutation operators is rarely systematic, which may result in passing over crucial operators for specific features of languages.This paper describes a way to apply mutation analysis in the context of Model Driven Engineering (MDE). In particular, the paper proposes a systematic approach for designing mutation operators for MDE languages. The systematic approach is demonstrated for the Atlas Transformation Language (ATL) and the result is a list of mutation operators that includes previously designed ones for ATL from the literature.

AB - Testing is an essential activity in software development, used to increase confidence in the quality of software. One testing approach that is used to evaluate the quality of testing inputs for a particular program is mutation analysis. The most important step in mutation analysis is the process of defining mutation operators that mimic typical errors of the users of a language. There is a wide variety of mutation operators that have been designed for a number of languagesincluding C, Java, and SQL. However, the design of mutation operators is rarely systematic, which may result in passing over crucial operators for specific features of languages.This paper describes a way to apply mutation analysis in the context of Model Driven Engineering (MDE). In particular, the paper proposes a systematic approach for designing mutation operators for MDE languages. The systematic approach is demonstrated for the Atlas Transformation Language (ATL) and the result is a list of mutation operators that includes previously designed ones for ATL from the literature.

M3 - Paper

ER -