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

作者：王雅文; 宫云战; 肖庆

来源：计算机辅助设计与图形学学报, 2013, (04): 550-556+563.

• 测试用例
• 面向路径
• 符号执行
• 上下文环境
• 区间必然集 test case
• path oriented
• symbolic execution
• environment
• necessary interval set

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

• 单位
  网络与交换技术国家重点实验室; 中国人民解放军装甲兵工程学院; 中国科学院计算技术研究所; 计算机体系结构国家重点实验室; 北京邮电大学