Quality metrics for mutation testing with applications to WS-BPEL compositions

Abstract

Mutation testing is a successful testing technique based on fault injection. However, it can be very costly, and several cost-reduction techniques for reducing the number of mutants have been proposed in the literature. Cost reduction can be aided by an analysis of mutation operators, but this requires the definition of specialized metrics. Several metrics have been proposed before, although their effectiveness and relative merits are not easy to assess. A step ahead in the evaluation of mutation-reduction techniques would be a better metric to determine objectively the quality of a set of mutants with respect to a given test suite. This work introduces such a metric, which is naturally extended to mutation operators and may be used to reduce the number of mutants, particularly of equivalent mutants. Finally, a firm mutation analysis tool for WS-BPEL service compositions is presented, and experimental results obtained by comparing different metrics on several compositions are presented.

Publication DOI: https://doi.org/10.1002/stvr.1528
Divisions: College of Engineering & Physical Sciences
Additional Information: This is the peer reviewed version of the following article: Estero-Botaro, A., Palomo-Lozano, F., Medina-Bulo, I., Domínguez-Jiménez, J. J., & García-Domínguez, A. (2015). Quality metrics for mutation testing with applications to WS-BPEL compositions. Software Testing Verification and Reliability, 25(5-7), 536-571, which has been published in final form at http://dx.doi.org/10.1002/stvr.1528. This article may be used for non-commercial purposes in accordance with Wiley Terms and Conditions for Self-Archiving.
Uncontrolled Keywords: firm mutation,mutation testing,quality metrics,quality of mutation operators,service compositions,WS-BPEL,Software,Media Technology
Publication ISSN: 1099-1689
Last Modified: 08 Jan 2024 08:17
Date Deposited: 26 Jan 2017 11:25
Full Text Link:
Related URLs: http://www.scop ... tnerID=8YFLogxK (Scopus URL)
PURE Output Type: Article
Published Date: 2015-08-01
Accepted Date: 2014-03-05
Submitted Date: 2012-09-03
Authors: Estero-Botaro, Antonia
Palomo-Lozano, Francisco
Medina-Bulo, Inmaculada
Domínguez-Jiménez, Juan José
García-Domínguez, Antonio (ORCID Profile 0000-0002-4744-9150)

Download

[img]

Version: Accepted Version

| Preview

Export / Share Citation


Statistics

Additional statistics for this record