Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach

Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing in the presence of flag variables, which also present problems for other automated test data generation techniques. Previous work on the flag problem does not address flags assigned in loops. This paper introduces a testability transformation that transforms programs with loop–assigned flags so that existing genetic approaches can be successfully applied. It then presents empirical data demonstrating the effectiveness of the transformation. Untransformed, the genetic algorithm flounders and is unable to find a solution. Two transformations are considered. The first allows the search to find a solution. The second reduces the time taken by an order of magnitude and, more importantly, reduces the slope of the cost increase; thus, greatly increasing the complexity of the problem to which the genetic al...

• Type: Conference
• Year: 2004
• Where: ISSTA
• Authors: André Baresel, David Binkley, Mark Harman, Bogdan Korel
• Keywords: Evolutionary Testing, Genetic Algorithm, ISSTA 2004, Testability Transformation