学位论文 > 优秀研究生学位论文题录展示

基于模型的面向对象测试用例生成研究

作　者: 陈志德
导　师: 曾凡平
学　校: 中国科学技术大学
专　业: 计算机应用
关键词: 测试用例生成软件测试模型面向对象 UML
分类号: TP311.52
类　型: 硕士论文
年　份: 2010年
下　载: 175次
引　用: 2次
阅　读: 论文下载

内容摘要

随着计算机软件的应用深入到生活的方方面面,尤其在关系到国民经济的关键领域的应用越来越多,人们对软件的质量和可靠性提出了更高的要求。而软件测试作为保障软件质量和可靠性的重要手段,一直受到人们的重视。面向对象软件开发技术是目前软件开发的主流技术,因此面向对象的软件测试技术成为了目前研究的热点。由于面向对象的开发技术与传统软件开发技术存在不少的差异,因此,面向对象的软件测试必须吸收传统的测试方法和提出新的测试方法。本文首先简述了软件测试的相关知识,包括软件测试过程模型的三种常用模型、软件测试的4种不同的分类。其次介绍了在本文中所应用的相关测试基础知识。主要叙述了软件测试的技术和特点,以及这些特点对软件测试带来的影响。还介绍了基于模型的测试,包括基于模型的测试的基本过程和优缺点。最后还介绍了本文中使用的UML模型、LTS模型、Petri网模型和EFSM模型。基于上面的分析,本文提出了两个基于模型的测试用例生成方法。(1)第一个方法是基于UML模型和LTS模型的测试用例生成。该方法主要介绍了UML状态图建模的规则,提出了UML状态图到LTS的转换规则和路径转换的生成流程。最后通过实例分析了该方法的有效性。这个方法的主要流程是首先从源程序建立UML模型,通过UML模型到LTS模型的转换规则把UML状态图转换成这LTS模型,然后通过路径转换的生成流程生成路径转换序列,最后通过路径转换生成测试用例并对程序进行测试。该方法的优点是简单和有效。(2)第二个方法是基于UML模型和Petri网模型的测试用例生成。主要介绍了Petri网的可达性、弱活性和可覆盖性等性质,提出了利用可达标识图、可达树等分析工具对UML状态图进行分析。最后通过实例来说明方法的有效性。这个方法的主要流程是首先使用UML状态图建立软件模型,通过EFSM模型生成路径转换序列,然后通过UML模型到Petri网模型的转换规则,把UML状态图转换成Petri网,最后通过Petri网对转换路径进行分析。该方法通过Petri网严谨的数学工具的分析,消除了UML状态图和EFSM模型生成测试用例时所具有的缺点。

全文目录

摘要  4-5
Abstract  5-7
目录  7-9
图目录  9-10
表目录  10-11
第1章绪论  11-23
  1.1 研究背景以及研究意义  11-12
  1.2 软件测试研究现状  12-20
    1.2.1 软件测试过程模型  12-14
    1.2.2 软件测试的分类  14-20
  1.3 研究内容  20
  1.4 本文的组织  20
  1.5 本章小结  20-23
第2章软件测试分析  23-36
  2.1 面向对象测试技术  23-26
    2.1.1 面向对象技术简介  23-24
    2.1.2 面向对象程序的特点对软件测试的影响  24-26
  2.2 基于模型的测试  26-29
    2.2.1 测试模型简介  26-28
    2.2.2 基于模型的测试的基本过程  28-29
    2.2.3 基于模型测试的优缺点  29
  2.3 UML 模型  29-32
    2.3.1 UML 概述  30
    2.3.2 UML 的概念模型  30-31
    2.3.3 UML 状态图  31-32
  2.4 国内外研究现状  32-33
  2.5 本章小结  33-36
第3章基于 UML 模型和 LTS 模型的测试用例生成  36-51
  3.1 LTS 模型  36-37
  3.2 测试用例生成的总体框架  37-38
  3.3 覆盖准则  38-39
  3.4 相关研究  39
  3.5 基于 UML 模型和 LTS 模型的测试用例生成  39-50
    3.5.1 UML 状态图建模  39-42
    3.5.2 UML 状态图到LTS 模型的转换规则  42-44
    3.5.3 路径转换生成流程  44-47
    3.5.4 测试用例生成  47-50
  3.6 本章小结  50-51
第4章基于 UML 模型和 Petri 网模型测试用例生成  51-66
  4.1 EFSM 模型  51
  4.2 Perti 网模型  51-53
  4.3 相关研究  53
  4.4 测试用例生成的总体框架  53-56
  4.5 测试用例生成  56-58
  4.6 基于 Petri 网的性质分析  58-62
  4.7 基于 Petri 网模型的测试用例生成及分析  62-63
  4.8 实验结果及分析  63-64
  4.9 本章小结  64-66
第5章总结  66-68
  5.1 全文总结  66
  5.2 进一步研究展望  66-68
致谢  68-69
攻读硕士学位期间发表学术论文  69-70
参考文献  70-73

基于模型的面向对象测试用例生成研究

内容摘要

全文目录

相似论文