A NOVEL APPROACH TO DETECT EQUIVALENT MUTANTS USING CONTROL FLOW GRAPH

Software testing verifies and validates software systems. Mutation testing is a testing procedure where mutants are created by seeding fault to the code. Test cases are exercised on these mutants to measure the adequacy given by mutation score. If the mutants are not killed, then either the test data is not sufficient or there is the presence of equivalent mutant, which is an undecidable problem. Equivalent mutant problem makes testing process more difficult and tedious. A technique has been proposed in this paper to detect equivalent mutants by observing RIP model and control flow graph of original and mutant program. The approach has also been tested on some sample programs.