By Topic

Control Oriented Mutation Testing for Detection of Potential Software Bugs

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Bashir, M.B. ; Center for Software Dependability, Mohammad Ali Jinnah Univ., Islamabad, Pakistan ; Nadeem, A.

An effective test case suite is one that has the potential to reveal real faults in the code. Mutation testing is a fault-based technique that helps measure the strength of test case set and to generate effective test cases. Faults are injected through pre-defined mutation operators and mutation score is a mean to calculate usefulness of test case set. Mutation testing approach suffers from two of its inherent issues, it is computationally expensive, second generation of equivalent mutants. Along with original program, every mutant has to be executed against all the test cases. An equivalent mutant always produces same output on original and mutant program for every possible test case. Program's behavior comprises of two kinds of information, control flow and data flow. Mutation testing techniques that have been proposed so far consider only data flow information and they ignore the importance of flow of control within the program. In this paper we propose a new approach that encourages using control flow information along with data flow information in mutation testing for detection of bugs. Bugs can hide themselves within equivalent mutants and in these scenarios control flow information can be quite useful to uncover them. Experiments show that using control flow information can help revealing potential bugs in the program.

Published in:

Frontiers of Information Technology (FIT), 2012 10th International Conference on

Date of Conference:

17-19 Dec. 2012