| 测试用例自动生成中约束求解策略的选择 |
| |
| 引用本文： | 赖思佳,王雅文,宫云战. 测试用例自动生成中约束求解策略的选择[J]. 内蒙古大学学报(自然科学版), 2011, 42(5): 540-546 |
| |
| 作者姓名： | 赖思佳 王雅文 宫云战 |
| |
| 作者单位： | 北京邮电大学网络与交换技术国家重点实验室,北京,100876 |
| |
| 基金项目： | 国家自然科学基金项目(91018002) |
| |
| 摘 要： | 在软件测试中,构造测试用例是非常重要的一环.传统的测试用例生成方法都由测试人员手动完成,这种生成方式效率低下成本高昂,同时生成的测试用例非常有限,覆盖率较低.首先探讨了通过约束求解的方法,通过分析程序路径中所有的约束表达式,逆推得到测试用例的过程;然后调查了不同类型的C语言工程的待测源码的统计结果,同时针对其特征,引入了不同的约束求解算法策略;最后通过各种策略的组合与配置,给出了一种具有普遍性的测试用例自动生成的约束求解方法.
|
| 关 键 词： | 软件测试 测试用例 约束求解 覆盖测试 |
Constraint Programming Strategy Selection on Test Case Generation |
| |
| LAI Si-jia,WANG Ya-wen,GONG Yun-zhan. Constraint Programming Strategy Selection on Test Case Generation[J]. Acta Scientiarum Naturalium Universitatis Neimongol, 2011, 42(5): 540-546 |
| |
| Authors: | LAI Si-jia WANG Ya-wen GONG Yun-zhan |
| |
| Affiliation: | LAI Si-jia,WANG Ya-wen,GONG Yun-zhan(State Key Laboratory of Networking and Switching Technology,Beijing University of Posts and Telecommunication,Beijing 100876,China) |
| |
| Abstract: | Test case generation is an important process in software testing.The traditional work to generate a group of test cases is all done by manpower.However,the traditional method can only get few test cases and reach very low coverage,but costs a lot of time and resources.A method to generate test cases through constraint programming is put forward.All constraint expressions in one path of a program is analyzed,then test cases from constraint expressions are generated through several mathematic algorithms.Some ... |
| |
| Keywords: | software testing test case constraint programming coverage testing |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
