A fortran language system for mutation‐based software testing

King, K. N.; Offutt, A. Jefferson

doi:10.1002/spe.4380210704

Cited by 296 publications

(199 citation statements)

References 6 publications

Supporting

Mentioning

195

Contrasting

Unclassified

Order By: Relevance

“…These operators are language dependent. For example, we have different sets of operators for Fortran 77 [6], C [5], COBOL [36], Lisp [37], Ada [38,39], and Java [40][41][42]. The operators can be further divided.…”

Section: Code-based Mutation Testingmentioning

confidence: 99%

“…Some are applied to source code of the SUC while others are applied to models derived from specifications. Mutants generated can be used at the unit testing [5,6], as well as at the integration testing level [7] (further details on related work are given in Section 6). A common problem of these studies is that they use a large number of mutation operators to generate mutants because they empirically determine the mutation operators based on selected fault models.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Model-based mutation testing—Approach and case studies

Belli

Budnik

Hollmann³

et al. 2016

Science of Computer Programming

View full text Add to dashboard Cite

This paper rigorously introduces the concept of model-based mutation testing (MBMT) and positions it in the landscape of mutation testing. Two elementary mutation operators, insertion and omission, are exemplarily applied to a hierarchy of graph-based models of increasing expressive power including directed graphs, event sequence graphs, finite-state machines and statecharts. Test cases generated based on the mutated models (mutants) are used to determine not only whether each mutant can be killed but also whether there are any faults in the corresponding system under consideration (SUC) developed based on the original model. Novelties of our approach are: (1) evaluation of the fault detection capability (in terms of revealing faults in the SUC) of test sets generated based on the mutated models, and (2) superseding of the great variety of existing mutation operators by iterations and combinations of the two proposed elementary operators. Three case studies were conducted on industrial and commercial real-life systems to demonstrate the feasibility of using the proposed MBMT approach in detecting faults in SUC, and to analyze its characteristic features. Our experimental data suggest that test sets generated based on the mutated models created by insertion operators are more effective in revealing faults in SUC than those generated by omission operators. Worth noting is that test sets following the MBMT approach were able to detect faults in the systems that were tested by manufacturers and independent testing organizations before they were released.

show abstract

Section: Code-based Mutation Testingmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Model-based mutation testing—Approach and case studies

Belli

Budnik

Hollmann³

et al. 2016

Science of Computer Programming

View full text Add to dashboard Cite

show abstract

“…Mutation testing can be easily integrated in systems that automate mutant generation and execution, as for example, Mothra [24]. The generation of test cases for killing mutants can be performed manually or automatically using a constraint-based test case generator [14].…”

Section: Mutation Testing Overviewmentioning

confidence: 99%

“…The OR operators adapt and extend the expression modification operators described in [24]. The aim of these mutants is to detect logical errors in the WHERE and HAVING clauses.…”

Section: Or -Operator Replacement Mutation Operatorsmentioning

confidence: 99%

Mutating database queries

Tuya

Suárez-Cabal

Riva

2007

Information and Software Technology

View full text Add to dashboard Cite

Abstract.A set of mutation operators for SQL queries that retrieve information from a database is developed and tested against a set of queries drawn from the NIST SQL Conformance Test Suite. The mutation operators cover a wide spectrum of SQL features, including the handling of null values. Additional experiments are performed to explore whether the cost of executing mutants can be reduced using selective mutation or the test suite size can be reduced by using an appropriate ordering of the mutants. The SQL mutation approach can be helpful in assessing the adequacy of database test cases and their development, and as a tool for systematically injecting faults in order to compare different database testing techniques.

show abstract

“…One of them is the lack of appropriate tools, as they are too costly to use or do not fit the tester's intention or the required environment. Several systems to generate mutants for programs written in various languages exist: Mothra [4] for Fortran, MuJava [5] for Java, . .…”

Section: Introductionmentioning

confidence: 99%

GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis

Domínguez-Jiménez

Estero-Botaro

García‐Domínguez

et al. 2010

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. This paper shows a novel tool, GAmera, the first mutant generation tool for testing Web Service compositions written in the WS-BPEL language. After several improvements and the development of a graphical interface, we consider GAmera to be a mature tool that implements an optimization technique to reduce the number of generated mutants without significant loss of testing effectiveness. A genetic algorithm is used for generating and selecting a subset of high-quality mutants. This selection reduces the computational cost of mutation testing. The subset of mutants generated with this tool allows the user to improve the quality of the initial test suite.

show abstract

A fortran language system for mutation‐based software testing

Cited by 296 publications

References 6 publications

Model-based mutation testing—Approach and case studies

Model-based mutation testing—Approach and case studies

Mutating database queries

GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis

Contact Info

Product

Resources

About