Abstract—Mutation testing is a fault-based testing technique that can be used for testing software at unit level, integration level and specification level. In addition to assessing the test data adequacy, mutation testing has also been used to support other testing activities such as test data generation, regression testing etc. Several works has been done on automatic generation of test data that can be effectively kill mutants. Constraint-based test data generation (CBT) is one of the automatic test data generation techniques using mutation testing, however, existing approaches of test case generation generally generate test data by killing one mutant at one time. Thus, more test cases are needed for achieving a given mutation score. In this paper, an approach is proposed by filtering the test data according to necessity condition and reachability condition by killing multiple mutants, mutated at the different location at one time and filtered test data also achieved same or approximate same mutation score. In proposed approach, some test data is filtered out of large test data that is sufficient to kill multiple mutants, located at different location. So this approach reduces the testing cost and time.
Index Terms—Constraint-based testing, Mutation testing, mutation operator.
Nagendra Pratap Singh is with the Computer Science and Engineering Department at NVPEMI, Kanpur, India (e-mail: nagendrasngh447@gmail.com).
Rishi Mishra is with the I. T. Manager in United Bank of India, Lucknow, India (e-mail: rishi.msr@gmail.com).
[PDF]
Cite: Nagendra Pratap Singh, Rishi Mishra, Sailesh Tiwari, and A. K. Misra, "An Approach to Filter the Test Data for Killing Multiple Mutants in Different Locations,"
International Journal of Computer Theory and Engineering vol. 5, no. 2, pp. 253-257, 2013.