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

fYear

1988

fDate

27-31 March 1988

Firstpage

96

Lastpage

109

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/INFCOM.1988.12903

Filename

12903