一种基于分支覆盖的测试数据自动生成算法
(0) 本文通过构造新的程序流图,利用Fibonacci法优化选取路径,为指定的分支生成测试数据.提出了路径测试数据生成代价的概念,并给出了代价的计算方法.当所选路径的分支谓词均为线性表达式时,直接求解线性约束集即可生成测试数据,或判定路径不可行;当分支谓词含有非线性表达式时,利用均差近似导数将非线性函数线性化,通过简单的迭代,亦能容易生成测试数据或判定路径在很大程度上不可行.若所选路径不可行或在很大程度上不可行,则选取新的路径,重复以上过程,直至求出所期望的数据,或无新的路径被选取,给定分支不可达.实例和实验表明,算法可行、有效.
测试数据 自动生成 分支覆盖
陈继锋 朱利 沈钧毅 王志海
西安交通大学计算机软件研究所,西安,710049 西安交通大学软件学院,西安,710049
国内会议
西安
中文
301-309
2006-09-26（万方平台首次上网日期，不代表论文的发表时间）