Title :
Formal specification of conformance testing documents for communication protocols
Author :
Ponce, Ana Maria ; Csopaki, Gyula ; Tarnay, Katie
Author_Institution :
Dept. of Telecom. & Telematics, Tech. Univ. Budapest, Hungary
Abstract :
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
Keywords :
computer networks; conformance testing; formal specification; protocols; system documentation; testing; ACT ONE; PCTR; PICS; PIXIT; TTCN; communication protocols; computer networks; conformance testing documents; formal specification; protocol engineering; Computational modeling; Design engineering; Electronic mail; Formal specifications; Life testing; Open systems; Protocols; System testing; Telecommunication computing; Telematics;
Conference_Titel :
Personal, Indoor and Mobile Radio Communications, 1994. Wireless Networks - Catching the Mobile Future., 5th IEEE International Symposium on
Conference_Location :
The Hague
Print_ISBN :
90-5199-193-2
DOI :
10.1109/WNCMF.1994.529438
