一种基于分支覆盖测试数据自动生成算法_陈继锋.pdfVIP

计算机科学 2006Vol33 № 12 　 一种基于分支覆盖的测试数据 自动生成算法 ) 1 2 1 1 陈继锋 　朱 　利 　沈钧毅 　王志海 ( 1 2 ) 西安交通大学计算机软件研究所 软件学院 　西安 7 10049 　 摘 　要 　通过构造新的程序流图 ,利用 Fibonacci 法优化选取路径 ,为指定的分支生成测试数据 。提出了路径测试数 据生成代价的概念 ,并给出了代价的计算方法 。当所选路径的分支谓词均为线性表达式时 ,直接求解线性约束集即可 生成测试数据 ,或判定路径不可行 ;当分支谓词含有非线性表达式时 ,利用均差近似导数将非线性函数线性化 ,通过简 单的迭代 ,亦能容易生成测试数据或判定路径在很大程度上不可行 。若所选路径不可行或在很大程度上不可行 ,则选 取新的路径 ,重复以上过程 ,直至求出所期望的数据 ,或无新的路径被选取 ,给定分支不可达 。实例和实验表明 ,算法 可行 、有效 。 关键词 　分支覆盖 ,谓词函数 ,线性算术表示 　 Automatic Test Data Generation Algorithm on Branch Coverage C H EN J iFeng1 　ZHU Li2 　SH EN J unYi1 　WAN G ZhiHai1 ( In stit ut e of Comp ut er Soft ware 1 , School of Soft ware2 , Xi ’an Jiaotong U niver sit y , Xi ’an 7 10049) 　 Abstract 　In or der to generat e t est dat a for a given branch , a new p rogram flow grap h i s con st ruct ed , and Fibonacci met hod i s u sed to op timize t he p at h selection . The concep tion and calculation to p at hba sed t est dat a generation com plexit y i s p resent ed . If all branch p redicat es on t he select ed p at h are linear exp ression , t he linear con st rain set i s con st ruct ed and solved to generat e t est dat a , ot herwi se t he p at h can be det ermined infea sible . El se , t he derivatives of a p redicat e function i s app ro ximat ed by it s divided difference , and t he nonlinear function i s linearized . The t est dat a can al so be generat ed by simple it eration or t he p at h i s det ermined as likely infeasible . If t he select ed p at h i s infea sible or likely infea sib