基于UML状态图的类测试技术.pdfVIP

第 36卷 第2期 计 算 机 工 程 2010年 1月 Vo1．36 No．2 ComputerEngineering January2010 · 软件技术与数据库 · 文章编号t1000~3428(2010)02--0081--02 文献标识码：A 中田分类号lTP311 基于UML状态图的类测试技术 周清雷，张文宁，赵东明，李喜艳 (郑州大学信息工程学院，郑州 450001) 摘 要：针对基于状态的类测试技术缺陷检测率较低的问题，提出一种使用等价类划分和边界值分析等功能性测试方法构建UML状态图 的方法，描述基于w 方法的测试序列生成策略，使用Mujava变异工具对方法的有效性进行检测。实验结果表明，该测试策略具有较高的 缺陷检测率。 关健诃：类测试；UML状态图；测试序列；变异测试 ClassTestTechnologyBasedonUMLStateChart ZHOUQing-lei，ZHANGWen·ning，ZHAODong-ming，LIXi-yan (InformationEngineeringCollege，ZhengzhouUniversity，Zhengzhou450001) [Abstract]Forsolvingthelowdefectdetectionrateoftraditionalclasstesttechnologybasedonstate，htestateconstructionapproachbasde on functionaltestmehtods，suchasequivalencepartitioningandboundaryna alysisisgiven．ThestrategyofusingW mehtodtogeneratetestsqe uences isdescribed．ExperimentalresultbasedonMujavashowshtathteclassteststrategyhaseffectivedefectdetectionrate． [Keywordslclasstest；UMLstatechart；testsequence；mutationtest 1 概述 自20世纪8O年代以来，学者们对面向对象技术进行了 大量研究并取得 了重大成果，如 CoadYourdon，OMT, OOAD，OOSE，并在需求、设计、编码阶段有广泛的应用。 pop[1=1] pop[1-k 但面向对象技术的封装性、多态性、继承性、复用程度高等 图1棱的UML状态圈 特征在测试活动中的应用有待进一步研究。 3 W 方法 面向对象的测试模型可分为方法级、类级、类簇级、系 在基于状态生成测试序列方法的研究中，最具影响力且 统级 4个级别，对应于传统测试的单元测试、集成测试、系 使用范围最广的是w方法 J。如果将w方法应用于类的UML 统测试。目前关于类测试技术的研究重点是规约测试，包括 状态图，可用类属性及其取值表示状态，用类方法表示状态 面向object—Z和面向UML2个方向I。文献2【】给出了round 的转换。为简单起见，可以将输入数据生成问题转化为求取 trip的实验结果：将 roundtrip测试策略和基于类别的分类策 类中不同方法调用顺序问题。对于示例中的有限栈类，应用 略相结合 ，可 以发现更多的缺 陷。文献 3【】提 出的基于 w 方法生成的测试序列如下： Stream—X模型的测试策略能够发现类中的全部缺陷。 (1)构造状态覆盖序列P=SuX。8到达栈空状态 (，_0)，push