优化基于模型检验的测试生成

• 作者: 曾红卫 缪淮扣
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 模型检验 测试用例生成 时态逻辑公式重写 测试包缩减
• 年，卷（期）: 2011,（3）
• 所属期刊栏目: VLSI设计与测试及电子设计自动化
• 页码范围: 496-502
• 分类号: TP311.5
• 字数: 6820字
• 语种: 中文

摘要

利用模型检验器输出的反例构造测试用例是测试自动化的一种重要手段.由于一个测试用例可能覆盖多个测试目标,测试生成过程中可能存在不必要的对模型检验器的调用,测试包也往往存在大量冗余,严重影响测试性能.为此,提出一种测试生成的动态监控优化方法.在模型检验一个测试目标产生测试用例后,采用时态逻辑公式重写技术缩减测试目标集,删除那些被新测试用例覆盖的测试目标;同时,在新测试用例加入测试包时对其进行筛选,以消除冗余.实例结果表明,文中方法可有效地减少模型检验器的调用次数,缩减测试包.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	缪淮扣	上海大学计算机工程与科学学院	100	1030	16.0	26.0
2	曾红卫	上海大学计算机工程与科学学院	31	341	11.0	17.0