多核计算机上并行生成类测试用例.pdfVIP

第36卷 第 19期 计 算 机 工 程 2010年 l0月 VoL36 No．19 ComputerEngineering October 2010 · 软件技术与数据库 · 文章编号：100一3428(2010)l争__009m__03 文献标识码：A 中图分类号：TP311 多核计算机上并行生成类测试用例 ‘ 吴惜华，钟 诚，葵英红，唐金辉 (广西大学计算机与电子信息学院，南宁 530004) 摘 要：通过类的数据流分析计算出实例变量的 “定义．使用”对信息以及成员函数的前置和后置条件，利用类的继承多态性对被测试类进 行预处理。在JPF中设置搜索环境，将测试用例生成问题简化成模型检测中寻找反侧的问题，提出 ·种在多核计算机上实现的线程级并行 生成类测试用例的方法。实验结果表明，该方法可以减少测试生成所需的状态数和运行时间，算法可使用的处理核心越多、测试生成所需 的时间越少。 关健词：类测试；用例生成；多线程；多核计算机；并行处理 GeneratingClassTestCaseinParallel0nM ulti-coreComputers W UXi—hua，ZHONG Cheng，MO Ying-hong，TANG Jin—hui (SchoolofComputer,ElectronicsandInformation，GuangxiUniversity,Nanning530004，China) [Abstract|Thedefinition—usepairforeachinstancevariableandthepostconditionsandpreconditionsofreachmemberfunctionarecompu~dby theclassdaat flow analysis．Theclasstobetestedispreprocessedbytheinheritanceandhtepolymorphism oftheclass．Thesearchenvironmentof JavaPathFinder(JPF)isconfigured，andtheproblemofgeneratingtestcaseistransfomredintotheoneoffindingthecounterexampleinmodel check．Amethodtogeneratehteclasstestcaseinparallelwithmulti—threadingispresentedonmulti—corecomputers．Experimentalresultsshow that thealgorithm canremarkablyreducetherequiredstatesandruntimeofthetestcasegeneration，andspendsthelesstimewithmoreprocessnigCOreS used． [Keywordslclasstest；casegeneration；multi—thread；multi—corecomputer；parallelprocessing 1 概述 ， 得 SPIN 能在多核系统中进行模型检测，同时仍保留原有的 类测试是面向对象软件测试的重要环节之一。对类进行 安全性验证和活性验证模式以及优化技术。 测试的技术主要是数据流分析方法。文献 【1]提出一种将数据 2．2 并行 试技术 流分析、符号执行和 自动推理相结合的类 自动测试框架。文 并行测试技术L6是指 自动测试系统同时完成多项测试任 献[21提出一种基于Java，PathFinder(JPF)的类数据流溯试生成 务，包括完成多个被测试单元的测试，在单个被测试单元上 方法，但此方法仍然可能存在状态空间爆炸问题。文献 3【]运