CONICET | Buscador de Institutos y Recursos Humanos

Code artefacts that have non-trivial requirements with respect to the ordering in which their methods orprocedures ought to be called are common and appear, for instance, in the form of API implementationsand objects. Testing such code artefacts to gain confidence that they conform to their intended protocols isan important and challenging problem. This paper proposes conformance testing adequacy criteria basedon covering an abstraction of the intended behavior?s semantics. Thus, the criteria are independent ofthe specification language and structure used to describe the intended protocol and the language used toimplement it. As a consequence the results may be of use to black box conformance testing approachesin general. Experimental results show that the criteria are a good predictor for fault detection for protocolconformance and for classical structural coverage criteria such as statement and branch coverage. They alsoshow that the division of the domain derived from the criterion produces subdomains such that most of itsinputs are fault-revealing.