基于程序切片的可达路径选择的研究.pdfVIP

基于程序切片的可达路径选择的研究 王磊 马建红 樊世燕 周华 辛政华 (河北工业大学计算机科学与软件学院，天津300401) 摘 要：测试作为软件开发过程中的一个重要环节，是保证软件质量的重要保证。对白盒测试(结构测试) 和测试用例的生成来说，如何选择测试路径直接影响着测试的充分性和有效，L4_，以及测试用例的质量，单纯 地测试程序难以达到良好的效果，不能保证软件的质量。本文的主要是采用程序切片中静态切片技术并结合 最小谓词策略对程序进行可达路径的选择，并以一个实例进行了说明。 关键词：白盒测试；静态切片；可达路径 ofSelectFeasiblePathBasedOn Study PrOgramSlicing LeiMa Fan ZhouHuaXin Wang JianhongShiyan Zhenghua (Schoolof Scienceand of 300401，China) Computer Engineering，HebeiUniversityTechnology，Tianjin Abstract：Effectiveis to software．Howtoselectfeasible a testingimportantdevelophighquality pathsplaysgreat effectonthe and oftest thesoftwarewith theresultcouldnot methoG availabilitycase．Ⅱtesting simply adequacy our and the ofsoftware．Inthis ofstatic andthe satisfy goal guaranteequality paper，thetechnologyprogramslicing tacticoffewer areusedto feasible isaninstancetoshowthemethod． predicates selectingpaths．There Paths Keywords：White—boxTesting；StaticProgramSlicing；Feasible 1 前言 程序中存在的不可达路径问题给软件的结构测试造成了相当的复杂性。在测试前期，能够对其中的路径 问题进行分析，选择或排除部分的路径将有助于结构测试的效率的提高。在传统的做法中主要是针对不可达 路径的分析，主要的方法是静态方法和动态方法。而这两种方法在不同方面存在着些不足：静态方法针对性 差，分析过程复杂，大量无用信息干扰了分析结果；动态方法通过试探性方法选择路径，耗费资源和人力比 较大，并且可能排除掉值域狭窄的可达路径，直接影响测试的充分性。 随着研究问题的深入，提出了可达路径的研究，以一种积极的方式来考虑程序中实际存在的这种路径问 题。可达路径的分析和选择有着重要的作用和意义，在实际测试当中有着广泛的应用。对于可达路径的选择 能够直接在测试中使用，避免了由于不可达路径的存在造成的测试用例的耗费；对于定值一引用法来说，可 以避免出现在不可达路径上的定值一引用，提高控制和数据流的分析效率；选择可达路径进行测试，使要测 试程序的规模得到了削减，提高了测试的效率和充分性，有利于测试用例生成的自动化。 2路径选择中的程序切片 程序切片是由Weiser最早提出的，是指程序中语句和控制谓词组成的一个子集，这些语句和控制谓词 直接或间接影响在切片准则计算的变量的值。程序切片技术作为一种有效的软件测试辅