Coverage-guided test generation for continuous and hybrid systems
Coverage-guided test generation for continuous and hybrid systems
复制标题
连续和混合系统的覆盖引导测试生成
DOI：
10.1007/s10703-009-0066-0
复制
发表时间：
2009
影响因子：
0.8
通讯作者：
Tarik Nahhal
中科院分区：
文献类型：
--
作者：
T. Dang;Tarik Nahhal
在本文中，我们描述了一个形式化的框架，连续和混合系统的一致性测试，使用国际标准的“形式化方法在一致性测试”FMCT。我们提出了一种新的测试覆盖率测量这些系统，这是使用星星差异的概念定义。该覆盖率测量用于量化验证“完整性”。它还用于通过识别未充分检查的系统行为部分来指导输入刺激生成。然后，我们提出了一个测试生成方法，这是基于机器人运动规划算法，并指导覆盖措施。这种方法在一个原型工具中实现，可以处理高维系统（高达100维）。
In this paper, we describe a formal framework for conformance testing of continuous and hybrid systems, using the international standard ‘Formal Methods in Conformance Testing’ FMCT. We propose a novel test coverage measure for these systems, which is defined using the star discrepancy notion. This coverage measure is used to quantify the validation ‘completeness’. It is also used to guide input stimulus generation by identifying the portions of the system behaviors that are not adequately examined. We then propose a test generation method, which is based on a robotic motion planning algorithm and is guided by the coverage measure. This method was implemented in a prototype tool that can handle high dimensional systems (up to 100 dimensions).