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

Java语言基于函数摘要的过程间静态测试方法研究

作　者: 胡成杰
导　师: 宫云战
学　校: 北京邮电大学
专　业: 计算机科学与技术
关键词: 函数摘要静态测试缺陷模式过程间分析
分类号: TP311.52
类　型: 硕士论文
年　份: 2011年
下　载: 36次
引　用: 1次
阅　读: 论文下载

内容摘要

随着软件的发展,软件的质量显得越来越重要。因此,有效的软件质量保证就成为软件工程中越来越重要的环节。而软件测试是保证软件质量的最有效的方法。根据测试过程中是否执行被测试软件的角度来分,测试技术可以分为静态测试和动态测试两类。静态测试是在不运行源程序的基础上,通过对源程序或者中间代码进行抽象和理解,抽取程序的属性并预测其运行时行为和状态来完成测试。函数摘要是对函数信息的一种抽象,一般与具体的缺陷模式相关,包括前置信息,后置信息和特征信息。本文在DTS_Java框架基础上,生成全局函数关系调用图。然后根据全局函数之间的调用关系,得出被测文件分析单元之间的逻辑依赖顺序,为计算函数摘要提供了基础。最后在DTS_Java中添加函数摘要计算模块,并修改已有缺陷检测模式,以适应过程间分析。此外本文还设计了用可扩展XML语言来解决库函数摘要的问题。本文最后对十个开源项目进行了测试,通过测试结果证明,基于函数摘要的过程间静态测试方法可以有效的提高静态测试的误报率和漏报率。

全文目录

摘要  4-5
Abstract  5-8
第一章绪论  8-11
  1.1 研究背景  8-9
  1.2 研究内容  9
  1.3 论文组织框架  9-11
第二章软件测试  11-20
  2.1 动态测试  11
  2.2 静态测试  11-16
    2.2.1 静态测试理论介绍  12-14
    2.2.2 Java静态分析工具介绍  14-16
  2.3 面向缺陷测试  16-20
第三章 DTS_Java分析框架  20-34
  3.1 抽象语法树  20-23
  3.2 控制流图  23-25
  3.3 符号表  25-27
  3.4 du链和ud链  27-28
  3.5 区间运算  28-30
  3.6 缺陷模式状态机  30-32
  3.7 数据库访问单元  32-34
第四章函数摘要与过程间分析  34-43
  4.1 本地分析  34-35
  4.2 过程间分析  35-36
  4.3 程序依赖性分析  36-38
  4.4 函数摘要  38-43
    4.4.1 函数摘要概述  38-40
    4.4.2 函数摘要生成  40-41
    4.4.3 库函数摘要获取  41-43
第五章实验结果及分析  43-46
  5.1 评价指标  44-45
  5.2 实验结果分析  45-46
第六章结论与展望  46-48
  6.1 论文总结  46
  6.2 进一步的研究工作  46-48
参考文献  48-50
附录  50-55
  附录一:NPD缺陷模式状态机描述文件  50-53
  附录二:库函数摘要描述文件  53-55
术语缩略语  55-56
致谢  56-57
作者攻读学位期间发表的论文  57

Java语言基于函数摘要的过程间静态测试方法研究

内容摘要

全文目录

相似论文