Formal methods for generating protocol conformance test sequences
Anton T. Dahbura, Krishan K. Sabnani, M. Ümit Uyar · Proceedings of the IEEE · 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.>