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

An evaluation of test sequence generation methods for communication protocols

โœ Scribed by Akiko Nakahara; Hitoshi Aida; Tadao Saito

Book ID
112076023
Publisher
John Wiley and Sons
Year
1991
Tongue
English
Weight
976 KB
Volume
74
Category
Article
ISSN
8756-6621

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Test case generation of a communication
Test case generation of a communication protocol by an adaptive state exploration
โœ T.-H. Kim; I.-S. Hwang; M.-S. Jang; J.-Y. Lee ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 426 KB

State exploration, which is widely used for generation of executable test cases for conformance test of a protocol, often causes state explosion problem. This paper proposes an adaptive state exploration method to overcome the problem for a single module protocol. Since state explosion arises in rel