一种覆盖测试中路径集的自动生成方法.pdf

《一种覆盖测试中路径集的自动生成方法.pdf》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、ISSN1009-3044E—maihxsjI@dnzs．net．CBComputerKnowledgeandTechnology电脑知识与技术http：／／www．dnzs．net．cnVo1．10，No．25，September2014Te1：+86-55l一6569096365690964一种覆盖测试中路径集的自动生成方法詹泽梅f长江大学计算机科学学院，湖北荆州434023)摘要：覆盖测试是软件测试中的重要方法，路径覆盖测试中路径集的自动生成能提高测试效率。该文提出了一种描述程序分支情况的分支关系图，给出了基于分支

2、关系图的路径集自动生成算法，实验证明了该方法的正确性，能有效地求出程序路径集。关键词：路径集；分支关系图；软件测试中图分类号：TP311文献标识码：A文章编号：1009—3044(2014)25—5898—04AnMethodofAutomaticGenerationforPathsSetinSoftwareCoverageTestingZHANZe-mei(ComputerScienceCoUege，YangtzeUniversity，Jingzhou434023，China)Abstract：Coveragetest

3、ingisaimportantmethodforsoftwaretesting．Automaticgenerationforpathssetcanenhancetestingef-ficiency．Agraphofbranchrelationisproposedfordepictingbranchesintheprogram．Thepapergivesanalgorithmforfindingoutpathsset，whichcanworkeflficiently．Thecorrectnessofthealgorithm

4、isverifiedonaexample．Keywords：pathsset；thegraphofbranchrelation；softwaretesting软件测试是软件工程理论中非常重要的一个方面，是提高软件产品质量和可靠性的关键。软件测试可以分为功能测试和结构测试两大类。其中结构测试又称为白盒测试，是基于程序结构特征，以实现某种测试覆盖为目的一种测试方法。路径覆盖就是一种针对结构测试的常用充分性准则n，该方法可以有效地检测程序中的错误。基于路径覆盖的测试是设计足够的测试数据，覆盖程序中所有可能的路径。目前设计测试用

5、例基本上是预先确定路径，针对路径设计对应的测试用例，所以路径集的确定对于路径覆盖测试非常重要。如果完全靠人工确定路径集会花费很大精力，因此应该借助于自动化的方法。路径集就是指程序中所有可能的路径的集合。路径集中没有两条完全相同的路径。由于程序中存在分支语句、循环语句，程序中的路径的数目会非常大，因此，在有限的测试资源下进行路径覆盖测试，我们只考虑循环的两种可能：循环体未执行和循环体至少执行一次。目前已有的路径集生成方法有：采用遗传算法进行路径生成的方法和A．Bertolino利用简化的控制流图来确定程序路径。这些方法为生

6、成程序的路径提供了帮助，但不能保证生成的完整的路径集。该文提出一种基于分支关系图的路径集生成方法，生成完整的路径集。1程序路径的表示本质上，程序的执行表现为一系列判定条件取值的组合。例如程序1判断三角形形状的代码如下。1main()2{inta,b，c；3scanf(“％d％d％d”，&a，＆b，＆c)；4if((a+b>c)＆&(b+c>a)＆＆(a+c>b))5{if((a!=b)＆&(b!=c)＆＆(ca))6prinf(”这是一个普通三角形”)；7else8if(((a==b)&＆(b!=c))lI((b==c)

7、&&(c!=a))lI((c==a)&&(a!=b)))9prinf(”这是一个等腰三角形”)；10else11prinf(”这是一个等边三角形”)；}1收稿日期：2014—08-01本栏目责任编辑：谢媛媛第1O卷第25期(2014年9月)ComputerKnowledgeandTechnology电脑知识与技术l2else13prinf(”这不是一个三角形”)；}该程序总共有四条可执行路径，路径1：l23412l3，路经2：123456，路经3：12345789，路经4：12345781011。程序中的判定条件有3个，

8、判定条件1：(a+b>c)＆＆(b+c>a)＆＆(a+c>b)，判定条件2：(a!：b)＆＆(bf_c)＆&(c!=a)，判定条件3：((a：：b)＆&(b!=c))Il((b==c)&&(cf_a))lI((c==a)＆&(ab))。四条执行路经可用判定条件组合值来表示。由于判定条件可能被执行到，也可能未被执行到，