手机知网 App
24小时专家级知识服务
打 开
手机知网|搜索

一种基于UML状态图的类级测试技术的研究与实现

张庆

  面向对象技术的广泛应用, 使得有关面向对象测试的研究也越来越受到重视。面向对象软件系统的测试可划分为四级:方法级、类级、簇级和系统级测试。方法级和系统级的测试方法与传统过程式程序的测试方法类似,而类级和簇级的测试则面临新的问题。类是数据和数据操作的集合。对一个类来说对代码的完全覆盖并不能达到满足测试的要求。UMI 是一种功能强大和复杂的建模语言,它提出了一些建模机制和一系列的可视化图形以帮助我们开发和管理系统。UML 对系统的描述简练而精确。因此,UML 在软件领域的应用日益应用。因此,对一个类进行基于UML 的规约测试具有现实的意义。基于UML 的规约测试能够在系统分析时产生测试案例。这样使测试工作提前进入开发流程, 并能保证测试案例与规约的一致性。本文首先分析和研究了UML 状态图的语法语义以及形式化描述、有限状态机和扩展有限状态机的形式化描述、测试案例的覆盖标准以及生成方法。然后重点研究基于UML 状态图的面向对象类级测试的方法。提出了将UML 状态图转换为扩展有限状态机(EFSM),并根据这种EFSM 来分析状态图中的控制流和数据流的方案,在进行数据流测试时还提出了一种改进的扩展有限状态机的数据流测试方法。最后实现一个自动测试工具对该方法进行检验。在此过程中,要重点解决的问题是归纳出一些简便可行的转换规则以保证状态图信息的保留。在测试用例生成过程中则会用到相应的关于控制流和数据流的一些分析技术和覆盖准则。在代码实现阶段采用Visual C++6.0 作为系统的开发环境。在开发过程中借助Case 工具Rational ROSe 对系统进可视化建模。……   
[关键词]:面向对象测试;U M L 状态图;扩展有限状态机;控制流;数据流
[文献类型]:硕士论文
[文献出处]:电子科技大学2005年
App内打开