A novel use of equivalent mutants for static anomaly detection in software artifacts

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F17%3A10331993" target="_blank" >RIV/00216208:11320/17:10331993 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1016/j.infsof.2016.01.019" target="_blank" >http://dx.doi.org/10.1016/j.infsof.2016.01.019</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.infsof.2016.01.019" target="_blank" >10.1016/j.infsof.2016.01.019</a>

Jazyk výsledku

angličtina

Název v původním jazyce

A novel use of equivalent mutants for static anomaly detection in software artifacts

Popis výsledku v původním jazyce

Context: In mutation analysis, a mutant of a software artifact, either a program or a model, is said equivalent if it leaves the artifact meaning unchanged. Equivalent mutants are usually seen as an inconvenience and they reduce the applicability of mutation analysis. Objective: Instead, we here claim that equivalent mutants can be useful to define, detect, and remove static anomalies, i.e., deficiencies of given qualities: If an equivalent mutant has a better quality value than the original artifact, then an anomaly has been found and removed. Method: We present a process for detecting static anomalies based on mutation, equivalence checking, and quality measurement. Results: Our proposal and the originating technique are applicable to different kinds of software artifacts. We present anomalies and conduct several experiments in different contexts, at specification, design, and implementation level. Conclusion: We claim that in mutation analysis a new research direction should be followed, in which equivalent mutants and operators generating them are welcome.

Název v anglickém jazyce

A novel use of equivalent mutants for static anomaly detection in software artifacts

Popis výsledku anglicky

Context: In mutation analysis, a mutant of a software artifact, either a program or a model, is said equivalent if it leaves the artifact meaning unchanged. Equivalent mutants are usually seen as an inconvenience and they reduce the applicability of mutation analysis. Objective: Instead, we here claim that equivalent mutants can be useful to define, detect, and remove static anomalies, i.e., deficiencies of given qualities: If an equivalent mutant has a better quality value than the original artifact, then an anomaly has been found and removed. Method: We present a process for detecting static anomalies based on mutation, equivalence checking, and quality measurement. Results: Our proposal and the originating technique are applicable to different kinds of software artifacts. We present anomalies and conduct several experiments in different contexts, at specification, design, and implementation level. Conclusion: We claim that in mutation analysis a new research direction should be followed, in which equivalent mutants and operators generating them are welcome.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2017

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Information and Software Technology

ISSN

0950-5849

e-ISSN

—

Svazek periodika

81

Číslo periodika v rámci svazku

January

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

13

Strana od-do

52-64

Kód UT WoS článku

000387634200005

EID výsledku v databázi Scopus

2-s2.0-84958213157