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

基于缺陷模式的自动测试技术及约束满足问题的研究

作　者: 姚虎
导　师: 陈俊亮
学　校: 北京邮电大学
专　业: 计算机科学与技术
关键词: 缺陷模式 状态机 自动测试 区间运算 约束满足
分类号: TP311.52
类　型: 硕士论文
年　份: 2009年
下　载: 82次
引　用: 0次
阅　读: 论文下载
 

内容摘要


随着计算机技术的飞速发展,人们对计算机的需求和依赖与日俱增。计算机软件的应用领域正在进一步的扩大,伴随而来的就是软件的规模和复杂性的不断增加,这给软件测试提出了更高的要求。软件测试自动化是提高软件测试效率的有效手段,自动化应该体现软件测试的各个阶段,尤其是缺陷的自动检测以及测试数据的自动生成,其中后者涉及的领域更大,而约束满足问题是其中最为重要的环节之一,所以对于约束问题的研究具有重要的理论意思和广阔的应用前景。本文提出了一种基于缺陷模式的软件缺陷自动检测方法,并在此基础上,设计和实现了一个基于状态机的缺陷检测系统---DTSJAVA,该系统通过JACC自动生成JAVA源程序的分析器,并在此基础上构造抽象语法树、控制流图等,最后,我们使用缺陷模型状态机技术,自主开发了该自动检测系统。并就约束满足问题进行了深入的研究,同时开发了面向JAVA程序缺陷的约束提取原型。实验结果表明,该系统是准确、高效、切实可行的。

全文目录


摘要  4-5
ABSTRACT  5-9
第一章 绪论  9-12
  1.1 选题背景、目的和意义  9-10
  1.2 本文的主要研究内容  10
  1.3 本文的组织结构  10-12
第二章 软件测试方法及研究概况  12-29
  2.1 软件测试  12-14
    2.1.1 软件测试的定义  12-13
    2.1.2 软件测试的原则  13-14
  2.2 软件测试技术及方法  14-23
    2.2.1 静态测试与动态测试  14-15
    2.2.2 白盒测试方法与测试用例设计  15-20
    2.2.3 黑盒测试方法与测试用例设计  20-23
  2.3 基于缺陷模型的软件测试技术  23-29
    2.3.1 缺陷模式及其技术特点  23-24
    2.3.2 基于缺陷模式的软件测试指标分析  24-25
    2.3.3 缺陷模式  25-29
第三章 自动化测试技术简介  29-35
  3.1 动态分析  29-30
  3.2 静态分析  30-31
  3.3 基于白盒的测试自动生成  31-34
    3.3.1 基于路径的测试生成技术  31-34
  3.4 黑盒测试自动生成  34-35
第四章 基于缺陷模式的自动测试系统-DTSJAVA  35-52
  4.1 系统结构  35-36
  4.2 DTSJAVA抽象语法树  36-40
    4.2.1 简述  36-37
    4.2.2 组成结构  37-38
    4.2.3 LL分析方法和JavaCC简介  38-40
  4.3 DTSJAVA控制流图  40-42
    4.3.1 简述  40-41
    4.3.2 组成结构  41-42
  4.4 DTSJAVA区间运算  42-44
    4.4.1 简述  42-43
    4.4.2 组成结构  43-44
  4.5 扩展的有限状态自动机与缺陷检测  44-51
    4.5.1 简述  44-45
    4.5.2 故障描述状态机  45-47
    4.5.3 故障描述语言  47-48
    4.5.4 模式分析引擎  48-51
    4.5.5 组成结构  51
  4.6 检测结果  51-52
第五章 测试中约束满足问题简介  52-68
  5.1 基本概念  52-54
  5.2 有限域上的约束问题的求解算法  54-57
    5.2.1 命题逻辑——SAT算法  54-56
    5.2.2 谓词逻辑——一阶谓词逻辑  56-57
  5.3 无限域上的约束问题的求解算法  57-59
    5.3.1 线性约束  57-58
    5.3.2 非线性约束  58
    5.3.3 最优化在解数值约束中的应用  58-59
  5.4 约束求解工具  59-61
    5.4.1 lp_solve  59-60
    5.4.2 MATLAB  60-61
  5.5 面向缺陷的约束提取  61-68
    5.5.1 Visitor模式  62-66
    5.5.2 处理流程  66-68
第六章 结束语  68-69
  6.1 本文的主要贡献  68
  6.2 进一步工作  68-69
参考文献  69-71
致谢  71-72
攻读学位期间发表的学术论文目录  72

相似论文

  1. 数字电路内建自测试方法的研究,TN79
  2. LXI自动测试系统集成技术研究,TP274
  3. 自动测试系统数字化设计平台研制,TP274
  4. 电子产品质量监控测试设备设计,TN06
  5. 基于形式化UML测试序列生成方法研究,TP311.53
  6. C++代码缺陷检测系统的研究与设计,TP311.53
  7. 基于VHDL/FPGA的嵌入式UART的设计及FPGA验证,TN47
  8. 基于通信的列车控制系统的协议一致性测试研究,U284.48
  9. MMU协处理器仿真模型的研究及软件仿真实现,TP391.9
  10. 卷绕设备控制系统软件设计和实现,TM571.61
  11. 基于MDP的多智能体交通信号灯控制方法,TP273.5
  12. SSL协议的测试方法研究,TP393.08
  13. 基于bloom filter的多模式匹配引擎设计与应用,TP393.08
  14. 基于约束满足的改进蚁群算法在车间调度中的应用研究,TP301.6
  15. 基于状态机的安全漏洞检查机制的设计与实现,TP309
  16. 基于MOSS的工作流技术应用研究,TP311.52
  17. 基于BOM的并行离散事件仿真建模技术研究与实现,TP338.6
  18. 蓝牙免提应用协议（HFP）的实现研究,TN925
  19. 基于FPGA的USB、Flash控制器设计,TN791
  20. 多制式视频显示后处理芯片架构与主控模块的研究设计,TN402
  21. 管状电机智能测试系统的设计与实现,TM306

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