Title :
A computer-aided design tool for protocol testing
Author :
Barbeau, Michel ; Sarikaya, Behçet
Author_Institution :
INRS-Telecommun., Ile des Souers, Que., Canada
Abstract :
A computer-aided design tool is presented for designing test for protocols. CAD-PT accepts a formal specification in Estelle of the protocol and generates control and dataflow graphs on a graphic workstation. The tool is explained component-by-component, using a simplified ISO Class 2 transport protocol as an example.<>
Keywords :
CAD; protocols; Estelle; ISO Class 2 transport protocol; computer-aided design tool; dataflow graphs; formal specification; graphic workstation; protocol testing; Application software; Data analysis; Design automation; Flow graphs; Formal specifications; ISDN; Open systems; Protocols; Standardization; Testing;
Conference_Titel :
INFOCOM '88. Networks: Evolution or Revolution, Proceedings. Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies, IEEE
Conference_Location :
New Orleans, LA, USA
Print_ISBN :
0-8186-0833-1
DOI :
10.1109/INFCOM.1988.12902
