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

• 作者: 徐宝文 李磊芳 章晓芳 董国伟 陈振宇
• 来源期刊: 东南大学学报（自然科学版）
• 学科: 工学
• 关键词: 软件测试 布尔规格测试 测试用例生成
• 年，卷（期）: 2010,（2）
• 页码范围: 291-295
• 分类号: TP311
• 字数: 5331字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0505.2010.02.014

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐宝文	南京大学计算机软件新技术国家重点实验室	40	414	12.0	19.0
5	章晓芳	南京大学计算机软件新技术国家重点实验室	11	33	3.0	5.0
7	陈振宇	南京大学计算机软件新技术国家重点实验室	4	6	1.0	2.0
10	董国伟	东南大学计算机科学与工程学院	4	70	4.0	4.0
12	李磊芳	东南大学计算机科学与工程学院	1	5	1.0	1.0