分支测试中测试路径用例的简化生成方法

《分支测试中测试路径用例的简化生成方法》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、万方数据计算机研究与发展J0urnaIof(、omput盯ResearchandI)evdopmentISSN1000—1239／CN11一1777／T1143(2)：321～328，2006分支测试中测试路径用例的简化生成方法毛澄映卢炎生(华中科技大学计算机科学与技术学院武汉430074)(m∞chy@yeahnet)ASimplifiedMethod1．orGeneratingTestPathCasesinBranchTestingMa0ChengyingandLuYansheng(o￡姆矿G啪础把r＆翻聪n柑h^n甜嘞7，‰旃。“窖Un￡谨巧妇。，＆i州∞口耐

2、1i曲Ho￡哪’，Ⅵ包^Ⅱ”430074Abstr们tStructunltestingisane“ectiveway∞teSteitherproceduraIprogramsorobject—or【entedprqgrams，andthebranchcoveragec“terIonhasbeenprovedtobethebestcost—effectiveoneofitsalIc“teria．ThroughdeepIyinvest培atingthepr。pertiesofD[Lgraphandanalyzingtheshoncomingsofthealgorithm

3、FTPS，anapproxi士natealg。rithm(calledF抽d—SemfUE)forsolvi“gthe!；etofunconstrainedarcsispresented，whichisslmple，qulckandverysuitableforthelarge—scaleprograms．Basedontheforward(backward)breadth(depth)spanningtrees，asimpI讯edafgo“thm(ca“ed(毛”Pm搪』电旃＆￡)forgeneratingpathcaseSwhichareexecutedinbr

4、anchtesti“g，谤aI{；0pmposed．ThisalgoⅢhmgainsadramaticimprovementnotonlyintimecomplexitybutalsoinspacecomplexity．Furthermore，theobtainedc。nclusionsarehelpfulfoffurtherresearchaboutDD—graph．Keywordsstructuraltesting；declsion—t。一decisiongraph(I)I)一graph)；dominant(impIied)reIation；unconstrai

5、nedarc；testpathcase摘要结构性测试是对过程式和面向对象程序都非常有效的测试方法，分支覆盖准则被实践证明是其中性价比最高的一种策略。通过深入研究DD图的性质并分析FTPs算法的不足，提出了一种简便、快捷和适合于大规模程序的非约束边集近似求解算法Rnd岛州iuE；还给出了基于正(逆)向广度(深度)生成树的分支测试路径用倒集的简化生成算法GPnPrd比—Pn趴＆￡，谊算法在时间和空间开销上较FTPs算法均有较大提高．此外，所证明的关于DD圈的结论也值得借鉴用于该图的更深一步研究．关键词结构性测试；DD图；支配(蕴含)关系；非约束边；测试路径用例中图法分类

6、号TP311．5l引言软件已经广泛应用于各行各业并发挥着重要作用，随之而来的可靠性问题则倍受人们关注．软件失效轻则给人们的工作、生活带来不便，重则涉及生命、财产安全以致造成重大损失．软件测试已被证明是软件质量保证与改进的重要手段，也是近10年收稿日期：200406—29；修回日期：200501_06来软件工程界研究的热点．结构性测试也称做白盒测试，是以程序源代码为基础，分析程序的控制流或数据流来发掘程序实现过程中潜留的缺陷．近年来随着面向对象等新型程序开发技术的涌现，虽然产生了基于规格说明、基于状态等黑盒(功能性)测试技术，但如同文献[1]中所展示的那样：某些输入引

7、发的程序内部错误并不能传播并反映到输出上，此时黑盒测试就无能为力．万方数据计算机研究与发展2006，43(2)无论是过程式的c，Pascal程序，还是面向对象的Java，C++等程序，结构性测试都是它们最基本而又有效的错误探测方式，对安全关键软件(safetycriticals。ftware)则显得更为必要“J．结构性测试分控制流和数据流两种测试方法_3J．作为控制流的3种覆盖准则141之一的分支测试技术是一种性价比最高的方法，被大多数软件开发商所采用”1⋯．目前，在分支测试上已经形成了诸如0—1规划、变异分析(mutationanaIysis)、表约简(tab