Testability Transformation for Efficient Automated Test Data Search in the Presence of Nesting

by Phil McMinn, David Binkley and Mark Harman

UK Software Testing Workshop (UKTest 2005)


A more recent and expanded journal version of this paper is available — see "Empirical Evaluation of a Nesting Testability Transformation for Evolutionary Testing".


The application of metaheuristic search techniques to the automatic generation of software test data has been shown to be an effective approach for a variety of testing criteria. However, for structural testing, the dependence of a target structure on nested decision statements can cause efficiency problems for the search, and failure in severe cases. This is because all information useful for guiding the search - in the form of the values of variables at branching predicates - is only gradually made available as each nested conditional is satisfied, one after the other. The provision of guidance is further restricted by ... [more]


Reference

Phil McMinn, David Binkley and Mark Harman. Testability Transformation for Efficient Automated Test Data Search in the Presence of Nesting. UK Software Testing Workshop (UKTest 2005), pp. 165–182, 2005


Bibtex Entry
@inproceedings{McMinn2005,
  author    = "McMinn, Phil and Binkley, David and Harman, Mark",
  title     = "Testability Transformation for Efficient Automated Test Data Search in the Presence of Nesting",
  booktitle = "UK Software Testing Workshop (UKTest 2005)",
  pages     = "165--182",
  year      = "2005"
}