基于UML模型的交互式软件测试的研究.pdfVIP

基于UML模型的交互式软件测试研究 on hltemcfiveSofhvareBasedonUML Study Testing Models 北京航空航天大学计算机科学与工程系 刘敏金茂忠刘超 摘 要 软件刹试的重要方法之～基于规格说明的黑盒测试由于没有统一的形式良好的规格说明而 进展缓慢，过于形式他的规格说明不易被鞍件开发者陡用，用自然语言描述的规格说明对测试的指导卫很有 限。本文提出基于UML动态模型的测试，避一分析动态模型指导洲斌的可行性疆其局限，指出活动田由于 其描速系统工作流程和并行活动的能力，比较适告生成测试大蜩与洲试用倒。最后培出一种动态模型(活动 圈)与昔态模型(类圈】相结合生成测试用倒的方法． 关键词 软件测试软件工程剥试用倒的自动生成UML模型 1基于规格说明测试 长期以来，国内外对基于源代码的软件白盒子测试研究很多，涉及到测试充分性准则、覆盖策略 及实用工具等多方面的研究，可以说已较为成熟。而软件测试的另一分支—一瑾于规格说明(即编码 前文档)的黑盒子测试却由于没有统一的形式良好的规格说明而进展缓慢。相对于基于源代码的测试， 基于规格说明测试有很多优点．首先能大大缩减测试的费用，其次从规格说明构造测试可以帮助测试 人员发现规格说明本身的问题，如果早一点进行，问题使可尽早解决，将大大节省时间和资源并使测 试数据独立于实现。 A．J．o曲n总结了基于规格说明测试的方法，大致分为三类：基于模型，基于状态，基于属性。 基于模型规格说明指支持对现实世界对象建模的形式化规格说明，如Z语言，VDM；基于状态规格说 明侧重于状态和状态转移，定义了转移的条件及转移触发的事件；基于属性规格说明描述鞔件不用参 考模型，而代之以数学公理描述函数关系．典型的如代数规格说明，把公理作为语言描述，然后生成 符台此种语言的字符串，即测试用例。这三类方法都值得研究，但出于应用范围考虑，基于模型方法 使用更为广泛。 形式化规格说明语言z语言就其本身来说具有精确、简洁、无二义性等优点，适于作为黑盒测试 的基础，国内外已经有很多研究。但由于Z语靛义严格，需要较深的数学基础，对于软件开发人员 来说难以掌握和理解，把用自然语言描述的软件需求规格说明转化为Z语言的形式化描述是阻碍它的 发展与应用的最大障碍。 1997年11月．UML(Umfied Language)被OMG组织正式接纳为面向对象枣醣语言的 Modefing 标准。UML严格地定义了对象元模型的语义，提供了获得对象结构和行为的表示法。因此，基于UML 模型的测试应运而生。我们希望UML分析和设计模型不仅是软件开发的依据，而且能够指导测试， 验证模型与代码实现的一致性，检查产品是否符合最初的需求。测试用例的自动生成是我们追求的最 终目标．但由于下面提及的一些问题，生成面向对象软件的用例很困难，我们先从交互式软件人手， 探索一种以UML动态模型为主结合静态模型的测试用例自动生成方法。 本文第二部分对UML动态模型能够提供何种程度的支持作了详细分析，并介绍国内外此领域的 研究情况。第三部分在第二部分的基础上结台实例阐述以UML动态模型为主结合静态模型的测试用 例自动生成方法，给出具体的实现步骤。最后进行总结。 ． 2利用UML动态模型指导测试 由于测试过程的动态特性，不论单元测试还是集成测试都要关注对象问的交互及交互结果，所以 我们研究UML模型时必须选择反映系统执行场景的动态模型：活动图、顺序图、状态图、合作图。 下面逐步分析其指导测试用例生成时所存在的问题。 首先，动态图都没有明确提供系统与用户交互信息。UML是半形式化的，为了在准确性与可行 性间作出平衡．运用了自然语言与形式化语言相结合的方式。因为完全形式化方法定义语言在实用上 一15一 有困难，所以在表达形式良好的约束时UlVlL采用准确自然语言与OCL表达式(对象约束语言)相结 合，在裁达具有操作语!；[的构造时运用精确的自然语言【4】。这样就给我们分析模型带来了难度，要获 取功能测试所需的动作信息，我们认为有两种方法： 一是要在