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

面向JavaME程序的CSP数据流测试系统研究与实现

作　者: 张斌
导　师: 杜振军
学　校: 大连海事大学
专　业: 计算机科学与技术
关键词: 自动化测试测试数据生成数据流分析约束满足问题动态域缩减
分类号: TP311.52
类　型: 硕士论文
年　份: 2010年
下　载: 14次
引　用: 0次
阅　读: 论文下载

内容摘要

软件测试是费时费力的。为了减少软件手工件测试的开销和增加测试进程的可靠性,软件的自动化测试应运而生。本文的主要焦点是关于JavaME程序的自动化测试。JavaME程序已经被广泛的应用于嵌入式设备,例如移动手机、PDA等等,并且近些年来,JavaME(或称作J2ME)几乎变成了嵌入式应用开发的标准平台。测试数据的生成是自动化测试环境中最为重要的部分。尽管近几年来已经有很多关于测试数据生成器被研制成功。目前为止,有很多技术支持测试输入的生成,其中包括基于随机算法的,遗传算法,谓词约束等等。但是这些技术并不能很好的适应嵌入式计算环境,有关于JavaME软件的自动化测试正处于原始阶段。并且,这些数据生成器生成的测试数据质量并不高。例如,基于随机算法和遗传算法的数据生成器在选择测试数据的时候,都有一定的盲目性。基于约束的测试技术改善了测试数据的质量,但是在处理约束满足问题时不仅效率低下,而且不易产生合的解。基于以上观点,我们提出了基于约束的自动测试框架,其中利用动态域缩减技术和数据流分析技术求解约束满足问题(CSP)来获得测试数据。我们已经通过实验验证了方法的可行性,实验结果显示,动态域缩减技术与数据流测试技术的结合,使得生成的测试数据质量和执行效率上都得到了良好的改善。

全文目录

摘要  5-6
ABSTRACT  6-9
第1章绪论  9-15
  1.1 研究背景及意义  9-10
  1.2 研究现状  10-12
  1.3 研究内容  12
  1.4 论文结构  12-15
第2章软件测试技术概述  15-27
  2.1 软件测试简介  15-16
  2.2 软件测试技术分类  16-22
    2.2.1 静态测试和动态测试  17
    2.2.2 白盒测试和黑盒测试  17-20
    2.2.3 单元测试、集成测试、系统测试和验收测试  20-22
      2.2.3.1 单元测试  20-21
      2.2.3.2 集成测试  21
      2.2.3.3 系统测试  21
      2.2.3.4 验收测试  21-22
  2.3 软件测试目标及策略  22-23
  2.4 面向对象的软件测试  23
  2.5 软件自动化测试  23-25
  2.6 本章小结  25-27
第3章基于约束求解的数据流测试  27-35
  3.1 约束满足问题  27-29
    3.1.1 约束满足问题定义  27-28
    3.1.2 约束满足问题求解算法总结  28-29
  3.2 数据流测试技术  29-32
    3.2.1 数据流测试技术介绍  29-30
    3.2.2 数据流测试覆盖标准  30-32
  3.3 本章小结  32-35
第4章系统设计  35-43
  4.1 系统设计思想  35
  4.2 系统设计框架  35-38
  4.3 系统界面设计  38-41
    4.3.1 系统主界面  39-40
    4.3.2 界面操作步骤  40-41
  4.4 本章小结  41-43
第5章系统实现  43-67
  5.1 程序解析模块(Parser)  43-48
  5.2 控制流图构造模块(CFGBuilder)  48-52
  5.3 路径分析模块(PathAnalyser)  52-54
  5.4 插桩模块(Instrumenter)  54-55
  5.5 数据流分析模块(DataFlowAnalyser)  55-57
  5.6 约束系统构造模块(CSBuilder)  57-59
  5.7 约束求解模块(CSPSolver)  59-64
  5.8 校验模块(Verifier)  64-65
  5.9 本章小结  65-67
第6章实验结果  67-73
  6.1 对ThreeNum类进行测试  67-70
  6.2 实验结果  70-72
  6.3 本章小结  72-73
第7章结论  73-75
  7.1 总结  73
  7.2 展望  73-75
参考文献  75-79
攻读学位期间公开发表论文  79-81
致谢  81-82

面向JavaME程序的CSP数据流测试系统研究与实现

内容摘要

全文目录

相似论文