A method is proposed to transform a test case generation problem to a protocol validation problem. Protocol validation has been studied for years and many validation tools are available. By transforming a test case generation problem into a protocol validation problem, a protocol validation tool can be used to generate test cases. The method can be implemented in a very short period of time. The complexity of the proposed method in searching for a test case is O(n), where n is the number of system states in the specification.

No abstract

No abstract

No abstract

No abstract