CHARACTERIZING AND ORDERING ERRORS DETECTED BY CONFORMANCE TESTING

Testing theories contributed to formalize conformance as a binary relation relating implementation and specification. For practical purposes, e.g., test case selection, one wants to characterize the erroneous implementations detected by a specific test. Within the framework of the testing theory defined in [BSS87, Bri88], transformations of an IUT's specification are proposed to characterize implementation errors that will be detected by conformance testing. A bilabeled graph-structure referred to as a ''Refusal Graph'' is used as a basic structure for conformance verification by means of the bisimulation technique.