Issue No. 04 - April (1989 vol. 15)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.16602
<p>The authors present a detailed study of four formal methods (T-, U-, D-, and W-methods) for generating test sequences for protocols. Applications of these methods to the NBS Class 4 Transport Protocol are discussed. An estimation of fault coverage of four protocol-test-sequence generation techniques using Monte Carlo simulation is also presented. The ability of a test sequence to decide whether a protocol implementation conforms to its specification heavily relies on the range of faults that it can capture. Conformance is defined at two levels, namely, weak and strong conformance. This study shows that a test sequence produced by T-method has a poor fault detection capability, whereas test sequences produced by U-, D-, and W-methods have comparable (superior to that for T-method) fault coverage on several classes of randomly generated machines used in this study. Also, some problems with a straightforward application of the four protocol-test-sequence generation methods to real-world communication protocols are pointed out.</p>
protocol testing; test sequences; NBS Class 4 Transport Protocol; fault coverage; protocol-test-sequence generation techniques; Monte Carlo simulation; protocol implementation; fault detection; fault coverage; real-world communication protocols; conformance testing; failure analysis; Monte Carlo methods; protocols.
T. Leung and D. Sidhu, "Formal Methods for Protocol Testing: A Detailed Study," in IEEE Transactions on Software Engineering, vol. 15, no. , pp. 413-426, 1989.