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

面向用户的软件组件测试研究与实现

作　者: 黄兴华
导　师: 胡飞；陈英
学　校: 上海交通大学
专　业: 计算机应用技术
关键词: 组件系统 测试用例生成 UML序列图 OCL
分类号: TP311.52
类　型: 硕士论文
年　份: 2008年
下　载: 114次
引　用: 1次
阅　读: 论文下载
 

内容摘要


软件测试作为软件开发过程的重要环节,是保证软件质量,提高软件可靠性的重要手段,软件开发技术的发展,也必然会带动软件测试技术的发展。组件技术在当今的软件开发中应用日益广泛,而组件技术的一些特点使得传统的软件测试理论和技术对于基于组件技术构造的软件系统并不完全适用。研究适合组件系统特点的软件测试技术,已成为当前软件测试技术的重要课题。本论文主要研究面向用户的软件组件测试技术,即从用户的角度,以UML序列图模型描述的规格说明书为依据,生成测试用例,并以此从众多的候选组件中选择最适合系统的组件。本论文还提出了面向用户的软件组件测试框架,对候选组件调用预先生成的测试用例进行测试,并通过模拟组件实现了对多个候选组件的测试用例复用技术。论文的主要工作和贡献如下:1)首先分析了组件系统的特点,从整体上研究了基于UML模型的组件测试方法,给出了基于UML模型的测试策略,并对UML序列图模型进行了可测性与测试策略的分析。2)在测试用例生成方面,使用了带OCL约束的序列图,即从类图和状态图中提取信息以OCL形式附加在序列图中对象生命线的适当位置。首先检查序列图的完备性和一致性,然后从序列图中生成测试规格说明以及序列图的事件序列,最后根据测试准则采用等价类划分的方法进行测试用例的生成。3)提出了面向用户的软件组件测试框架。建立了一个完整的软件组件测试模型,包括基于UML序列图的测试用例生成,并调度组件运行这些用例,最后分析测试结果并生成测试结果报告。该模型可以在用户获得任何待测组件信息之前根据用户需求生成测试用例,实现了测试用例的生成与待测组件实现细节之间的相互独立。4)实现了一个完整的面向用户的软件组件测试系统,并以测试FTP客户端组件为例,根据UML序列图生成测试用例,并对不同的FTP客户端组件进行测试,验证了本文方法的有效性。

全文目录


摘要  5-6
ABSTRACT  6-11
第一章 绪论  11-16
  1.1 论文研究背景  11-12
  1.2 国内外研究现状  12-13
  1.3 论文主要工作  13-14
  1.4 本文章节安排  14-16
第二章 组件技术与组件测试  16-26
  2.1 组件及组件技术  16-20
    2.1.1 组件的定义和特点  16
    2.1.2 当前主要的组件技术  16-19
    2.1.3 基于组件的软件工程  19-20
  2.2 组件测试相关问题与技术  20-25
    2.2.1 传统测试技术简介  21
    2.2.2 基于组件的软件测试特点  21-22
    2.2.3 组件测试技术  22-25
  2.3 本章小结  25-26
第三章 基于UML 序列图的测试用例生成  26-44
  3.1 UML 序列图  26-30
    3.1.1 UML 的含义  26
    3.1.2 UML 组成  26-27
    3.1.3 序列图语义  27-30
  3.2 对象约束语言  30-34
    3.2.1 OCL 简介  30
    3.2.2 OCL 的构成  30-32
    3.2.3 OCL 实例分析  32-33
    3.2.4 OCL 的扩展  33-34
  3.3 基于UML 序列图的测试用例生成  34-43
    3.3.1 软件测试的充分性问题  34-35
    3.3.2 等价类划分方法  35-36
    3.3.3 UML 序列图的形式化定义  36-38
    3.3.4 状态图与序列图的关系  38-39
    3.3.5 带OCL 约束描述的UML 序列图  39-40
    3.3.6 序列图的场景  40-41
    3.3.7 生成测试用例算法  41-42
    3.3.8 测试输入数据生成  42-43
  3.4 本章小结  43-44
第四章 面向用户的组件测试框架  44-53
  4.1 面向用户的组件测试框架概述  44-46
  4.2 模拟组件  46-47
    4.2.1 模拟类  46-47
    4.2.2 包含契约的模拟类设计  47
  4.3 XML 适配文件  47-52
    4.3.1 获取真实组件的接口  48-49
    4.3.2 模拟组件接口与候选组件接口的差异  49
    4.3.3 XML 简介  49-50
    4.3.4 创建XML 适配文件  50-52
  4.4 本章小结  52-53
第五章 面向用户的测试系统设计与实现  53-64
  5.1 核心模块设计  53-62
    5.1.1 测试用例生成模块  53-59
    5.1.2 XML 解析模块  59-61
    5.1.3 测试驱动模块  61-62
  5.2 系统结构  62-63
  5.3 本章小结  63-64
第六章 系统试验与分析  64-74
  6.1 某FTP 客户端组件测试试验  64-72
    6.1.1 描述用户需求  64
    6.1.2 生成测试用例  64-69
    6.1.3 创建XML 适配文件  69-70
    6.1.4 配置实验环境  70-72
  6.2 数据分析与说明  72-73
  6.3 本章小结  73-74
第七章 全文总结  74-76
  7.1 总结  74-75
  7.2 问题与展望  75-76
致谢  76-77
攻读硕士学位期间已发表和录用的论文  77-78
参考文献  78-80

相似论文

  1. 基于面向方面机制的模型驱动架构研究,TP311.52
  2. 可信计算平台动态测试系统的设计与实现,TP311.53
  3. 可信平台模块测试系统设计与实现,TP309
  4. 基于Z规格的软件测试工具的设计与实现,TP311.52
  5. 面向IBM自动化测试框架GUI录制工具的设计与实现,TP311.53
  6. 基于模型的面向对象测试用例生成研究,TP311.52
  7. 基于PC104的无人直升机飞行控制系统硬件在回路仿真,V249.1
  8. 面向零售业需求基于回归测试的自动化测试框架设计与实现,TP311.52
  9. 基于UML的动态自适应管理原型系统的研究与实现,TP311.52
  10. 组件测试中复杂数据类型的测试用例自动生成方法研究,TP311.52
  11. 基于情态演算的UML形式化验证与OCL约束自动生成研究,TP311.52
  12. 航天器故障诊断系统软件测试方法研究,V467
  13. 基于OCL的Web服务测试方法研究,TP393.09
  14. 基于协议分析的漏洞挖掘技术研究,TP393.08
  15. 软件过程建模技术研究,TP311.52
  16. 嵌入式软件测试用例生成方法研究,TP311.52
  17. 基于UML-XML的车载设备测试用例生成方法研究和实现,TP274
  18. 基于形式化方法的软件测试技术研究,TP311.52
  19. 用于测试用例生成的遗传算法改进,TP311.52
  20. 基于J2EE的流程性制造企业信息系统安全问题探讨与实现,TP311.52
  21. 基于组件的分布式供应管理系统研究,TP311.52

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