The necessity that test sequences are automatically generated from a protocol specification for the purpose of testing data Bow in the implementation has been emphasized because the cost of the most existing data part testing strategies is prohibitively high. However, existing automatic test generation methods based on single-module structure are not applicable to real protocol having multi-module one. In this paper, we propose a method which transforms multi-module model into an equivalent

more »

... le-module. Since the proposed method uses the reachability analysis technique, it can minimize semantic loss of the specification during the transformation process.