Verification of protocols is performed through conformance testing. The aim
of this paper is to introduce the conformance test generation approach for
protocols described by means of Finite State Machines. A functional fault
model is adopted and the state discrimination is performed by applying an e
xtended version of Unique Input Output Sequences (UIO), which, different fr
om classical UIO, can always be found in any state. Both algorithms for eff
icient extended UIO sequence identification and for optimal test sequence g
eneration are presented, together with the experimental results on differen
t protocol descriptions. (C) 2000 Elsevier Science B.V. All rights reserved
.