在OSI协议研究环境中的一些操作工具

Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium Pub Date : 1984-06-01 DOI:10.1145/800056.802073

J. Ansart, O. Rafiq, R. Castanet, P. Guitton

{"title":"在OSI协议研究环境中的一些操作工具","authors":"J. Ansart, O. Rafiq, R. Castanet, P. Guitton","doi":"10.1145/800056.802073","DOIUrl":null,"url":null,"abstract":"This paper deals with a strategy for a development chain of protocols (specification, validation, conformity testing) based on knowledge of the RHIN project methodology and the tools which this project produced. This methodology is based on finite state machines with predicates and includes “conceptual” tools for specification (PDIL)and for validation (VADILOC). “Experimental” tools play a part in conformity testing (STQ, Cerbere, Genepi). The interaction between conceptual and experimental tools is provided by a test sequence generator GAST which, starting from an automaton whose communication has been validated, provides sequences to be used by the test tools.","PeriodicalId":197970,"journal":{"name":"Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1984-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Some operational tools in a OSI protocols study environment\",\"authors\":\"J. Ansart, O. Rafiq, R. Castanet, P. Guitton\",\"doi\":\"10.1145/800056.802073\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper deals with a strategy for a development chain of protocols (specification, validation, conformity testing) based on knowledge of the RHIN project methodology and the tools which this project produced. This methodology is based on finite state machines with predicates and includes “conceptual” tools for specification (PDIL)and for validation (VADILOC). “Experimental” tools play a part in conformity testing (STQ, Cerbere, Genepi). The interaction between conceptual and experimental tools is provided by a test sequence generator GAST which, starting from an automaton whose communication has been validated, provides sequences to be used by the test tools.\",\"PeriodicalId\":197970,\"journal\":{\"name\":\"Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1984-06-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/800056.802073\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/800056.802073","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

本文讨论了基于RHIN项目方法学知识和该项目产生的工具的协议开发链(规范、验证、符合性测试)的策略。该方法基于带有谓词的有限状态机，并包括用于规范(PDIL)和验证(VADILOC)的“概念性”工具。“实验”工具在符合性测试中发挥作用(STQ, cerberi, Genepi)。概念工具和实验工具之间的交互由测试序列生成器GAST提供，GAST从通信已被验证的自动机开始，提供供测试工具使用的序列。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Some operational tools in a OSI protocols study environment

This paper deals with a strategy for a development chain of protocols (specification, validation, conformity testing) based on knowledge of the RHIN project methodology and the tools which this project produced. This methodology is based on finite state machines with predicates and includes “conceptual” tools for specification (PDIL)and for validation (VADILOC). “Experimental” tools play a part in conformity testing (STQ, Cerbere, Genepi). The interaction between conceptual and experimental tools is provided by a test sequence generator GAST which, starting from an automaton whose communication has been validated, provides sequences to be used by the test tools.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium

自引率

0.00%

发文量