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

变异技术在测试数据优化中的研究及实现

作 者: 陈莹莹
导 师: 姜瑛
学 校: 昆明理工大学
专 业: 计算机软件与理论
关键词: Web Services 初始测试数据 测试数据优化 源代码变异 合约变异
分类号: TP311.52
类 型: 硕士论文
年 份: 2009年
下 载: 14次
引 用: 1次
阅 读: 论文下载
 

内容摘要


随着Web应用的不断发展,一种基于Internet提供在线服务的构件——WebServices应运而生。Web Services的出现解决了语言差异、平台差异、协议差异、数据差异所带来的高代价的系统集成问题,显著降低了开发的代价。Web Services能够广泛应用的前提是必须有可靠的质量,因此,确保Web Services的质量成了一个至关重要的问题。软件测试是保证Web Services质量的重要技术手段,测试数据生成是Web Services测试的重要内容。测试数据的质量和有效性将直接影响Web Services的测试效率和测试成本,如何为Web Services自动生成一批有效性高的测试数据成为亟需解决的问题。本文在《Web Services测试平台设计与实现》一文的工作基础上对测试数据进行优化,以期得到一批有效性高的测试数据。《Web Services测试平台设计与实现》根据WSDL文档采用等价类划分、边界值分析和随机法自动生成初始测试数据,实现了基于合约的Web Services测试数据自动生成,但是这样产生的初始测试数据量大,数据冗余,使得测试成本提高,有效性降低。为了解决这一问题,本文应用变异技术对Web Services初始测试数据进行优化,使用搜索定位替换算法对Web Services进行变异,最终产生一批达到一定变异充分度的测试数据,并通过对实际的Web Services进行实验,验证本文方法的有效性。本文分析了当前国内外的研究现状,提出使用源代码变异及合约变异的方法优化测试数据。在对源代码进行变异的时候,借鉴了传统的22种变异算子中的5种关键变异算子;而合约变异的方法则是采用3种变异算子对前置条件类型合约进行变异,初始测试数据首先要通过合约的检查以后才能去执行原程序,两种变异均需要比较初始测试数据在原程序和变异体上的运行结果以计算出杀死变异体个数和等价变异体个数,进而计算出变异充分度,能够杀死变异体的测试数据是有效的。本文通过实验验证了两种变异方法的可行性,通过比较两种变异方法产生的变异充分度,分析实验结果说明添加合约的变异比单纯的源代码变异更有效。

全文目录


摘要  3-4
Abstract  4-6
目录  6-9
第一章 引言  9-18
  1.1 研究背景和选题意义  9-13
    1.1.1 研究背景  9-13
    1.1.2 选题意义  13
  1.2 国内外研究现状  13-16
    1.2.1 国外研究  13-14
    1.2.2 国内方面研究  14-15
    1.2.3 存在的问题  15-16
  1.3 本文工作及章节安排  16
  1.4 本章小结  16-18
第二章 相关技术  18-25
  2.1 合约的概念  18-19
  2.2 变异测试技术  19-23
    2.2.1 植错性测试原理  19
    2.2.2 变异测试的基本原理  19-21
    2.2.3 变异测试的特点  21-22
    2.2.4 变异测试关键技术  22-23
  2.3 前期基础工作  23-24
  2.4 本章小结  24-25
第三章 源代码变异与合约变异  25-34
  3.1 源代码变异  25-29
    3.1.1 简介  25-26
    3.1.2 源代码变异算子的确定  26-28
    3.1.3 源代码变异体生成  28-29
  3.2 合约变异  29-32
    3.2.1 简介  29-30
    3.2.2 合约变异算子的确定  30-31
    3.2.3 合约变异体生成  31-32
  3.3 测试数据执行原程序和变异体  32-33
  3.4 本章小结  33-34
第四章 测试数据优化子系统的设计与实现  34-51
  4.1 系统分析  34-35
    4.1.1 功能需求  34-35
  4.2 系统设计  35-46
    4.2.1 数据库设计  35-36
    4.2.2 功能设计  36-46
      4.2.2.1 源代码变异模块  38-41
      4.2.2.2 合约变异模块  41-43
      4.2.2.3 测试数据执行原程序与变异体  43-45
      4.2.2.4 分析比较变异结果  45-46
  4.3 系统实现  46-50
    4.3.1 动态代理类生成及Web服务调用  46-47
    4.3.2 系统运行  47-50
  4.4 本章小结  50-51
第五章 实验及结果分析  51-69
  5.1 第一组实例  51-58
    5.1.1 实例一  51-52
    5.1.2 实例二  52-53
    5.1.3 实例三  53-55
    5.1.4 实例四  55-56
    5.1.5 第一组实验的结果比较  56-58
  5.2 第二组实例  58-67
    5.2.1 实例一  58-60
    5.2.2 实例二  60-61
    5.2.3 实例三  61-63
    5.2.4 实例四  63-64
    5.2.5 第二组实验的结果比较  64-67
  5.3 实验结果分析  67-68
  5.4 本章小结  68-69
第六章 总结与展望  69-71
  6.1 总结  69
  6.2 存在的问题与不足  69-70
    6.2.1 存在的问题  69-70
    6.2.2 不足  70
  6.3 展望  70-71
致谢  71-72
参考文献  72-76
附录A 硕士期间发表的论文及参与项目  76

相似论文

  1. 基于服务总线的模具企业信息集成系统,TP311.52
  2. 基于SOA的协同制造异构系统的数据集成研究,TP311.13
  3. 佳木斯大学数据中心管理系统的设计与实现,TP311.52
  4. 基于工作流警务会议综合信息系统设计与实现,TP311.52
  5. 基于SaaS和SOA的ERP系统关键问题的研究,TP315
  6. 基于Web Services的水土保持信息上报系统设计与实现,S157
  7. 基于Web Services的快速消费品企业异构系统整合,TP393.09
  8. 基于EOS平台和面向服务架构的OA系统的构建,TP393.09
  9. 基于SOA的校务管理系统的设计与实现,TP311.52
  10. 基于WEB服务的预约挂号系统设计与实现,TP311.52
  11. 基于Web Services的流动人口管理系统的设计,TP311.52
  12. 基于SOA的客户关系管理系统的构建,TP311.52
  13. 企业信息门户的设计与研究,TP311.52
  14. 基于Web Services的MO~2GO流程助理系统的设计与实现,TP311.52
  15. 空间信息Web服务共享平台研究与实践,P208
  16. 基于Web Services的国际结算平台构建,TP393.09
  17. 基于Web Services的ADSM的研究及其在网页内容认证中的应用,TP393.092
  18. 基于Web Service的组件调用平台的设计与实现,TP393.09
  19. 科技资源数据库元数据注册与使用,TP311.13
  20. 空调销售服务管理系统的设计与实现,TP311.52

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