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

基于缺陷模式和区间运算的缺陷检测系统

作　者: 吴子敬
导　师: 陈俊亮
学　校: 北京邮电大学
专　业: 计算机科学与技术
关键词: 静态测试 故障 缺陷 区间运算 自动化测试 误报率
分类号: TP311.52
类　型: 硕士论文
年　份: 2009年
下　载: 93次
引　用: 3次
阅　读: 论文下载
 

内容摘要


随着软件功能越来越强大,软件的规模和复杂性也日益庞大和增高,这就导致开发人员难以彻底完全理解软件,因此软件测试成为保证软件质量的重要手段。与此同时软件测试的手段也发生了重大变化,软件的自动化测试越来越突显其重要性。因此开发一个软件缺陷检测系统具有重大价值。软件测试从测试方法上大体可以分为两大类,即:动态测试和静态测试。本文开发的自动化测试工具属于静态测试工具。然而自动静态测试的技术难点尤为突出,本文针对不同的故障设计了不同的检测算法,与此同时本文提取了各种缺陷检测的共同部分组成了系统框架模块,因此本文构建的系统具有高度扩展性。本文的创新点在于提出了利用区间运算来降低系统误报率的方法。

全文目录


摘要  4-5
ABSTRACT  5-9
第1章 前言  9-15
  1.1 研究背景  9-10
  1.2 国内外现状  10-14
  1.3 本文的主要工作和成果  14
  1.4 小结  14-15
第2章 程序静态分析相关技术  15-23
  2.1 语法树、相关技术及工具  15-19
    2.1.1 JavaCC工具简介  15
    2.1.2 JavaCC工作原理  15-19
  2.2 抽象语法树  19-20
  2.3 符号表  20-23
第3章 区间运算理论基础和调研  23-29
  3.1 区间运算定义  23-25
  3.2 区间运算开发包  25-27
    3.2.1 Gaol  25
    3.2.2 Fi_lib  25-26
    3.2.3 FILIB++  26
    3.2.4 Interval Arithmetic Libs  26
    3.2.5 性能比较  26-27
  3.3 区间运算在程序静态分析中的应用  27-29
第4章 DTSCPP系统介绍  29-36
  4.1 系统概述  29
  4.2 体系结构设计  29-36
    4.2.1 系统部件组成  29-31
    4.2.2 系统执行流程  31
    4.2.3 接口设计  31-32
    4.2.4 内部接口设计  32-36
第5章 DTSCPP语法树生成单元  36-38
  5.1 概述  36
  5.2 程序描述  36-38
    5.2.1 抽象语法树节点类定义  36-38
第6章 DTSCPP控制流图生成单元  38-46
  6.1 概述  38
  6.2 结构组成  38-39
  6.3 处理流程  39
  6.4 程序描述  39-45
    6.4.1 控制流图数据结构  39-41
    6.4.2 控制流图生成辅助数据结构  41-43
    6.4.3 控制流图生成  43-44
    6.4.4 控制流图打印  44-45
  6.5 结果展示  45-46
第7章 DTSCPP符号表生成单元  46-55
  7.1 概述  46
  7.2 结构组成  46-47
  7.3 处理流程  47
  7.4 程序描述  47-54
    7.4.1 符号表数据结构  47-52
    7.4.2 符号表生成  52-54
  7.5 结果展示  54-55
第8章 DTSCPP区间运算单元  55-72
  8.1 概述  55-56
  8.2 结构组成  56
  8.3 处理流程  56-57
  8.4 程序描述  57-70
    8.4.1 区间数据结构  57-60
    8.4.2 区间转换  60
    8.4.3 相关变量区间表  60-61
    8.4.4 表达式区间分析  61
    8.4.5 条件判断区间分析  61-69
    8.4.6 控制流图区间分析  69-70
  8.5 结果展示  70-72
第9章 DTSCPP缺陷模式状态机计算单元  72-87
  9.1 概述  72
  9.2 结构组成  72-73
  9.3 处理流程  73
  9.4 程序描述  73-85
    9.4.1 缺陷模式状态机数据结构  73-75
    9.4.2 缺陷模式描述文件格式及其解析  75-83
    9.4.3 缺陷模式状态机实例数据结构  83-85
    9.4.4 缺陷状态机分析  85
    9.4.5 FSMRelatedCalculation类说明  85
  9.5 结果展示  85-87
第10章 DTSCPP缺陷分析单元  87-88
  10.1 概述  87
  10.2 示例程序描述  87-88
第11章 系统效果  88-89
第12章 结束语  89-90
  12.1 本文的工作总结  89
  12.2 进一步工作  89-90
参考文献  90-91
致谢  91-92
攻读学位期间发表的学术论文目录  92

相似论文

  1. 基于WinCE平台的故障分析仪应用程序设计与开发,TP311.52
  2. 超低碳贝氏体钢CO2激光-GMA复合焊接特性研究,TG456.7
  3. 八作动器隔振平台的六自由度容错控制研究,TB535.1
  4. 卫星光通信粗瞄控制系统的设计及故障诊断,V443.1
  5. 基于PCA-SVM的液体火箭发动机试验台故障诊断算法研究,V433.9
  6. 配电网故障定位与网络重构算法的研究,TM727
  7. 分布式系统的故障注入方法研究,TP338.8
  8. 面向软件的故障注入工具的研究与实现,TP311.52
  9. 基于支持向量机的故障诊断方法研究,TP18
  10. 三容水箱系统故障诊断算法研究,TP277
  11. 极端气象灾害下考虑不确定断线故障的电力系统随机优化调度,TM73
  12. 水上交通安全保障系统的关键技术研究,U698
  13. 配电线路故障智能诊断装置的研究,TM755
  14. 传输网络故障对WCDMA移动网络的影响,TN929.533
  15. 年轻男男性行为人群HIV和梅毒感染状况及其相关因素,R512.91
  16. 移动计算环境下故障结点检测方法研究,TP338.8
  17. 用户权限管理系统可靠性测试的研究与应用,TP311.53
  18. C++代码缺陷检测系统的研究与设计,TP311.53
  19. 两株拟除虫菊酯类农药降解菌的降解粗酶降解特性初探,X592
  20. 矿井水文监测系统的可靠性技术研究及应用,TD742.1
  21. 基于神经网络的传输线故障识别方法研究,TP183

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