Abstract
An Enhanced Algorithm for Protocol Conformance Test Sequence Generation Based on the UIO Method. (December 1993) Ravindra Allada, B.E., Osmania University, Hyderabad, India Chair of Advisory Committee: Dr. Hosame Abu-Amara A computer protocol is a standard set of rules with which the computer systems on a computer network communicate. Each protocol specification may lead to different possible implementations. This implies that the protocol implementation should be checked for conformance to its specification. This checking procedure is called conformance testing. There are four methods for protocols conformance testing namely, the T-Method, D-Method, U-Method, and W-Method. Except for the T-Method, all the other methods follow the same pattern of generating test subsequences. A test subsequence checks the partial behavior of a protocol. Using the test subsequences, a test sequence can be constructed by using one of these methods, namely, reset transition method, optimization method, and heuristics. The main purpose of any protocol conformance testing method is to generate a smaller length test sequence without loss of fault coverage. In this thesis, a test generation method based on multiple unique input/output sequences (UIOS) and the rural Chinese postman tour algorithm was developed with fault detection capability to detect double type 2 faults.
Allada, Ravindra (1993). An enhanced algorithm for protocol conformance test sequence generation based on the UIO method. Master's thesis, Texas A&M University. Available electronically from
https : / /hdl .handle .net /1969 .1 /ETD -TAMU -1993 -THESIS -A416.