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

一种基于使用模型和可执行规格说明的软件测试框架

作　者: 程胜来
导　师: 邵堃
学　校: 合肥工业大学
专　业: 计算机技术
关键词: 软件测试使用模型可执行规格说明面向重放的软件架构
分类号: TP311.52
类　型: 硕士论文
年　份: 2009年
下　载: 6次
引　用: 0次
阅　读: 论文下载

内容摘要

如何提高测试软件的正确性和可靠性是软件工程中最棘手的问题之一,软件测试是其中一个比较重要的手段。对于大型复杂软件系统,基于模型的测试往往存在模型建立困难和输入空间爆炸的问题,而基于使用模型的测试又不能完成对被测件执行结果的验证。为更好的解决这些问题,本文提出了一种基于使用模型和可执行规格说明的软件测试框架。完成的主要工作有以下三个方面：1、应用一种基于使用模型和可执行规格说明的测试框架,将这两种测试方法结合起来,从而解决了这些问题或者至少降低了其中的难度。该测试框架可适用的前提在于测试人员耗费在被测件功能规格说明描述上的代价必须大幅度小于实现被测件的代价,这样才可以在构建复杂的使用模型的前提下将测试软件本身的耗费维持在一个比较低的水平。在对OpenLDAP主服务程序slapd测试的实验中,通过详细的代价分析论证了这一点。2、使用面向重放的软件架构,提高了测试软件本身的可靠性。目前大多重放技术涉及到工具的开发,它们存在两方面的缺点：一是工具的开发需要耗费；二是缺乏移植性,往往在某一平台下实现的重放技术或者工具无法在另外一个平台下使用。采用面向重放的软件架构来实现的软件系统自身便具备可重放性。3、介绍了纯实体和纯属性的概念,并证明了：在面向重放架构的支持下,纯实体和纯属性中的错误都可以按照系统化的方法通过重放调试出来。在对OpenLDAP主服务程序slapd测试的实验中,按照基于使用模型和可执行规格说明的测试框架的要求,采用面向重放的软件架构,实现了测试软件Tester。通过对Tester实现的详细分析,发现Tester中绝大部分的代码都可以组织成纯实体和纯属性。

全文目录

摘要  5-6
Abstract  6-13
第1章引言  13-18
  1.1 背景以及相关工作  13-16
    1.1.1 软件测试(Software Testing)  13-15
    1.1.2 重放(Replay)  15-16
  1.2 论文的主要贡献  16-17
  1.3 论文各部分主要内容及结构  17-18
第2章基于使用模型和可执行规格说明的软件测试框架  18-24
  2.1 测试框构的描述  18-22
    2.1.1 使用模型与功能规格说明的构建  19-22
    2.1.2 测试输入器Input Generator  22
    2.1.3 结果验证器Validator  22
  2.2 测试框架的讨论  22-24
第3章面向重放的软件架构  24-39
  3.1 架构的描述  24-31
  3.2 纯实体和纯属性  31-33
  3.3 纯实体的重放  33-35
  3.4 非纯实体和非纯属性  35-36
  3.5 测试软件Tester的数据分析  36-37
  3.6 性能分析  37-39
第4章测试软件Tester的详细设计  39-54
  4.1 被测件描述  39-41
  4.2 被测件slapd功能需求  41-43
  4.3 测试软件的实现  43-54
    4.3.1 测试软件Tester的体系结构  44-46
    4.3.2 测试系统中的事件  46-49
    4.3.3 一些关键实体的设计与实现  49-54
第5章数据分析  54-72
  5.1 测试的有效性  54-55
  5.2 测试的低耗性  55-71
    5.2.1 测试的耗费  55-57
    5.2.2 低耗费的原因  57-71
  5.3 数据分析的总结  71-72
第6章结束语  72-73
  6.1 回顾  72
  6.2 下一步的工作  72-73
参考文献  73-75

一种基于使用模型和可执行规格说明的软件测试框架

内容摘要

全文目录

相似论文