An extended-UIO-based method for protocol conformance testing

✍ Scribed by Giacomo Buonanno; Franco Fummi; Donatella Sciuto

• Book ID: 104426319
• Publisher: Elsevier Science
• Year: 2000
• Tongue: English
• Weight: 335 KB
• Volume: 46
• Category: Article
• ISSN: 1383-7621
• DOI: 10.1016/s1383-7621(99)00003-x

✦ Synopsis

Veri®cation 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 extended version of Unique Input Output Sequences (UIO), which, dierent from classical UIO, can always be found in any state. Both algorithms for ecient extended UIO sequence identi®cation and for optimal test sequence generation are presented, together with the experimental results on dierent protocol descriptions.