| 约束条件下基于区间组合的测试用例生成 |
| |
| 引用本文： | 杨健,张焕国.约束条件下基于区间组合的测试用例生成[J].武汉大学学报(理学版),2013,59(5):458-464. |
| |
| 作者姓名： | 杨健 张焕国 |
| |
| 作者单位： | 1. 武汉大学计算机学院,湖北武汉430072;中南民族大学管理学院,湖北武汉430074
2. 武汉大学计算机学院,湖北武汉430072;武汉大学软件工程国家重点实验室,湖北武汉430072;空天信息安全与可信计算教育部重点实验室,湖北武汉430072 |
| |
| 摘 要： | 本文构建了一个基于区间集的组合覆盖测试模型并提出了一个基于区间组合的测试用例生成算法(TCGIC).TCGIC算法用符号执行方法收集程序路径的约束条件,寻找相互关联的输入参数;借鉴组合覆盖测试的方法,构建解区间组合树,并选用深度优先策略或其他组合覆盖策略,获得输入参数的区间组合的集合;运用区间运算的方法,把每一个区间组合代入到程序路径的约束条件中,判断区间组合上程序路径的可达性;选用相应的用例生成策略,在路径可达的区间组合上生成测试用例.
|
| 关 键 词： | 测试用例生成 区间集 区间组合 组合覆盖 约束求解 区间运算 |
Test Case Generation Based on Interval Combination with Constraint |
| |
| YANG Jian;ZHANG Huanguo.Test Case Generation Based on Interval Combination with Constraint[J].JOurnal of Wuhan University:Natural Science Edition,2013,59(5):458-464. |
| |
| Authors: | YANG Jian;ZHANG Huanguo |
| |
| Institution: | YANG Jian;ZHANG Huanguo;School of Computer,Wuhan University;Management Department,South-Central University for Nationalities;State Key Laboratory of Software Engineering,Wuhan University;Key Laboratory of Aerospace Information Security and Trust Computing of Ministry of Education; |
| |
| Abstract: | |
| |
| Keywords: | test case generation interval set interval combination combinatorial coverage constraints solving interval computation |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
