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

摘要：

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

关键词：模型检验、测试用例生成、时态逻辑公式重写、测试包缩减

所属期刊栏目：23

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金60970007,61073050;上海市自然科学基金09ZR1412100;上海市科学技术委员会项目10510704900;上海市重点学科建设项目资助J50103

在线出版日期：2011-06-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：496-502