启发式学习自动化程序指令的可达性测试

摘要：

为了测试程序指令的可达性,需要搜索可触发包含该指令的控制流路径执行的测试用例.该问题可等价为路径约束满足问题的自动求解,求解结果即为验证指令可达的测试用例.为了提高自动求解的性能,在前向检测算法基础上改进设计了R_BinSearchFC算法,算法结合了边界测试数据选取和二叉树搜索技术,可有效提高对数据空间的搜索速度,并可扩展到在实数域空间的求解搜索.实验结果表明,采用了启发式学习的R_BinSearch算法可自动生成有效的测试用例,完成对指令的可达性测试.

关键词：自动化软件测试、约束满足问题、前向检测、启发式学习

所属期刊栏目：39

分类号：TP311(计算技术、计算机技术)

资助基金：四川省科技攻关项目05GG021;国家科技型中小企业技术创新基金06C26225101730

在线出版日期：2007-08-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：146-150