• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols >Some operational tools in a OSI protocols study environment
【24h】

Some operational tools in a OSI protocols study environment

机译：OSI协议研究环境中的一些操作工具

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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.
机译：

本文基于RHIN项目方法论和该项目产生的工具，研究了协议开发链（规范，验证，一致性测试）的策略。此方法基于带有谓词的有限状态机，并包括用于规范（PDIL）和验证（VADILOC）的“概念”工具。 “实验”工具在一致性测试（STQ，Cerbere，Genepi）中发挥作用。测试序列生成器GAST提供了概念工具与实验工具之间的交互作用，该序列从已验证其通信的自动机开始，提供了供测试工具使用的序列。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号