基于区间必然集的测试用例生成方法

摘要：

针对自动化单元测试中面向路径的测试用例生成问题,通过改进传统的基于符号执行的测试用例生成方法,提出“符号化区间”来表示和分析变量的静态取值范围,并给出简单表达式和逻辑表达式中“区间可能集”和“区间必然集”的计算方法.提出了面向路径的值区间分析算法,通过对给定路径进行前向数据流分析来计算各条边上的区间上下文环境以及各符号的必然取值区间,在路径出口处的符号值区间必然集中任意取值,可得到覆盖给定路径的测试用例.与基于约束求解的传统方法相比,文中方法省去了表达式变换及调用约束求解器的过程,对输入变量弱关联的情况能够快速、准确地生成测试用例.

关键词：测试用例、面向路径、符号执行、上下文环境、区间必然集

所属期刊栏目：25

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

资助基金：国家自然科学基金61202080;国家"八六三"高技术研究发展计划2012AA011201;计算机体系结构国家重点实验室开放课题CARCH201201

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

页数：共8页

页码：550-556,563