Verification of protocols is performed through conformancetesting. 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, different from classical UIO, can always be found in any state. Both algorithms for efficient extendedUIO sequence identification and for optimal test sequence generation are presented, together with the experimental results on different protocol descriptions.
An extended-UIO-based method for protocol conformance testing
SCIUTO, DONATELLA
2000-01-01
Abstract
Verification of protocols is performed through conformancetesting. 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, different from classical UIO, can always be found in any state. Both algorithms for efficient extendedUIO sequence identification and for optimal test sequence generation are presented, together with the experimental results on different protocol descriptions.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
