{"title":"形式化描述技术在分布式测试系统规范中的应用","authors":"R. Linn, J. Favreau","doi":"10.1109/INFCOM.1988.12903","DOIUrl":null,"url":null,"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.<<ETX>>","PeriodicalId":436217,"journal":{"name":"IEEE INFOCOM '88,Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?","volume":"42 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"Application of formal description techniques to the specification of distributed test systems\",\"authors\":\"R. Linn, J. Favreau\",\"doi\":\"10.1109/INFCOM.1988.12903\",\"DOIUrl\":null,\"url\":null,\"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.<<ETX>>\",\"PeriodicalId\":436217,\"journal\":{\"name\":\"IEEE INFOCOM '88,Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?\",\"volume\":\"42 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1988-03-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE INFOCOM '88,Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/INFCOM.1988.12903\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE INFOCOM '88,Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/INFCOM.1988.12903","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Application of formal description techniques to the specification of distributed test systems
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.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
