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

Volume

4

fYear

1994

fDate

18-23 Sep 1994

Firstpage

1167

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/WNCMF.1994.529438

Filename

529438