Formal specification of conformance testing documents for communication protocols

The communication protocols require unambiguous conformance testing procedures. The final results and environments of these testing procedures are described in well-defined documents for communication protocols. The standardized documents of conformance testing are summarized and a formal specification in ACT ONE is used to define the tables and the relationship among them. The ACT ONE specification is simulated in a fourth-generation language and a protocol engineering tool called PROCONSUL is introduced for the document generation.