Formal methods for generating protocol conformance test sequences |
| |
Authors: | Dahbura AT Sabnani KK Uyar MU |
| |
Affiliation: | AT&T Bell Lab., Murray Hill, NJ; |
| |
Abstract: | The four major methods of conformance test generation reported in the literature are reviewed: transition tours; distinguishing sequences; characterizing sequences; and unique input/output sequences. These methods are used to test the control portion of a protocol specification. The conformance testing concepts developed in the standards world are summarized. Their relationship with the four formal methods is discussed |
| |
Keywords: | |
|