๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Protocol conformance testing using multiple UIO sequences

โœ Scribed by Shen, Y.-N.; Lombardi, F.; Dahbura, A.T.

Book ID
117860643
Publisher
IEEE
Year
1992
Tongue
English
Weight
557 KB
Volume
40
Category
Article
ISSN
0090-6778

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

An extended-UIO-based method for protoco
An extended-UIO-based method for protocol conformance testing
โœ Giacomo Buonanno; Franco Fummi; Donatella Sciuto ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 335 KB

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 ex