Home

Constructing Subtle Concurrency Bugs Using Synchronization-Centric Second-Order Mutation Operators

Leon Li Wu; Gail E. Kaiser

Title:
Constructing Subtle Concurrency Bugs Using Synchronization-Centric Second-Order Mutation Operators
Author(s):
Wu, Leon Li
Kaiser, Gail E.
Date:
Type:
Technical reports
Department:
Computer Science
Permanent URL:
Series:
Columbia University Computer Science Technical Reports
Part Number:
CUCS-023-11
Publisher:
Department of Computer Science, Columbia University
Publisher Location:
New York
Abstract:
Mutation testing applies mutation operators to modify program source code or byte code in small ways, and then runs these modified programs (i.e., mutants) against a test suite in order to evaluate the quality of the test suite. In this paper, we first describe a general fault model for con- current programs and some limitations of previously developed sets of first-order concurrency mutation operators. We then present our new mutation testing approach, which employs synchronization-centric second-order mutation operators that are able to generate subtle concurrency bugs not represented by the first-order mutation. These operators are used in addition to the synchronization-centric first-order mutation operators to form a small set of effective concurrency mutation operators for mutant generation. Our empirical study shows that our set of operators is effective in mutant generation with limited cost and demonstrates that this new approach is easy to implement.
Subject(s):
Computer science
Item views:
113
Metadata:
text | xml

In Partnership with the Center for Digital Research and Scholarship at Columbia University Libraries/Information Services | Terms of Use