基于分支限界搜索框架的测试用例自动生成
本文主要工作集中于基于分支限界搜索框架的测试用例生成算法的研究.将面向路径的测试用例生成问题定义为约束满足问题,通过状态空间搜索建模,结合分支限界和爬山法进行约束求解.提出了基于变量级别的动态排序方法来连接分支限界与爬山法.变量的初始值依据启发式规则进行选取,并从这个初始值开始通过目标函数的计算来完成爬山过程.文中方法充分发挥了分支限界和爬山法的优势,实验验证该方法对于较复杂的被测程序可以很好地生成测试用例,在覆盖率上优于一些动、静态测试用例生成方法,可应用于实际工程的测试.
软件工程 测试用例 自动生成 分支限界 爬山法 约束求解
邢颖 宫云战 王雅文 张旭舟
北京邮电大学网络与交换技术国家重点实验室,北京100876;辽宁工程技术大学电子与信息工程学院,葫芦岛125105 北京邮电大学网络与交换技术国家重点实验室,北京100876 北京邮电大学网络与交换技术国家重点实验室,北京100876;中国科学院计算技术研究所计算机体系结构国家重点实验室,北京100190
国内会议
武汉
中文
52-66
2014-07-19（万方平台首次上网日期，不代表论文的发表时间）