| 优化基于模型检验的测试生成 |
| |
| 引用本文： | 曾红卫,缪淮扣.优化基于模型检验的测试生成[J].计算机辅助设计与图形学学报,2011,23(3). |
| |
| 作者姓名： | 曾红卫 缪淮扣 |
| |
| 作者单位： | 上海大学计算机工程与科学学院,上海,200072 |
| |
| 基金项目： | 国家自然科学基金，上海市自然科学基金，上海市科学技术委员会项目，上海市重点学科建设项目资助 |
| |
| 摘 要： | 利用模型检验器输出的反例构造测试用例是测试自动化的一种重要手段.由于一个测试用例可能覆盖多个测试目标,测试生成过程中可能存在不必要的对模型检验器的调用,测试包也往往存在大量冗余,严重影响测试性能.为此,提出一种测试生成的动态监控优化方法.在模型检验一个测试目标产生测试用例后,采用时态逻辑公式重写技术缩减测试目标集,删除那些被新测试用例覆盖的测试目标;同时,在新测试用例加入测试包时对其进行筛选,以消除冗余.实例结果表明,文中方法可有效地减少模型检验器的调用次数,缩减测试包.
|
| 关 键 词： | 模型检验 测试用例生成 时态逻辑公式重写 测试包缩减 |
Optimization of Model Checking-Based Test Generation |
| |
| Zeng Hongwei,Miao Huaikou.Optimization of Model Checking-Based Test Generation[J].Journal of Computer-Aided Design & Computer Graphics,2011,23(3). |
| |
| Authors: | Zeng Hongwei Miao Huaikou |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
