An Optimization Technique for Protocol Conformance Testing Based on the Wp Method

Abstract

In order to ensure the correct operation of a distributed system, the protocol imple- mentation must be tested for conformance to the specification that is defined as a standard. The UIOv and Wp methods are two formal methods in generating the test sequence. In the past dec- ade, a lot of new techniques have been proposed to optimize the test sequence resulting from the UIOv method. On the other hand, the traditional Reset technique is still used in the Wp method to generate a test sequence that is very long. In this paper, we propose a new technique to opti- mize the test sequence resulting from the Wp method. The technique involves the construction of the test segments from the Wp method, and a Rural Chinese Postman Algorithm which optimally connects these test segments into a test sequence. Moreover, the technique is extended to gener- ate the synchronizable test sequence. A lot of optimization techniques used in the UIOv method can then be modified to accommodate the Wp method based on similar extensions.