On Complexity of All-Paths Test Generation: From Practice to Theory

Abstract

Automatic structural testing of programs becomes more and more popularin software engineering. Among the most rigorous structural coverage criteria,all-paths coveragerequires to generate a set of test cases such that every feasible execution path of the program under test is executed by one test case. This article addresses different aspects of computabilityand complexity of constraint-based all-paths test generation forC programs from the practitioner's point of view, and tries to bridge the gap between mathematical theory and practical computation problems arising in this domain. We focus on two particular classes of programs important for practice. We show first that for a class containing the simplest programs with strong restrictions, all-paths test generation in polynomial time is possible.For a wider class of programs in which inputs may beused as array indices (or pointer offsets), all-paths test generation is shown to be NP-hard. Some experimental results illustrating test generation timefor programs of these classes are provided.