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

基于状态建模的类测试方法的研究

作　者: 任家鲁
导　师: 周利华
学　校: 西安电子科技大学
专　业: 计算机系统结构
关键词: 类测试 测试用例 UIO 遗传算法
分类号: TP311.52
类　型: 硕士论文
年　份: 2010年
下　载: 13次
引　用: 0次
阅　读: 论文下载
 

内容摘要


随着软件服务领域的不断拓展、软件研发技术的不断进步,面向对象技术已经成为了软件分析与设计的主导技术。然而与之相应的软件测试技术的发展却是滞后的。因此,本文将围绕面向对象软件的测试技术展开探讨。基于类测试对于面向对象软件测试的重要性,本文将类测试方法作为研究重点。本文首先讨论了面向对象技术的特点及其对面向对象测试的影响,面向对象软件测试的层次划分,重点地分析了数个面向对象软件测试方法。对于面向对象软件的类测试,本文将测试用例的生成分为测试序列生成与测试数据构造两部分。通过类状态构造状态机模型,在分析并对比W[1]方法,Wq[2]方法和UIO[3]。方法的基础上,选择了UIo方法作为测试序列生成的研究方向,并在此基础上实现了测试序列的生成。关于测试数据的构造,本文分析了域测试法,随机测试法,并重点对遗传算法作为测试数据构造方法的可行性进行了探讨。本文进一步对如何通过遗传算法完成测试数据构造进行了研究,重点研究了如何构造适应值函数,提出了一个简单的构造方案,并举例完成了测试数据构造的实现,以期对测试用例自动生成工具的开发及后续研究提供有价值参考。

全文目录


摘要  3-4
Abstract  4-7
第一章 绪论  7-11
  1.1 研究背景  7-8
  1.2 国内外研究现状  8-9
  1.3 本文研究主要内容  9
  1.4 本文组织结构  9-11
第二章 软件测试的基本概念与测试方法  11-19
  2.1 软件质量与缺陷  11-13
    2.1.1 软件质量的概念及内涵  11-12
    2.1.2 软件缺陷的定义与种类  12-13
  2.2 软件测试的基本方法  13-16
    2.2.1 软件测试的原则  13-14
    2.2.2 白盒测试和黑盒测试  14-15
    2.2.3 静态和动态测试方法  15-16
    2.2.4 验证和确认(Verification & Validation)  16
  2.3 软件测试的误区  16-17
  2.4 本章小结  17-19
第三章 面向对象软件及其测试方法  19-29
  3.1 面向对象软件特点  19-21
    3.1.1 抽象性  19-20
    3.1.2 封装性  20
    3.1.3 继承性  20-21
    3.1.4 多态性  21
  3.2 面向对象特征对软件测试的影响  21-23
    3.2.1 基本构成模块差异影响  22
    3.2.2 系统功能实现的影响  22
    3.2.3 封装对测试的影响  22
    3.2.4 继承对测试的影响  22-23
    3.2.5 多态对测试的影响  23
  3.3 面向对象测试的层次  23-24
    3.3.1 类测试  23-24
    3.3.2 类簇测试  24
    3.3.3 系统测试  24
  3.4 面向对象测试方法  24-27
    3.4.1 基于方法序列规范的测试用例生成  24-25
    3.4.2 基于类流图的测试  25
    3.4.3 ASTOOT方法  25-26
    3.4.4 基于状态的测  26
    3.4.5 基于UML的测试  26-27
    3.4.6 基于使用的测试  27
  3.5 本章小结  27-29
第四章 基于状态建模的测试序列生成  29-49
  4.1 类的状态建模  29-33
    4.1.1 类的状态机模型  30-31
    4.1.2 状态机模型的数学描述  31-33
  4.2 基于状态机的测试序列生成方法的研究  33-40
    4.2.1 测试过程中可能出现的错误的分析  33-34
    4.2.2 覆盖准则与测试序列的生成方法的分析与研究  34-40
  4.3 测试序列自动生成系统设计与实现  40-47
    4.3.1 获取状态图相关信息  41-42
    4.3.2 状态机模型的检验  42-43
    4.3.3 生成状态覆盖集  43-44
    4.3.4 生成迁移覆盖集  44-46
    4.3.5 状态区分集的生成  46
    4.3.6 测试序列的生成  46-47
    4.3.7 非法消息序列的生成  47
  4.4 本章小结  47-49
第五章 测试数据构造方法的研究  49-65
  5.1 测试数据对路径的影响  49-51
  5.2 类的测试数据生成方法  51-58
    5.2.1 域测试法  52
    5.2.2 随机测试数据生成法  52-53
    5.2.3 遗传算法的分析与研究  53-58
  5.3 基于遗传算法的测试数据生成方法的实现  58-63
    5.3.1 系统模型与结构  58
    5.3.2 构造适应值函数  58-61
    5.3.3 构造测试数据  61-63
  5.4 本章小结  63-65
第六章 总结  65-67
致谢  67-69
参考文献  69-72

相似论文

  1. 天然气脱酸性气体过程中物性研究及数据处理,TE644
  2. 压气机优化平台建立与跨音速压气机气动优化设计,TH45
  3. 基于遗传算法的模糊层次综合评判在高职教学评价中的应用,G712
  4. 部队人员网上训练与考核系统的开发,TP311.52
  5. 基于并行算法的模糊综合评价模型的设计与应用,TP18
  6. 基于神经网络的牡蛎呈味肽制备及呈味特性研究,TS254.4
  7. 基于遗传算法的中短波磁天线的设计及实现,TN820
  8. 基于模型的Web测试技术研究与应用,TP311.53
  9. 基于遗传算法的柑橘图像分割,TP391.41
  10. 基于混合自适应遗传算法的动态网格调度问题研究,TP393.09
  11. 基于遗传—牛顿算法的公交优化调度,TP18
  12. 基于遗传算法优化的BP网络对生物柴油制备工艺的优化,TE667
  13. 基于云理论和蜜蜂进化型遗传算法的纹理合成研究,TP391.41
  14. 基于遗传算法和粗糙集的聚类算法研究,TP18
  15. 软件可信性增长测试用例生成方法的研究,TP311.53
  16. 基于遗传算法的淠史杭灌区渠系配水优化编组模型的研究,S274
  17. 遗传算法在物流仓储优化中的应用研究,F259.2
  18. 基于遗传算法的矿山资源优化调度模型的研究,O224
  19. 磁流变阻尼器的力学特性及其在火炮反后坐中的应用研究,TB535.1
  20. 模糊预测函数控制改进算法的研究及应用,TP273
  21. 基于模拟的注塑模浇注系统及成型工艺参数优化研究,TQ320.662

中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com