Portal de Periódicos da CAPES

An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours

1991; IEEE Communications Society; Volume: 39; Issue: 11 Linguagem: Inglês

10.1109/26.111442

1558-0857

Alfred V. Aho, Anton Dahbura, D. Lee, M. Ümit Uyar,

Advanced Malware Detection Techniques

A method for generating test sequences for checking the conformance of a protocol implementation to its specification is described. A rural Chinese postman tour problem algorithm is used to determine a minimum-cost tour of the transition graph of a finite-state machine. It is shown that, when the unique input/output sequence (UIO) is used in place of the more cumbersome distinguishing sequence, both the controllability and observability problems of the protocol testing problem are addressed, providing an efficient method for computing a test sequence for protocol conformance testing. >