The mutation test is considered an effective technique for fault localization, but it has the disadvantage of the high cost of its application. Thus, it determines one of the obstacles to its adoption, since it is necessary to manually identify which mutants behave (i.e., produce the same output) as the original code for all possible inputs. These codes are considered equivalent and need to be analyzed manually to confirm this equivalence. In order to assist test analysts in the identification of these mutants, this paper present an approach that supports the generation of mutants, inspects the codes and informs the analysis data. Thus, it is possible for the analyst to perform the mutation test and to analyze the mutants that remained alive in a single tool.
Split-Site Doctoral at INRIA-Lille.