• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Formal description techniques IX : Theory, application and tools >Validation-based test sequence generation for networks of extended finite state machines
【24h】

Validation-based test sequence generation for networks of extended finite state machines

机译：扩展有限状态机网络的基于验证的测试序列生成

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

摘要

We describe a method for the automatic generation of test sequences that has been implemented as part of the Virtual Finite State Machine (VFSM) toolset. VFSM has been used extensively in software development for the Lucent Technologies 5ESS~(circle R) switching system. The method produces a set of sequences of messages which, when provided as input to a VFSM, result in nearly complete code coverage. The method relies on information collected by the VFSM validation tool, which uses Holzmann's supertrace algorithm to explore execution scenarios of a network of VFSMs and search for errors such as deadlock and unexpected inputs. We have applied our method for the generation of test sequences to a VFSM implementation of the ETSI Intelligent Network Application Protocol(INAP). Because of the large size of INAP, we were unable to validate it completely due to state explosion arising from the exhaustive search that the VFSM validator performs. We therefore devised a novel partial validation technique that attempts to generate a subset of the state space of a network of VFSMs and derives test sequences that maximize the code coverage and minimize the number of tests. In this paper, we present an overview of our test-sequence-generation method and its application to the VFSM implementation of INAP.
机译：我们描述了一种自动生成测试序列的方法，该方法已作为虚拟有限状态机（VFSM）工具集的一部分实现。 VFSM已广泛用于Lucent Technologies 5ESS〜（R圈）交换系统的软件开发中。该方法产生一组消息序列，当将其作为VFSM的输入提供时，将导致几乎完整的代码覆盖。该方法依赖于VFSM验证工具收集的信息，该工具使用Holzmann的supertrace算法探索VFSM网络的执行方案，并搜索诸如死锁和意外输入之类的错误。我们已经将用于生成测试序列的方法应用于ETSI智能网络应用协议（INAP）的VFSM实现。由于INAP的大小很大，由于VFSM验证程序执行的详尽搜索导致状态爆炸，因此我们无法完全对其进行验证。因此，我们设计了一种新颖的部分验证技术，该技术试图生成VFSM网络状态空间的子集，并得出最大化代码覆盖率和最小化测试次数的测试序列。在本文中，我们概述了测试序列生成方法及其在INAP的VFSM实现中的应用。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号