面向状态图的类级测试方法研究.pdfVIP

计 算 机 与 现 代 化 2012年第 12期 JISUANJIYUXIANDAIHUA 总第 208期 文章编号：1006-2475(2012)12-0136-03 面向状态 图的类级测试方法研究 屈迟文 (百色学院数学与计算机信息工程系，广西 百色 533000) 摘要：面向对象软件是由类及其类之间的关联所实现，类测试是面向对象软件测试的关键。本文研究一种将包含层次和 并发结构的状态图转化为可扩展有限状态机(EFSM)并获得相应的测试生成树，由测试树产生软件测试数据的类级软件 测试方法。实验证明，该测试方法是有效可行的，在实践中能够取得较好的效果。 关键词：状态图；类级测试；EFSM 中图分类号：TP311 文献标识码：A doi：10．3969／j．issn．1006-2475．2012．12．035 ResearchonClass-levelTestMethodsforStateDiagram QuChi—wen (DepartmentofMathematicsComputerInformationEngineering，BaiseUniversity，Baise533000，China) Abstract：Object．orientedsoftwareiSimplementedbytheclassesandtheassociationbetweenitsclasses．ClasstestingiSthekey toobject—orientedsoftwaretesting．Thepaperstudiesamethodofclasslevelsoftwaretestingthathowthestatediagramcontaining hierarchyandconcurrentstructureiStransfomredintoextendedfinitestatemachinefEFSM)andobtainsthecorrespondingtest spanningtree，thenusesthetestspanningtreetoproducesoftwaretestingdata．Experimentsshowthatthetestmethodisfeasible andeffective，andbetterresultscouldbeachievedinpractice． Keywords：statediagram；classlevelsoftwaretesting；EFSM 0 UI 言 体的实例生成测试数据进行分析和探讨。 1 面向状态图的类测试 面向对象软件测试是面向对象软件开发方法中 不可缺少的一个基本环节。类级测试主要考虑封装 状态图描述了一个对象或一个交互在其对象整 在类中方法和属性的相互关联。类的实例具有各种 个生命周期时间内由于各种事件的发生而引起的状 不同的状态，对类进行测试时要把类的具体对象与其 态变迁过程。状态图由状态、转移和动作等几个基本 状态结合起来进行测试。 目前对类的测试内容分为 元素组成，每个状态 图有且仅有一个初始状态，它描 基于服务、状态和响应状态的测试 3个部分，其 中基 述一个对象的生命周期的开始，是转移的初始源；可 于服务的测试用来测试类中的每个方法；状态的测试 以有一个或多个终止状态，表示对象生命周期的结 考虑对象在其生命周期中各个状态下的情况；响应状 束。大多数面向对象技术都使用状态图来表示单个 态的测试以外界向对象发送特定的消息序列的方法 对象在其生命周期中