Formal specification of conformance testing documents for communication protocols
A.M. Ponce, Gyula Csopaki, K. Tarnay · 2002
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.