Automatic Generation of Path Covers

A. Bertolino,M. Marré
Abstract:Arnong the fundarnentai probIems computer prograrn testing must deal with, there is that of selecting a significant sarnpIe of executions out of the potentially infinite execution domain. In this paper, structural testing is treated and, preciseIy, an algorithm is presented which finds a subset of prograrn controi flow paths satisfying the branch testing criterion, i.e. every prograrn' s branch is covered at Ieast once. The minimal number of paths is found for acyclic structured prograrns. Being recursive, the algorithm is very simple. The analysis is based on a reduced flowgraph representation of prograrns, called ddgraph, and uses two relationships, dominance and implication, defined between the arcs of a ddgraph. Specifically, these reiationships make it possibie to identify a subset of arcs, called unconstrained, having the property that, when the unconstrained arcs are exercised, the coverage of alI the other arcs in the ddgraph is also guaranteed. Properties of ddgraph arcs are extensiveIy discussed. A proof of correctness and a theoretical evaluation of the algorithm are given. Application to the structural testing of real prograrns is straightforward and has been experimented in a prototype too1.
What problem does this paper attempt to address?