In EDS ansehen

Using symbolic execution for equivalent mutant detection

Gespeichert in:
Bibliographische Detailangaben
Titel: Using symbolic execution for equivalent mutant detection
Autoren: Cachia, Mark Anthony, Micallef, Mark, Computer Science Annual Workshop CSAW’13
Verlagsinformationen: University of Malta. Faculty of ICT
Publikationsjahr: 2013
Bestand: University of Malta: OAR@UM / L-Università ta' Malta
Schlagwörter: Mutation testing of computer programs, Computer programs -- Testing, Computer programs -- Execution -- Management
Beschreibung: Mutation Testing is a fault injection technique used to measure test adequacy score by generating defects (mutations) in a program and checking if its test suite is able to detect such a change. However, this technique suffers from the Equivalent Mutant Problem. Equivalent mutants are mutants which on mutation retain their semantics. Thus, although equivalent mutants are syntactically different, they remain semantically equivalent to the original program. An automated solution which decides equivalence is impossible, as equivalence of non-trivial programs is undecidable. The fact that the Equivalent Mutant Problem is undecidable usually means that human effort is required to decide equivalence. Equivalent mutants are the barrier keeping Mutation Testing from being widely adopted. Moreover, in one study by Irvine et al, the average time taken for each manual mutant classification was fifteen minutes. ; peer-reviewed
Publikationsart: conference object
Sprache: English
Relation: https://www.um.edu.mt/library/oar//handle/123456789/23080
Verfügbarkeit: https://www.um.edu.mt/library/oar//handle/123456789/23080
Rights: info:eu-repo/semantics/openAccess ; The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder.
Dokumentencode: edsbas.325FBDC3
Datenbank: BASE
Beschreibung
Abstract:Mutation Testing is a fault injection technique used to measure test adequacy score by generating defects (mutations) in a program and checking if its test suite is able to detect such a change. However, this technique suffers from the Equivalent Mutant Problem. Equivalent mutants are mutants which on mutation retain their semantics. Thus, although equivalent mutants are syntactically different, they remain semantically equivalent to the original program. An automated solution which decides equivalence is impossible, as equivalence of non-trivial programs is undecidable. The fact that the Equivalent Mutant Problem is undecidable usually means that human effort is required to decide equivalence. Equivalent mutants are the barrier keeping Mutation Testing from being widely adopted. Moreover, in one study by Irvine et al, the average time taken for each manual mutant classification was fifteen minutes. ; peer-reviewed