一种新的布尔规格测试用例生成算法

摘要：

为提高布尔规格测试用例生成的效率,对常用的循环赋值方法进行了改进,将检测条件转换为类似合取范式(CNF)的表达式并对各子表达式进行了循环赋值.针对布尔表达式中文字否定错误(LNF)及文字引用错误(LRF)等2种类型的变异,该方法从语法树中发生变异的叶结点处进行回溯,将检测条件分解成子表达式,并分别对各子表达式进行循环从而生成其可满足赋值,最后将上述赋值组合形成测试用例.实验数据显示:该方法有效地减少了测试用例生成时所需的循环赋值次数,且测试用例生成时间的缩减与循环次数的减少呈近似线性关系;相对LNF,该方法对LRF时间的缩减更为明显.研究表明检测条件的分解循环能有效降低总循环次数,从而提高了测试用例的生成效率.

关键词：软件测试、布尔规格测试、测试用例生成

所属期刊栏目：40

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

资助基金：国家自然科学基金资助项目60803007,60633010,90818027;国家高技术研究发展计划863计划资助项目2009AA01Z147;国家重点基础研究发展计划973计划资助项目2009CB320703

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

页数：共5页

页码：291-295