Formal methods for generating protocol conformance test sequences
1990
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:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
31
References
88
Citations
NaN
KQI