• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IFIP TC6/WG 6.1 International Conference on Testing of Communicating Systems(TestCom 2005); 20050531-0602; Montreal(CA) >Passive Testing - A Constrained Invariant Checking Approach
【24h】

Passive Testing - A Constrained Invariant Checking Approach

机译：被动测试-一种约束不变的检查方法

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

摘要

Passive testing of a network protocol is the process of detecting faults in the protocol implementation by passively observing its input/output behaviors (execution trace) without interrupting the normal network operations. In observing the trace, we can focus on the most expected relevant properties of the protocol specification by defining some invariants on the specification and checking them on the trace. While intuitive extraction of the invariants from the protocol requirements with respect to the control portion of the protocol system is relatively simple, taking the data portion into account is difficult. In this paper we propose algorithms for checking the correctness of given invariants on the specification and extracting the required constraints on the variables (data portion). Once we generate the constraints for a given invariant, we can check if the execution trace is confirmed by the specification with respect to the invariant and its constraints. We show the applicability of the algorithm on a case study: the simple connection protocol (SCP).
机译：网络协议的被动测试是通过在不中断正常网络操作的情况下被动观察其输入/输出行为（执行跟踪）来检测协议实现中的故障的过程。在观察跟踪时，我们可以通过在规范上定义一些不变量并在跟踪上检查它们来关注协议规范最预期的相关属性。尽管相对于协议系统的控制部分从协议要求中直观地提取不变量是相对简单的，但考虑数据部分却很困难。在本文中，我们提出了用于检查规范中给定不变性的正确性并提取变量（数据部分）所需约束的算法。一旦我们为给定的不变式生成了约束，就可以检查规范是否就不变式及其约束确认了执行跟踪。我们在一个案例研究中显示该算法的适用性：简单连接协议（SCP）。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号