A FAULT-DETECTION APPROACH TO THE CONFORMANCE TESTING OF NONDETERMINISTIC SYSTEMS

The classical fault-detection approach to conformance testing for dete rministic systems is based on state identification by means of diagnos is sequences. This paper extends this approach to set identification f or nondeterministic systems in which an action may reach more than one state. It presents a new scheme for testing and deriving diagnosis se quences in terms of both specified and unspecified actions of a nondet erministic labeled transition system. New definitions and derivation m ethods for generalized unique input/output sequences and distinguishin g sequences for set identification are proposed. The methods preserve failure equivalence and require minimization of the set space with res pect to set-observational equivalence. (C) 1995 Academic Press, Inc.