Title :
Application of formal description techniques to the specification of distributed test systems
Author :
Linn, Richard J., Jr. ; Favreau, Jean-Philippe
Author_Institution :
NBS, Gaithersburg, MD, USA
Abstract :
As part of a planned transition by the US Department of Defense (DoD) from military standard to open systems interconnection (OSI) protocols, the National Bureau of Standards (NBS) is implementing and testing two application-layer gateways. NBS is applying description techniques developed within the International Organization for Standardization (ISO) and the Consultative Committee for International Telephone and Telegraph (CCITT) to the specification of distributed test systems for the gateways between OSI and DoD networks. Translators developed at NBS for Estelle and ASN.1 aid in automating the implementation of the test systems. An overview of the test system for an electronic mail gateway and the methods used to realize it are presented. Measures of productivity of the methods used are also presented.<>
Keywords :
performance evaluation; protocols; National Bureau of Standards; application-layer gateways; distributed test systems; electronic mail; formal description techniques; open systems interconnection; protocols; specification; Automatic testing; Electronic equipment testing; ISO standards; Military standards; NIST; Open systems; Protocols; System testing; Telegraphy; Telephony;
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.12903
