[1]李磊芳,徐宝文,陈振宇,等.一种新的布尔规格测试用例生成算法[J].东南大学学报(自然科学版),2010,40(2):291-295.[doi:10.3969/j.issn.1001-0505.2010.02.014]
 Li Leifang,Xu Baowen,Chen Zhenyu,et al.A novel approach of test case generation for Boolean specification[J].Journal of Southeast University (Natural Science Edition),2010,40(2):291-295.[doi:10.3969/j.issn.1001-0505.2010.02.014]
点击复制

一种新的布尔规格测试用例生成算法()
分享到:

《东南大学学报(自然科学版)》[ISSN:1001-0505/CN:32-1178/N]

卷:
40
期数:
2010年第2期
页码:
291-295
栏目:
计算机科学与工程
出版日期:
2010-03-20

文章信息/Info

Title:
A novel approach of test case generation for Boolean specification
作者:
李磊芳12 徐宝文23 陈振宇2 章晓芳24 董国伟12
1 东南大学计算机科学与工程学院,南京 210096; 2 南京大学计算机软件新技术国家重点实验室,南京 210093; 3 南京大学计算机科学与技术系,南京 210093; 4 苏州大学计算机科学与技术学院,苏州215006
Author(s):
Li Leifang12 Xu Baowen23 Chen Zhenyu2 Zhang Xiaofang24 Dong Guowei12
1 School of Computer Science and Engineering, Southeast University, Nanjing 210096, China
2 State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China
3 Department of Computer Sci
关键词:
软件测试 布尔规格测试 测试用例生成
Keywords:
software testing Boolean specification testing test case generation
分类号:
TP311
DOI:
10.3969/j.issn.1001-0505.2010.02.014
摘要:
为提高布尔规格测试用例生成的效率,对常用的循环赋值方法进行了改进,将检测条件转换为类似合取范式(CNF)的表达式并对各子表达式进行了循环赋值.针对布尔表达式中文字否定错误(LNF)及文字引用错误(LRF)等2种类型的变异,该方法从语法树中发生变异的叶结点处进行回溯,将检测条件分解成子表达式,并分别对各子表达式进行循环从而生成其可满足赋值,最后将上述赋值组合形成测试用例.实验数据显示:该方法有效地减少了测试用例生成时所需的循环赋值次数,且测试用例生成时间的缩减与循环次数的减少呈近似线性关系; 相对LNF,该方法对LRF时间的缩减更为明显.研究表明检测条件的分解循环能有效降低总循环次数,从而提高了测试用例的生成效率.
Abstract:
In order to raise the efficiency of test generation for Boolean specification testing, the traditional iterative assignment approach is improved by transforming test condition into an expression similar to conjunctive normal form(CNF). For a given literal negation fault(LNF)or literal reference fault(LRF)in Boolean expressions, this approach backtracks from the mutated leaf node in the parser tree, and test condition is decompounded into sub-expressions. After each sub-expression is assigned iteratively to obtain its satisfying assignments, the test case is generated by combining all these assignments. Experimental results show that the proposed approach reduces the iteration counts and time consumption. The reducing rates of iteration counts and consumed time have an approximately linear relationship. Especially, there is a more significant efficiency improvement for LRF than for LNF. The iteration of decompounded test condition can reduce the whole iteration counts, so the efficiency of test generation is improved.

参考文献/References:

[1] Chen Zhenyu,Xu Baowen,Nie Changhai.Comparing fault-based testing strategies of general Boolean specifications[C] //Proc of the 31st International Computer Software and Applications Conference. Beijing,China,2007:621-622.
[2] Morell L J.A theory of fault-based testing[J].IEEE Transactions on Software Engineering, 1990,16(8):844-857.
[3] Tai K C.Theory of fault-based predicate testing for computer programs[J].IEEE Transactions on Software Engineering, 1996,22(8):552-562.
[4] Weyuker E,Goradia T,Singh A.Automatically generating test data from a Boolean specification [J].IEEE Transactions on Software Engineering, 1994,20(5):353-363.
[5] Chen T Y,Lau M F,Yu Y T.MUMCUT:a fault-based strategy for testing Boolean specifications[C] //Proceedings of Asia-Pacific Software Engineering Conference. Takamatsu,Japan,1999:606-613.
[6] Chen Zhenyu,Chen T Y,Xu Baowen.A revisit of fault class hierarchies in general Boolean specifications [J].ACM Transactions on Software Engineering and Methodology.(to appear)
[7] 张健.逻辑公式的可满足判定——方法、工具及应用[M].北京:科学出版社,2000.
[8] Demillo R A,Lipton R J,Sayward F G.Hints on test data selection:help for the practicing programmer [J].IEEE Computer, 1978,11(4):34-41.
[9] Lau M F,Yu Y T.An extended fault class hierarchy for specification-based testing[J].ACM Transactions on Software Engineering and Methodology, 2005,14(3):247-276.

相似文献/References:

[1]梁陈良,聂长海,徐宝文,等.一种基于模型检验的类测试用例生成方法[J].东南大学学报(自然科学版),2007,37(5):776.[doi:10.3969/j.issn.1001-0505.2007.05.008]
 Liang Chenliang,Nie Changhai,Xu Baowen,et al.Using model checking to generate test cases for class testing[J].Journal of Southeast University (Natural Science Edition),2007,37(2):776.[doi:10.3969/j.issn.1001-0505.2007.05.008]
[2]聂长海,徐宝文,史亮.一种基于组合测试的软件故障诊断方法[J].东南大学学报(自然科学版),2003,33(6):681.[doi:10.3969/j.issn.1001-0505.2003.06.001]
 Nie Changhai,Xu Baowen,Shi Liang.Software fault diagnosis method based on combinatorial testing[J].Journal of Southeast University (Natural Science Edition),2003,33(2):681.[doi:10.3969/j.issn.1001-0505.2003.06.001]
[3]张德平,查日军.基于Markov链使用模型的加速统计测试方法[J].东南大学学报(自然科学版),2011,41(5):949.[doi:10.3969/j.issn.1001-0505.2011.05.011]
 Zhang Deping,Zha Rijun.Acceleration statistical testing method based on Markov chain usage model[J].Journal of Southeast University (Natural Science Edition),2011,41(2):949.[doi:10.3969/j.issn.1001-0505.2011.05.011]
[4]万晓民,张德平,聂长海,等.统计测试中操作剖面的一种优化设计方法[J].东南大学学报(自然科学版),2008,38(2):233.[doi:10.3969/j.issn.1001-0505.2008.02.010]
 Wan Xiaomin,Zhang Deping,Nie Changhai,et al.Optimizing design method of operational profile in statistical testing[J].Journal of Southeast University (Natural Science Edition),2008,38(2):233.[doi:10.3969/j.issn.1001-0505.2008.02.010]

备注/Memo

备注/Memo:
作者简介: 李磊芳(1985—),男,硕士生; 徐宝文(联系人),男,博士,教授,博士生导师,bwxu@nju.edu.cn.
基金项目: 国家自然科学基金资助项目(60803007,60633010,90818027)、国家高技术研究发展计划(863计划)资助项目(2009AA01Z147)、国家重点基础研究发展计划(973计划)资助项目(2009CB320703).
引文格式: 李磊芳,徐宝文,陈振宇,等.一种新的布尔规格测试用例生成算法[J].东南大学学报:自然科学版,2010,40(2):291-295. [doi:10.3969/j.issn.1001-0505.2010.02.014]
更新日期/Last Update: 2010-03-20