|
|||||
|
|
| 基于区间必然集的测试用例生成方法 | |
| 引用本文： | 王雅文,宫云战,肖庆.基于区间必然集的测试用例生成方法[J].计算机辅助设计与图形学学报,2013,25(4). |
| 作者姓名： | 王雅文 宫云战 肖庆 |
| 作者单位： | 1. 北京邮电大学网络与交换技术国家重点实验室 北京 100876;中国科学院计算技术研究所计算机体系结构国家重点实验室 北京 100190 2. 北京邮电大学网络与交换技术国家重点实验室 北京 100876 3. 装甲兵工程学院信息工程系 北京 100072 |
| 基金项目： | 国家自然科学基金，国家"八六三"高技术研究发展计划，计算机体系结构国家重点实验室开放课题 |
| 摘 要： | 针对自动化单元测试中面向路径的测试用例生成问题,通过改进传统的基于符号执行的测试用例生成方法,提出“符号化区间”来表示和分析变量的静态取值范围,并给出简单表达式和逻辑表达式中“区间可能集”和“区间必然集”的计算方法.提出了面向路径的值区间分析算法,通过对给定路径进行前向数据流分析来计算各条边上的区间上下文环境以及各符号的必然取值区间,在路径出口处的符号值区间必然集中任意取值,可得到覆盖给定路径的测试用例.与基于约束求解的传统方法相比,文中方法省去了表达式变换及调用约束求解器的过程,对输入变量弱关联的情况能够快速、准确地生成测试用例. |
| 关 键 词： | 测试用例 面向路径 符号执行 上下文环境 区间必然集 |
A Method of Test Case Generation Based on Necessary Interval Set |
|
| Wang Yawen , Gong Yunzhan , Xiao Qing.A Method of Test Case Generation Based on Necessary Interval Set[J].Journal of Computer-Aided Design & Computer Graphics,2013,25(4). | |
| Authors: | Wang Yawen Gong Yunzhan Xiao Qing |
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |