基于全局支配图算法的覆盖测试方法.pdfVIP

第36卷 第19期 计 算 机 工 程 2010年 10月 VoL36 No．19 ComputerEngineering October 2010 · 软件技术与赘据【库 · 文章编号：100o__3428(2ol0)19—007o--02 文献标识码：A 中圈分类号：TP311 基于全局支配图算法的覆盖测试方法 千炳鬣，谷青范 (南京航空航天大学信息科学与技术学院，南京 210016) 摘 要：目前的覆盖测试存在着大量的冗余测试用例，严重影响测试的效率。基于此，介绍一种基于全局支配图算法的覆盖测试工具，通 过在局部支配图中加入辅助循环树算法及寻找临近节点，提出一种全局支配图改进算法，利用该算法能够计算出覆盖源程序的最小测试用 例集。实验结果表明，该算法能够减少覆盖分析时间，生成较少的测试用例和达到较高的覆盖率。 关健词：覆盖测试；全局支配图算法；测试用例；程序流图；代码插装 CoverageTestM ethodBasedOHGlobalDominationGraphAlgorithm YUBing-xia，GUQing—fan (CollegeofInformationScienceandTechnology,NanjingUniversityofAeronauticsandAstronautics，Nanjing210016，China) [AbstractINow manyredundanttestcasesoccurincoveragetest．Thispaperintroducesanimprovedcoveragetesttoolbasedonglobal dominationgraphalgorithm，thealgorithm isanimprovedalgorithm throughaddingtheannotatedloopingtreeandfindmgnearestcommonnode．It cancomputetheminimum testcasesetwhichcoversthesourcecode．Experimentalresultshowsthatthealgorithm candecreasetheanalysistimeof coverageresultfile，generatesmalltestcase，na dachieveshighcoveragerate． [Keywordslcoveragetest；globaldominationgraphalgorihtm；testcase；programflowgraph；codeinstrumenattion 1 概述 都被测试用例调用到且程序正常终止。如果一个超块sj的执 覆盖测试应用最广泛的是支配图算法，最早的支配关系 行能导致另一个超块 si的执行，但 si不是 sj的一个子程序， 公式于 l959年由Prosser提出。而后，Lowff和Medlock提 那么称 sj能够支配 si。 出了关于计算支配关系的算法。Allen在 1970年提供了一种 超块之问的支配关系可以用有向图来表示，超块 si支配 数据流的解决方案，而最有名的关于支配关系的算法是由文 sj，当且仅当si是 Sj的祖先节点。如果能找到一个测试子集 献[1】提出的，文献2【1发展了这种算法。 使得一个超块支配图的所有叶子节点被执行，那么就能确定 在 目前的市场上，用的较多的工具有 Numega的 True 所有超块可以被执行，进一步程序的所有基本块也可以被 Coverage、Rational的 PureCoverageTeleLogic公司的 Logi 执行。 Scope以及Macabe公司的Macabe，这些工具都是收费工具， 2．2 全局支配图改进算法 而且在测试后的报告调用关系复杂 ，从而加大了覆盖分析的