Issue No. 03 - Fall (1995 vol. 12)
A protocol is a set of rules which govern events such as transmission and reception of messages. Conformance testing of protocols is performed by observing events from the outside. Thus, faults must be localized only by observing such events. This paper proposes a protocol test sequence generation technique under two conditions. The characteristics of this technique are to generate test sequences based on protocol specifications and interim test results, and to find locations of multiple faults in protocol implementations. Although the length of the test sequence generated by the proposed technique is a little longer than the one generated by the previous techniques, the class of protocols to which the proposed technique can be applied is larger than that to which the previous techniques can be applied. Finally, the proposed technique is evaluated by simulation experiments with respect to the protocol class to which the proposed technique can be applied and the length of the test sequence which is generated by the proposed technique.
Communication Protocol, Conformance Testing, Fault Localization, Test Sequence
T. Kikuno, S. Kusumoto, H. Yukitomo and Y. Kakuda, "Localizing Multiple Faults in a Protocol Implementation," in IEEE Design & Test of Computers, vol. 12, no. , pp. 34-42, 1995.