基于对象状态的面向对象软件测试方法研究.docVIP

基于对象状态的面向对象软件测试方法研究 　　摘要：主要介绍了面向对象软件的类测试技术。从基于对象状态方面分析UML状态图的组成、并发的优点，描述继承的对象动态行为、并发的动态行为，给出利用UML状态图构造复合状态测试树算法并产生测试用例的面向对象软件测试方法。 　　关键词：UML；测试用例；类测试；面向对象；状态图 　　中图分类号：TP311文献标识码：A文章编号：1009-3044(2008)35-2169-02 　　The Software Testing Methods of Object State Based on Statechart 　　LIU Jia, YIN Zhi-ben 　　(School of Information Science and Technology, South West Jiao Tong University, Chengdu 610031 China) 　　Abstract: Introduces the class testing of object-oriented software. An example is cited to account for an object-oriented software testing method based on UML, which constructs testing use-case according the state that the objects are being and the transfer among object states. 　　Key words: UML; test case; class testing; object-oriented; statechart 　　 　　1 引言 　　 　　面向对象软件测试的主要目标与传统软件测试目标相同，既是用最小的工作量发现最多的错误。由于面向对象所独有的多态、继承、封装等新的特点，使面向对象测试的策略和技术与传统测试有所不同，测试的视角扩大到包括复审分析和设计模型，测试焦点从模块转向类。类是构成面向对象程序的基本成分，类的测试无疑成为面向对象 测试的重要环节。基于对象状态的测试是根据被测试的类的对象所处的状态以及状态之间的转移来构造测试用例，它侧重于对象的动态行为，这种动态行为依赖于对象状态。测试对象动态行为能检测出对象成员函数之间通过对象状态进行交互式产生的错误。 　　 　　2 基于对象状态的测试方法的发展 　　 　　现在面向对象测试中基于对象状态的测试方法一般是采用扁平状态机和状态迁移图。扁平状态机能很好的提示出一些类中的错误，但是随着类的状态属性的增加，对象状态的数目会迅速膨胀，大大增加测试的复杂度。状态转移图用于刻画对象响应各种事件时状态发生转移的情况，容易借助于自动机理论来选择测试时所用的时间序列和预测对象的状态变化结果序列，但是，它难于描述继承的对象动态行为、并发的动态行为以及由数据成员和成员函数构成的对象状态和对象状态转移。基于UML的状态图可以很好的描述对象动态行为、并发的动态行为，可以把状态的复杂度控制在和状态属性相关的线性级别，下面我们主要介绍利用UML状态图如何描述对象动态行为、并发的动态行为，以及如何产生测试用例。 　　 　　3 UML状态图 　　 　　UML状态图（State Diagram）是UML中对系统的动态行为进行建模的表示方法，它包括对反应型对象的行为建模。它展现了对象生命周期内可能处于的状态以及在这些状态间转换的激发条件。UML状态图中引起状态迁移的原因通常有两种，一种是在状态图中相应的迁移上未指明事件，这表示当位于迁移箭头源头的状态中的内部动作全部执行完后，该状态迁移被自动触发；另一种是，当出现某一事件时会引起状态的迁移，在状态图中把这种一起状态迁移的事件标在改前一的箭头上，如图1。 　　 　　图1 状态装换 　　状态迁移的形式化语法为： 　　event_signsture[guard_condition]/action_expression^send_clause 　　其中事件特征event_signsture是由事件名后括号括起来的参数表组成，它指出触发迁移的事件以及与该事件相连接的附加数据。guard_condition警戒条件是一个布尔表达式，如果状态迁移中既有事件又有警戒条件，则表示仅当这个事件发生并且警戒条件为真时，触发状态迁移。动作表达式action_expression是一个触发状态迁移时可执行的过程表达式，表达式中可引用该状态所拥有的对象中的属性、操作或事件特征中的参数。发送子句send_clause是动作的一种特殊情况，用来说明在两个状态的迁移期间发送