Testing of very large systems: a hierarchical approach to fault coverage evaluation

The authors consider general, uncommitted systems whose only particular characteristic is that of affording a hierarchical, structured organization. For such systems, they propose a graph-based representation of the testing problem. First, it is seen how such representation makes it possible to define the relationship between test vectors and faults at one abstraction level: then, a multiple-level extension is introduced. This multiple-level representation is used to evaluate the limits of test coverage that can be achieved when higher levels of abstraction are used and to introduce the definition of test procedures at a high abstraction level