Application of formal description techniques to the specification of distributed test systems

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.<>