四川省重点科技攻关项目(05GG021)
- 作品数：2 被引量：16H指数：1
- 相关作者：李勇军金虎李志蜀李宝林张磊更多>>
- 相关机构：四川大学更多>>
- 发文基金：四川省重点科技攻关项目国家科技型中小企业技术创新基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于面向路径的遗传算法的测试用例自动生成被引量：16
- 2007年
- 采用遗传算法用于自动生成测试用例的设计,算法面向路径测试作了下列工作:(1)以控制路径表CFDPATH_T为基础分析测试用例与执行路径的关系;(2)设计面向路径的遗传算法实现测试用例的自动生成,证明了该方法能实现测试用例空间上对路径的等价类划分;(3)从统计角度对该方法的错误检测能力进行了量化分析;(4)在该算法的基础上设计了试验和结果分析,结果表示该算法较随机方法有更好的性能。
- 金虎李志蜀张磊李宝林李勇军
- 关键词：遗传算法自适应测试用例
- 启发式学习自动化程序指令的可达性测试
- 2007年
- 为了测试程序指令的可达性,需要搜索可触发包含该指令的控制流路径执行的测试用例。该问题可等价为路径约束满足问题的自动求解,求解结果即为验证指令可达的测试用例。为了提高自动求解的性能,在前向检测算法基础上改进设计了R_BinSearchFC算法,算法结合了边界测试数据选取和二叉树搜索技术,可有效提高对数据空间的搜索速度,并可扩展到在实数域空间的求解搜索。实验结果表明,采用了启发式学习的R_BinSearch算法可自动生成有效的测试用例,完成对指令的可达性测试。
- 金虎李志蜀陈良银李勇军李斌孙继荣
- 关键词：自动化软件测试约束满足问题
