Searching and generating test inputs for mutation testing
© Papadakis and Malevris; licensee Springer. 2013
Received: 4 January 2013
Accepted: 14 February 2013
Published: 21 March 2013
Mutation testing is usually regarded as an important method towards fault revealing. Despite this advantage, it has proved to be impractical for industrial use because of its expenses. To this extend, automated techniques are needed in order to apply and reduce the method’s demands. Whilst there is much evidence that automated test data generation techniques can effectively automate the testing process, there has been little work on applying them in the context of mutation testing. In this paper, search-based testing is used in order to effectively generate test inputs capable of revealing mutants. To this end, a dynamic execution scheme capable of introducing and guiding the search towards the sought mutants is proposed. Experimentation with the proposed approach reveals its superiority from the previously proposed methods. Additionally, the framework’s feasibility and practicality of producing mutation based test cases are also demonstrated.
KeywordsTest case generation Search based testing Mutation testing
Software testing can account for more than half of the cost of the software under development. As the main purpose is to reduce such an excessive cost, the testing activity should incorporate effective and efficient methods experiencing the highest possible level of automation. The test data generation process plays a crucial role in both the effectiveness and efficiency of the software testing phase. Unfortunately, as it is evident from the current practice, the level of automation achieved to date is not as high as it ought to be, thus resulting in a rather low quality testing activity due to the unavoidably high cost of the imperative laborious manual activity. Hence, the need for producing the required test data automatically is essential in order to increase the test thoroughness and to reduce the testing expenses at the same time.
Testing quality is usually measured by the test adequacy criteria. Adequacy criteria, often referred to as coverage criteria, pose certain requirements that should be fulfilled by the test cases. Mutation testing or mutation analysis, is a fault-based technique introduced by Hamlet (1977) and DeMillo et al. (1978). Mutation analysis makes alterations, called mutants, to the code under test based on a set of simple syntactic rules called mutant operators. The purpose of injecting mutants into programs is to both guide the generation of test cases to reveal them on the one hand and to assess the test data quality on the other. To this extent, testing seeks to reveal the mutants, which when detected are termed “killed” and “live” in the opposite case. Testing adequacy is measured using the mutation score, defined as the ratio of the number of the killed mutants to the entire number of candidate mutants reduced by the number of equivalent ones. Equivalent mutants are those mutants that cannot be killed by any test case. This is an analogous form of the infeasibility element problem encountered in structural testing (Offutt and Pan 1997).
The strength of the method relies on the hypothesis - ability of the introduced mutants to produce realistic faults. In a study made by Andrews et al. (2006), this hypothesis is reinforced. Additionally, mutation has been empirically found to be more effective than other structural testing criteria (Offutt and Untch 2001) and it provides significant assistance in various debugging activities (Papadakis and Le Traon 2012). Thus, it is evident that developers can benefit from applying mutation testing. Although powerful, mutation lacks practical use. The practical use of an adequacy criterion requires the automated generation of test cases according to its requirements. This can prove to be a very laborious task (Offutt and Untch 2001) while, little has been done into automating effectively the mutation-based test production. Additionally, little has also been done into automating effectively the production of the sought mutation based test cases. This constitutes the main issue of the present research.
Automating mutation testing requires the production of the candidate mutant programs and their execution with the candidate test cases. This can be efficiently automated with the mutant schemata approach (Untch et al. 1993), (Papadakis et al. 2010), (Ma et al. 2005) which embeds all the candidate mutants into one schematic meta-program and thus, all tests are executed against this schematic program. Test execution poses an additional barrier to mutation analysis as it requires test cases to be executed against all live mutants. To effectively reduce the execution time required for mutation, alternative methods called weak or firm mutation (Jia and Harman 2010), (Howden 1982), (Offutt and Untch 2001) have been proposed. According to these methods the program execution may stop after the mutated or a succeeding program expression. Evaluation of the mutant can be performed by checking the program state at the stopping execution statement. Thus, remarkable execution savings can be achieved. Additionally, by utilizing weak mutation and mutant schemata techniques all the weakly killable mutants can be recorded with only one execution run (Papadakis et al. 2010), (Papadakis and Malevris 2011). The framework proposed in this paper takes advantage of this fact and executes only the weakly killed mutants in order to determine the strongly killed ones. Thus, the mutant execution cost is kept to a low level.
The practical use of an adequacy criterion requires the automated generation of test cases according to its requirements. This can be a very laborious task (Offutt and Untch 2001) for any selected criterion including mutation. Recently, search based optimization techniques and tools have succeeded in automating the test case generation activity effectively i.e. (Harman and McMinn 2007) and (Lakhotia et al. 2010). This paper introduces an automated framework that produces test cases based on strong mutation testing. In the proposed framework, the mutants are automatically generated based on a novel version of the mutant schemata technique (Untch et al. 1993) for performing both mutation and search based testing. The use of mutant schemata for mutation test data generation purposes has also been investigated by (Papadakis and Malevris 2011), (Papadakis et al. 2010) in the context of weak mutation, utilizing existing structural testing tools, and in the context of strong mutation using dynamic symbolic execution (Papadakis and Malevris 2010a). Here the proposed approach incorporates a hill climbing algorithm known as the alternating variable method (AVM) proposed by Korel (1990) for searching and producing the sought test cases for strong mutation. The choice of the AVM method was due to its simplicity and the high expected effectiveness in the context of structural testing (Harman and McMinn 2007) and (Lakhotia et al. 2010).
The origins of the present approach are due to the utilized dynamic fitness scheme. Thus, it becomes possible to effectively direct the search process towards reaching, infecting and impacting the targeted mutants. A performed case study suggests that it can be more effective than random testing and a previously proposed approach (Ayari et al. 2007).
The contribution of the present work can be summarized into the following points:
A novel scheme able to perform both mutation and search based testing.
A novel fitness function for strongly killing mutants.
A novel dynamically adjusted fitness scheme able to improve the effectiveness of search based approaches.
The rest of this paper is organized as follows: Section 2 presents the proposed system by detailing the proposed approach. In Section 3 presents and analyzes the obtained results from the application of the proposed approach. Sections 4 and 5 discuss the relevance and the benefits of the application of the proposed system with previously proposed systems and approaches. Finally in section 6 conclusions and future directions are given.
The proposed framework tries to effectively automate the production and evaluation of mutation based test data. The framework embeds all the candidate mutants into one schematic meta-program suitable for both executing mutants and recording the required test cases fitness calculations. Then it produces test cases according to the alternating variable method (Korel 1990) guided by the schematic program. In the succeeding subsections details of the framework are given.
Dynamic approaches are based on the information gained through dynamic program runtime execution. In the context of structural testing the programs under test host all the needed information in their structure and thus, it is straightforward to implement a monitoring mechanism for the data evolution purpose. In the context of mutation, there is a special need for unifying both the original’s and the mutants’ runtime information. The difficulties originate from the mutations’ method nature, as the needed information is spanned across the original and the various mutants versions (Papadakis et al. 2010), (Papadakis and Malevris 2009) programs. To efficiently overcome this difficulty a special form of the mutant schemata technique was employed in order to unify all the mutation analysis requirements into a unique version suitable for the test evolution representation. This approach was initially introduced in (Papadakis et al. 2010) in the context of using existing test data generation tools for performing mutation. Here the technique has been extended in order to effectively guide the test data generation process. This is achieved by embedding a fitness guide and evaluation inside the schematic functions.
The above decision expression (1) consists of two possible outcomes (i.e. the original is either equal to the mutated or not). Thus, entailing the introduction of true (mutant is killed) and false (mutant is alive) cases. Measuring the closeness of making the above decision (1) true, results in an effective measure of the test case fitness according to the weak mutation testing criterion (Papadakis et al. 2010) and forms a part of the proposed fitness function (section 2.4). After the mutants’ evaluation point, the program execution continues in order to evaluate the mutant’s output and its propagation fitness, as it is required by strong mutation.
Executing mutants with tests
The present approach takes advantage of the unified representation of all mutants and their killing conditions into one meta-program. Based on the use of the introduced schemata technique, mutant execution can be performed straightforwardly utilizing only one program. This is a direct consequence of the parameterized introduced mutants (Untch et al. 1993), (Papadakis and Malevris 2011). Additionally, the fitness function calculations have also been embedded into the schematic classes. Thus, test execution requires only an initialization of the mutant schemata class at the beginning of the execution and an additional call to the calculation function at the end in order to produce all the required fitness calculations.
The proposed system employs the reflection mechanism of the Java language in order to execute the meta-program with the produced test cases and extracts the fitness function calculations. As the proposed system performs a different search per live mutant, it executes all the live mutants only when a search has come to a success (kills the targeted mutant). This approach might be less effective than executing all mutants against all produced tests (fitness evaluations) but keeps mutation execution overheads at a low level. Additionally, for further savings it determines the strongly killed mutants by executing only those that have been previously weakly killed, as pointed out in the introduction section.
Search based testing
Search based testing (Harman and McMinn 2007), (Wegener et al. 2001) formulates the test case generation problem to a search problem and tries to tackle it using search based optimization techniques. The search process is guided by an appropriate fitness function which indicates how close the tests are in covering the aimed program elements. To achieve this, a separate search is performed according to each live mutant. To keep mutation execution overheads at a low level the framework executes all the live mutants only when a search has come to a success (kills the targeted mutant), as suggested in Fraser and Zeller (2010).
The proposed framework uses the alternating variable method, proposed by Korel (1990). This method forms a hill climbing algorithm which has been shown to be quite effective compared with other search algorithms in the context of structural testing (Harman and McMinn 2007). Hence, it forms an ideal choice as it is a quite simple to implement method and as expected, a quite powerful one. Here, it should be noted that mutation, in particular weak mutation, can be transformed to branch testing (Papadakis and Malevris 2011), (Papadakis et al. 2010) and since hill climbing performs similarly to its rivals, in the structural testing context (Harman and McMinn 2007), there is no reason why this should not hold for mutants too. Nevertheless, this is beyond the scope of the present paper and is left open for future research.
The method starts by randomly initializing the input program variable values. Then it selects repeatedly and adjusts one of those values by alternating it. This is performed until no further fitness improvement can be obtained i.e. no further alternations are fruitful. In this case the method switches to the next input variable. The algorithm stops when no further fitness improvement can be recorded by selecting and alternating any of the input variables. Details of the method can be found in Korel (1990).
Search based testing requires the employment of an appropriate fitness function in order to be effective. The present framework utilizes a fitness function composed of four parts. The first two are known as the approach level and the branch distance introduced by Wegener et al. (2001) in the context of structural testing. The third one is named mutation distance and the fourth one is named impact distance.
a == b
abs( a - b)
a == b?k : 0
a ! = b
a ! = b? 0 : k
abs (a ! = b?a - b : 0)
a < b
abs (a < b?0 : a - b + k)
abs (a < b?a - b + k : 0)
a < = b
abs (a < = b?0 : a - b)
abs (a < = b?a - b : 0)
a > b
abs (a > b?0 : a - b + k)
abs (a > b?a - b + k : 0)
a > = b
abs (a > = b?0 : a - b)
abs (a > = b?a - b : 0)
a || b
fit(a) + fit(b)
a && b
fit(a) + fit(b)
a > b
a > = b:abs(a-b)
a ! = b:abs(a-b + k)
a < b:k
a == b:abs(a-b)
false:abs(a-b + k)
a < = b:0
a > = b
a > b:abs(a-b)
a ! = b:abs(a-b)
true:abs(a-b + k)
a < b:0
a == b:abs(a-b + k)
a < = b:k
a < b
a > b:k
a ! = b:abs(a-b + k)
a > = b:0
a == b:abs(a-b)
false:abs(a-b + k)
a < = b:abs(a-b)
a < = b
a > b:0
a ! = b:abs(a-b)
true:abs(a-b + k)
a > = b:k
a == b:abs(a-b + k)
a < b:abs(a-b)
a ! = b
a > b:abs(a-b + k)
a < = b:abs(a-b)
a > = b:abs(a-b)
a == b:0
a < b:abs(a-b + k)
a == b
a > b:abs(a - b)
a < = b:abs(a-b + k)
a > = b:abs(a-b + k)
a ! = b:0
a < b:abs(a - b)
a + b
a - b:k
a / b:k
a * b:k
a – b
a + b:k
a / b:k
a * b:k
a * b
a + b:k
a / b:k
a - b:k
a / b
a + b:k
a * b:k
a – b:k
a + b:k
a * b:k
a – b:k
a / b:k
abs(a):abs(a + k)
a && b
a||b:min[Tfit(a) + Ffit(b), Ffit(a) + Tfit(b)]
a:Tfit(a) + Ffit(b)
true:min [Ffit(a), Ffit(b)]
b:Ffit(a) + Tfit(b)
false:Tfit(a) + Tfit(b)
a || b
a:Ffit(a) + Tfit(b)
true:Ffit(a) + Ffit(b)
Ffit(b), Ffit(a) + Tfit(b)]
b:Tfit(a) + Ffit(b)
The O and M denote the original and the mutant predicates fitness calculations.
Impact distance tries to approximate the mutant sufficiency condition (DeMillo and Offutt 1991), which is a difficult task to formalize (DeMillo and Offutt 1991). Following the suggestions made in Fraser and Zeller (2010), one way of approximating this condition is to measure the impact on the mutant program execution. As this approach does not guide the search towards some specific program parts, able to expose the introduced mutants, it was found to be ineffective with the AVM method. Thus, the proposed fitness function tries to guide the search towards some specific program elements which will hopefully be capable of exposing the mutants. To achieve this, it is suggested to record the impact (differences on the execution paths between the original and mutant program versions) (Fraser and Zeller 2010) of each mutant during the test generation process. For each program node that has been impacted the ratio of the killed over the total number of mutants is recorded. Informally, as tests are produced and executed with mutants the nodes are ranked according to their ability to expose mutants, when they are impacted. Impact distance reflects the approach level and the branch distance on the mutant program towards covering a selected top ranked node.
Dynamic approach level
Mutation testing introduces a vast number of mutants which are spanned across the whole program structure. It was observed that trying to kill them, results into covering - reaching many other mutants (possible hard to reach) collaterally i.e. without aiming at them. It is noted that many mutants are equivalent and thus by their definition aiming at them will result in a waste of effort. In practice, these two characteristics of mutation can provide useful information to assist the killing of some other mutants. This paper proposes the concept of dynamic approach level that will serve as a yardstick for improving the search process.
Search based approaches utilizing approach level and branch distance fitness functions have the drawback of leading to random testing (McMinn and Holcombe 2006) for certain types of programs. This is due to the use of certain programming constructs such as the use of flags, enumeration types and various data dependencies (Awedikian et al. 2009). To avoid such a situation, the dynamic approach level tries to include some data dependencies in the fitness evaluation. These data dependencies are not included in the “static” predefined approach level. The need for such an inclusion has also been pointed out by Awedikian et al. (2009), who also argued that doing so is quite easy and leads to an improved performance.
The rationale behind the use of the standard approach level (Wegener et al. 2001) is to include only the structural elements (control dependencies) that must be traversed by any of the possible sought test cases. Consider a case where in order to traverse a targeted branch requires the program execution to execute a specific program statement (data dependency) that is not part of the control dependencies of the targeted branch. Then, all the possible test cases that traverse this branch also traverse the specific program statement. The dynamic approach level identifies all the common structural elements that traverse the produced test cases and thus, necessary data dependencies too. This way the path information gained during the whole search process can be used and reproduced for infecting and eventually killing the aimed mutants.
The dynamic approach level is defined as the intersection of all nodes that are contained in all the encountered execution paths that reach a targeted node. Thus, for example if a target node is x and during the search process 5 different execution paths have been encountered that lead to node x, then the dynamic approach level is formed as the common nodes of these 5 paths. If there is no path leading to node x, then the standard approach level is used. It is noted that in the absence of data dependencies the dynamic approach level could approximate the standard approach level if most of the encountered paths have been executed. This approach relies on the excessive search performed to kill all the introduced mutants.
The mutation AVM method
The proposed approach uses the alternating variable method, proposed by Korel (1990). This method forms a Hill climbing algorithm which has been shown to be quite effective compared to other search algorithms in the context of structural testing (Harman and McMinn 2007) and has also been incorporated to automated test data generation tools such as the AUSTIN tool (Lakhotia et al. 2010) for structurally testing. Hence, it forms an ideal choice as it is a quite simple to implement method and as it is also expected to be a quite powerful one. Here, it should be noted that mutation testing, in particular weak mutation, can be transformed to branch testing (Papadakis and Malevris 2009), (Papadakis et al. 2010), (Papadakis and Malevris 2011), (Papadakis and Malevris 2012) and since hill climbing performs similarly to its rivals, in the structural testing context (Harman and McMinn 2007), there is no reason why this should not hold for mutants too. Nevertheless, this is beyond the scope of the present paper and is left open for future research.
This section empirically evaluates the effectiveness of the propositions made in this paper based on two experiments. The first experiment compares the effectiveness of the proposed framework to perform mutation using three fitness functions and random testing. The second experiment, examines the impact on the framework’s effectiveness to when utilizing the dynamic approach level.
The experiment described in this section uses the proposed mutation testing framework on a set of Java programs using the mutation operators presented in Table 2 along with the incorporated fitness necessity formulas. The framework works on Java programs (produces mutation operators) with a primary target at the intra method level (Ma et al. 2005), similar to non Object-Oriented languages (see section V.A for details about the framework capabilities and limitations). The experiment described in this section empirically investigates the following Research Questions (RQs):
RQ 1: How effective are the adopted fitness functions compared to a previously proposed one (Ayari et al. 2007) and random testing?
RQ 2: What is the relative efficiency of the adopted fitness functions?
RQ 3: What is the impact of the dynamic approach level on the effectiveness of the examined approaches?
To answer the above questions, the proposed framework was employed to generate test cases for a set of programs based on the mutation operators presented in Table 2. It is noted that the results reported here are the average values obtained from applying the examined approaches 10 times independently. In order to answer RQ1 the number of killed mutants was measured. With respect to RQ2 the required fitness evaluations to produce the sought test data were measured. With respect to RQ3 the experiment was repeated by utilizing the dynamic approach level. Specifically, in the conducted experiments random testing and three fitness functions were utilized. The first fitness function named “Reach” uses only the reach distance of expression 3 and corresponds to the fitness function suggested by Ayari et al. (2007). The second one called “Infect” uses the Reach and Infect distances of expression 3 and the third one named “Impact” utilizes expression 3. In the second experiment the followed process was to iteratively and continuously perform one attempt to kill all the live mutants using the standard approach level and one using the dynamic approach level. For each test subject the test generation process considered up to 50,000 fitness evaluations or random test generations (for random testing) for all the introduced mutants. This is a considerably high number of evaluations but it is forced due to the existence of equivalent mutants.
Results and analysis
Test program details
Lines of code
No. of mutants
3 ints: (range 16-bit)
3 ints: (range 16-bit)
3 ints: (range 16-bit)
2 ints: (range 16-bit)
5 ints: 2x[0, 12], 2x[0, 365], [−3,000, 3,000]
3 ints: (3x[0, 50])
4 floats, 1 ints: 4x[−100, 100], [−100, 100]
3 ints (range 16-bit)
The experiment tries to reveal the ability of the framework to perform mutation testing and its effectiveness compared to a previously proposed approach without any particular assistance. That is, none of the equivalent mutants was eliminated from the candidate mutant set, fact that allows considerable overheads to the conducted experiment. Furthermore, no data dependencies, state related information or flag removal approaches were employed in order to make the test search more efficient. The effective incorporation of such approaches is considered out of the scope of the present paper and thus, has been left for future work.
Mutants killed by the utilized fitness functions
The obtained results provide evidence in support of the proposed fitness functions (Infect and Impact) which outperform a previously proposed one (Reach) and random testing (RQ1). Additionally, the use of dynamic approach level improves the effectiveness of all the examined fitness functions (RQ3). Specifically, the Infect and Impact fitness functions kill on average 113 and 122 more mutants than the Reach one respectively, using the standard approach level. The use of the dynamic approach level results in an increase with all three examined functions by killing 71, 40 and 87 more mutants for Reach, Infect and Impact fitness functions respectively. Additionally, the convergence of all the examined fitness functions is higher for the high number of evaluations. This is due to the fact that for higher number of executions more paths are included in the dynamic approach level. Recall that the dynamic approach level is adopted according to all the encountered execution paths.
Considering the approach efficiency (RQ2) the number of mutant evaluations should be examined. From Figure 2 it can be observed that both the Infect and Impact fitness are more efficient than the Reach one even for a small number of evaluations (approximately over 4,500 evaluations). For less than 4,500 evaluations all the approaches share a similar effectiveness and efficiency. The use of dynamic approach level generally improves the efficiency of the utilized fitness functions as for the same number of evaluations it kills more mutants.
Compared with random testing it can be observed that in general it performs worse than the Infect and Impact fitness irrespective of the use or not of the dynamic approach level. However, it performs similarly to Reach without the use of the dynamic approach level and worsens when Reach utilizes it. Here it must be noted that under the framework’s process of executing mutants, which determines the collaterally killed ones when and only when it has killed a targeted mutant, the comparison made is in favor of random testing (in random testing all tests are executed against all mutants). Nevertheless, even in such a case the proposed approach outperforms random testing.
The alternating variable method was initially proposed by Korel (1990) which was adopted by the present framework for finding the appropriate tests. Daimler (Wegener et al. 2001) developed an automated tool for testing C programs based on various structural testing criteria. It is this tool’s fitness function that is extended by the present research.
Test case generation techniques for mutation testing have received little attention in the literature. The most fundamental attempt is the one due to DeMillo and Offutt who developed the constraint based testing Technique (DeMillo and Offutt 1991). This technique introduced the concept of reachability, necessity and sufficiency conditions which have been embodied in a tool called Godzilla. Godzilla contains the first two of these conditions, formulating and resolving them as mathematical systems of constraints. Formulating and resolving reachability and necessity constraints forms a difficult task. In order to efficiently handle this task, in (Papadakis and Malevris 2012) and (Papadakis and Malevris 2009) it is suggested to use a path selection strategy that reduces the effects of infeasible paths. Bottaci (2001) proposed a fitness function composed of the reachability distance (measures the closeness of the test data and the mutant statement) of the produced tests and the necessity distance (measures the closeness to kill the mutant statement). In (Ayari et al. 2007) a search based approach for the generation of mutation test data was proposed by implementing only the reachability part of the Bottaci (2001) fitness function. More recently, Fraser and Zeller (2010) proposed another evolutionary based approach to automate the production of mutation tests. This approach uses the rechability part of the Bottaci’s fitness function (Bottaci 2001) and approximates the necessity and sufficiency conditions by measuring the mutant’s impact (Fraser and Zeller 2010). They argue that producing tests with higher mutants’ impact, results in tests closer to kill those mutants. The above two approaches are the closest ones to the present proposed framework. The main differences are that the proposed framework extends the fitness function to effectively direct the search towards necessity and sufficiency conditions (DeMillo and Offutt 1991). Additionally, a novel technique to efficiently gain and dynamically adopt the required fitness information through mutant schemata is presented by the present paper.
The idea of utilizing mutant schemata in order to help automated tools to perform mutation was initially introduced in (Papadakis et al. 2010) with the aim of reusing existing structural automated tools for performing mutation. The underlying technique to achieve this was to reduce the weakly killing mutant problem to the covering branches one. In (Papadakis and Malevris 2010a) the schemata approach was extended to utilize dynamic symbolic execution for producing strong mutation based tests. In the present paper, mutant schemata were used in order to enable the fitness guidance towards killing mutants for strong mutation.
The origin of the proposed framework is due to the integrated use of mutant schemata and evolutionary testing techniques utilizing a novel fitness function. This integration helps to extract dynamic program information concerning the introduced mutants and fitness calculations efficiently. The conducted case study indicates the ability of the proposed method to produce high quality test cases from scratch (starting from random inputs). Additionally, it indicates the improved performance over random testing and a previously proposed approach. In fact the proposed fitness functions are compared with the one proposed in (Ayari et al. 2007). A similar to (Ayari et al. 2007) approach has also been proposed by Fraser and Zeller (2010) who extend it by including the mutants impact in their fitness. Such an inclusion was attempted in the conducted case study. The obtained results were similar to the ones obtained by the reach fitness function. This is due to the use of hill climbing and the absence of effective guidance towards some specific program statements.
Equivalent mutants help the proposed approach to build the dynamic approach level as they force the search towards various and different program statements and conditions. Despite this, from the conducted case study it becomes evident that equivalent mutants pose an additional burden to test case evolution as they force the method not only to search for non killable mutants (huge effort) but also by misleading the mutation score calculated due to their presence. This fact explains why the proposed approach spends so many fitness evaluations in order to kill additional mutants. Perhaps the use of some heuristic approaches such as the one suggested in (Kintis et al. 2012) for isolating equivalent mutants, could be employed in order to overcome this problem. This paper also reveals that simple dynamic approaches can be quite effective for the production of high quality test cases. Based on the dynamic nature of the adopted approach, the problems caused by pointers and non linear expressions are limited.
The framework described here uses a quite simple but practical approach, based on the mutant schemata technique (Untch et al. 1993), in order to perform the test data generation process. This approach is an incremental approach that targets first on reaching, then weakly killing and then strongly killing the introduced mutants. This incremental process helps on producing some tests capable to weakly kill some strongly equivalent mutants. These tests should be valuable and should increase the performed testing quality.
Tool characteristics and limitations
The proposed framework in this paper has several special characteristics and limitations which are currently under research. Generally, it can handle Java programs only at the intra method level. Thus, it does not handle method sequences or Object Oriented features. Its application treats one method at a time using predefined method sequences. The inability of the mutant schemata technique to handle certain Object Oriented mutants as identified in (Ma et al. 2005) limits the propositions made in this paper to the intra method level. Here it must be noted that in the case of Logical operators, a necessary special handling was enforced. This is due to the short circuit evaluation mechanism performed by the Java language. In order to keep the program execution paths unaffected with the presence of mutants, the logical operator’s evaluations were performed when both logical operands were executed.
Threats to validity
The present paper focuses on presenting an automated mutation testing system. One possible threat to the validity of the results reported here may be related to the generalization of the obtained results. Thus, the framework’s effectiveness may vary in other cases. However, as the proposed method utilizes and extends the suggestions made by DeMillo and Offutt (1991), Bottaci (2001) and Fraser and Zeller (2010), their use is expected to increase the effectiveness of the search based approaches. Additionally, the results obtained may serve as a yardstick towards the employment of mutation testing in an automated fashion and in order to indicate that it is possible to adopt mutation for the testing activity, resulting in the production of high quality tests.
The proposed framework uses weak/strong mutation and mutants’ impact for guiding and evaluating its test production effectiveness utilizing the AVM method. This does not necessarily mean that the results here can be extrapolated to the rest of the search based approaches. In any case, this was not the intention of the present framework, as it aims at using AVM which is quite simple and practical.
The last threat of internal validity may be based on the use of software systems. Thus, possible bugs, the fitness measures and the schematic program production implementation of the test objectives may have influenced the obtained results. To reduce these threats, selected test cases were executed in both the original and the converted program versions showing that they execute the same program paths. An additional manual evaluation of the results produced by the framework based on the Tritype program was performed showing no discrepancies.
Conclusion and future work
The proposed framework, as described here forms an automation of the mutation testing method. The framework uses state of the art techniques to efficiently generate the candidate mutants and produce mutation based test data. Based on a performed case study the system achieves to produce test cases able to kill the majority of the introduced mutants. This also establishes tests for performing high quality testing, this being the main issue of the present paper. Preliminary results suggest that the proposed fitness functions can outperform a previously proposed one and random testing as well. Also the use of the dynamic approach level can increase the effectiveness of the framework. In particular, based on the conducted case study, the suggested propositions achieve to kill on average approximately 7.6% more mutants than a previously proposed approach (Ayari et al. 2007) and 7.9% more than what random testing does.
In future, extensions of the framework to include other search based approaches such as evolutionary testing are planned. Further investigation is needed in order to determine the benefits of the dynamically adopted approach level and its optimal use on search based testing. Finally, the application of the proposed approach in killing second or higher order mutants (Papadakis and Malevris 2010b), (Kintis et al. 2010), (Jia and Harman 2010) is under investigation. Since such approaches have been shown to be quite effective in isolating equivalent mutants (Kintis et al. 2012) their consideration within the proposed framework will greatly enhance the level of automation used when performing mutation testing.
This research was partly funded by the Research Centre of the Athens University of Economics and Business.
- Andrews JH, Briand LC, Labiche Y, Namin AS: Using mutation analysis for assessing and comparing testing coverage criteria. IEEE Trans Softw Eng 2006, 32(8):608-624. http://dx.doi.org/10.1109/TSE.2006.83View ArticleGoogle Scholar
- Arcuri A: It Does Matter How You Normalise the Branch Distance in Search Based Software Testing. In Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation. Washington, DC, USA: IEEE Computer Society; 2010:205-214. Branch Distance, Search Based Software Testing, Theory, Simulated Annealing, Genetic Algorithms, Test Data Generation. 978-0-7695-3990-4 10.1109/ICST.2010.17View ArticleGoogle Scholar
- Awedikian Z, Ayari K, Antoniol G: Mc/dc automatic test input data generation. Montreal, Canada: Paper presented at the Proceedings of the 11th Annual conference on Genetic and evolutionary computation; 2009.View ArticleGoogle Scholar
- Ayari K, Bouktif S, Antoniol G: Automatic mutation test input data generation via ant colony. In Proceedings of the 9th annual conference on Genetic and evolutionary computation. London, England: 1277172: ACM; 2007:1074-1081. http://doi.acm.org/10.1145/1276958.1277172 View ArticleGoogle Scholar
- Bottaci L: A genetic algorithm fitness function for mutation testing. SEMINAL: Software Engineering using Metaheuristic INovative Algorithms, Workshop 8, ICSE 2001 2001, 3-7.Google Scholar
- DeMillo RA, Offutt AJ: Constraint-based automatic test data generation. IEEE Trans Softw Eng 1991, 17(9):900-910. http://dx.doi.org/10.1109/32.92910View ArticleGoogle Scholar
- DeMillo RA, Lipton RJ, Sayward FG: Hints on test data selection: Help for the practicing programmer. Computer 1978, 11(4):34-41. http://dx.doi.org/10.1109/C-M.1978.218136View ArticleGoogle Scholar
- Fraser G, Zeller A: Mutation-driven generation of unit tests and oracles. In Proceedings of the 19th international symposium on Software testing and analysis, Trento, Italy. 1831728: ACM; 2010:147-158. http://doi.acm.org/10.1145/1831708.1831728 Google Scholar
- Hamlet RG: Testing programs with the aid of a compiler. IEEE Trans Softw Eng 1977, 3(4):279-290. http://dx.doi.org/10.1109/TSE.1977.231145View ArticleGoogle Scholar
- Harman M, McMinn P: A theoretical & empirical analysis of evolutionary testing and hill climbing for structural test data generation. In Proceedings of the 2007 international symposium on Software testing and analysis, London, United Kingdom. 1273475: ACM; 2007:73-83. http://doi.acm.org/10.1145/1273463.1273475 Google Scholar
- Howden WE: Weak mutation testing and completeness of test sets. IEEE Trans Softw Eng 1982, 8(4):371-379. http://dx.doi.org/10.1109/TSE.1982.235571View ArticleGoogle Scholar
- Jia Y, Harman M: An analysis and survey of the development of mutation testing. IEEE Trans Softw Eng 2010., 99: http://dx.doi.org/10.1109/TSE.2010.62Google Scholar
- Kintis M, Papadakis M, Malevris N APSEC '10. In Evaluating Mutation Testing Alternatives: A Collateral Experiment. Proceedings of the 2010 Asia Pacific Software Engineering Conference. Washington, DC, USA: IEEE Computer Society; 2010:300-309. mutation testing, higher order mutation, weak mutation, collateral coverage. ISBN 978-0-7695-4266-9 10.1109/APSEC.2010.42View ArticleGoogle Scholar
- Kintis M, Papadakis M, Malevris N ICST '12. In Isolating First Order Equivalent Mutants via Second Order Mutation. Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation. Washington, DC, USA: IEEE Computer Society; 2012:701-710. Equivalent mutants, Higher Order mutation, Mutants' Impact. ISBN 978-0-7695-4670-4 10.1109/ICST.2012.160View ArticleGoogle Scholar
- Korel B: Automated software test data generation. IEEE Trans Softw Eng 1990, 16(8):870-879. http://dx.doi.org/10.1109/32.57624View ArticleGoogle Scholar
- Lakhotia K, Harman M, Gross , Austin H: A tool for search based software testing for the c language and its evaluation on deployed automotive systems. 2nd International Symposium on Search Based Software Engineering 2010. http://dx.doi.org/10.1109/SSBSE.2010.21 Google Scholar
- Ma Y-S, Offutt J, Kwon YR: Mujava: An automated class mutation system. Softw Test Verif Reliab 2005, 15(2):97-133. http://dx.doi.org/10.1002/stvr.v15:2View ArticleGoogle Scholar
- McMinn P, Holcombe M: Evolutionary testing using an extended chaining approach. Evol Comput 2006, 14(1):41-64. http://dx.doi.org/10.1162/106365606776022742View ArticleGoogle Scholar
- Murrill BW: An empirical, path-oriented approach to software analysis and testing. J Syst Softw 2008, 8(2):249-261. 10.1016/j.jss.2007.05.008View ArticleGoogle Scholar
- Offutt AJ, Pan J: Automatically detecting equivalent mutants and infeasible paths. Software Testing, Verification and Reliability 1997, 7: 165-192. 10.1002/(SICI)1099-1689(199709)7:3<165::AID-STVR143>3.0.CO;2-UView ArticleGoogle Scholar
- Offutt AJ, Untch RH: Mutation 2000: uniting the orthogonal. In Mutation testing for the new century. Edited by: Eric WW. Norwell, MA, USA: Kluwer Academic Publishers; 2001:34-44. 11,571314. ISBN 0-7923-73 http://dl.acm.org/citation.cfm?id=571305.571314 View ArticleGoogle Scholar
- Papadakis M, Le Traon Y ICST '12. In Using Mutants to Locate “Unknown” Faults. Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation. Washington, DC, USA: IEEE Computer Society; 2012:691-700. debugging, mutation analysis, fault localization 10.1109/ICST.2012.159View ArticleGoogle Scholar
- Papadakis M, Malevris N: An effective path selection strategy for mutation testing. In Proceedings of the 16th Asia-Pacific Software Engineering Conference. IEEE Computer Society; 2009:422-429. http://dx.doi.org/10.1109/APSEC.2009.68 Google Scholar
- Papadakis M, Malevris N ISSRE '10. In Automatic Mutation Test Case Generation via Dynamic Symbolic Execution. Proceedings of the 2010 IEEE 21st International Symposium on Software Reliability Engineering. Washington, DC, USA: IEEE Computer Society; 2010:121-130. 10, 1914368, automated test case generation, dynamic symbolic execution, mutation testing, mutant schemata 10.1109/ISSRE.2010.38 http://dx.doi.org/10.1109/ISSRE.2010.38 View ArticleGoogle Scholar
- Papadakis M, Malevris N: An empirical evaluation of the first and second order mutation testing strategies. Software Testing, Verification, and Validation Workshops (ICSTW), 2010 Third International Conference on, 6–10 April 2010 2010b, 90-99. http://dx.doi.org/10.1109/ICSTW.2010.50 View ArticleGoogle Scholar
- Papadakis M, Malevris N: Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing. Softw Qual J 2011, 19(4):691-723. 10.1007/s11219-011-9142-yView ArticleGoogle Scholar
- Papadakis M, Malevris N: Mutation based test case generation via a path selection strategy. Inf Softw Technol 2012, 54(9):915-932. 10.1016/j.infsof.2012.02.004View ArticleGoogle Scholar
- Papadakis M, Malevris N, Kallia M: Towards automating the generation of mutation tests. In Proceedings of the 5th Workshop on Automation of Software Test, Cape Town, South Africa. 1808283: ACM; 2010:111-118. http://doi.acm.org/10.1145/1808266.1808283 View ArticleGoogle Scholar
- Sthamer HH: The automatic generation of software test data using genetic algorithms. Wales, UK: University of Glamorgan; 1996.Google Scholar
- Untch RH, Offutt AJ, Harrold MJ: Mutation analysis using mutant schemata. In Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis, Cambridge, Massachusetts, United States. 154265: ACM; 1993:139-148. http://doi.acm.org/10.1145/154183.154265 Google Scholar
- Wegener J, Baresel A, Sthamer H: Evolutionary test environment for automatic structural testing. Inf Softw Technol 2001, 43(14):841-854. 10.1016/s0950-5849(01)00190-2View ArticleGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.