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

基于函数摘要的非法计算故障检测方法的研究

作　者: 邹欣
导　师: 宫云战
学　校: 北京邮电大学
专　业: 计算机科学与技术
关键词: 软件测试静态检测非法计算函数摘要
分类号: TP311.52
类　型: 硕士论文
年　份: 2011年
下　载: 21次
引　用: 0次
阅　读: 论文下载

内容摘要

伴随着信息技术的蓬勃发展以及计算机应用的普及,软件的应用领域越来越广泛,软件本身的复杂度也在逐渐提高。而这些软件如出现问题带来的损失将不可估量,因此保障软件的质量成为软件工程中重要的一个环节。软件的故障主要表现为两方面：计算结果错误和系统崩溃。计算结果错误一般容易检测,而导致系统崩溃的故障带来的后果很严重,这类故障在传统的软件测试中被检测出的概率通常也很低。非法计算是一种容易导致系统崩溃的常见的故障。静态测试,作为软件测试领域的一个重要方面,其主要优势在于只需分析源码无需运行程序,及对缺陷的针对性强。本文提出了基于函数摘要的非法计算故障的静态检测方法。论文的主要工作包括以下几个方面,首先是非法计算的全局分析框架,然后基于此框架,提出了基于函数后置信息的非法计算故障的静态检测方法,及基于函数前置约束的非法计算故障的静态检测方法。本文重点介绍了上述两种检测方法所用到的模式状态机框架、函数摘要计算、及故障检测算法。最后本文通过试验结果的对比,表明基于函数摘要的非法计算故障检测方法可以提高非法计算故障的检测效果,同时充分说明了基于函数摘要的全局分析能有效提高检测的精度。

全文目录

摘要  3-4
ABSTRACT  4-7
第1章绪论  7-10
  1.1.研究背景  7
  1.2.研究内容  7-8
  1.3.论文内容和结构  8-10
第2章静态测试  10-16
  2.1.软件测试  10-12
    2.1.1.软件测试的历史  10-11
    2.1.2.软件测试的分类  11-12
  2.2.静态测试  12-13
    2.2.1.静态测试的内容  12-13
    2.2.2.静态测试常见的检测方法  13
  2.3.基于缺陷模式的静态测试  13-16
    2.3.1.缺陷模式  14
    2.3.2.缺陷模式分类  14-16
第3章非法计算全局分析框架  16-28
  3.1.非法计算  16-18
    3.1.1.非法计算的定义  16-17
    3.1.2.非法计算示例  17-18
  3.2.系统构成  18-19
  3.3.全局静态分析  19-20
    3.3.1.全程序分析  20
    3.3.2.基于函数摘要的全局分析  20
  3.4.全局预分析  20-22
  3.5.区间运算  22-25
    3.5.1.区间概述  22-23
    3.5.2.区间集概述  23-24
    3.5.3.基于控制流图的区间运算  24-25
  3.6.函数摘要  25-28
    3.6.1.函数的抽象  25-27
    3.6.2.函数摘要表示  27-28
第4章基于函数后置信息的非法计算故障检测  28-37
  4.1.非法计算故障  28-29
  4.2.模式状态机  29-33
    4.2.1.状态机描述  30-31
    4.2.2.基于函数后置信息的非法计算故障状态机  31-33
    4.2.3.基于函数后置信息的非法计算故障描述  33
  4.3.函数后置信息  33-35
    4.3.1.函数摘要的存储  33-34
    4.3.2.函数后置信息的生成  34-35
  4.4.故障检测算法  35-37
第5章基于函数前置约束的非法计算故障检测  37-46
  5.1.非法计算故障  37-38
  5.2.模式状态机  38-40
    5.2.1.基于函数前置约束的非法计算故障状态机  38-39
    5.2.2.基于函数前置约束的非法计算故障描述  39-40
  5.3.函数前置约束  40-44
    5.3.1.基本的函数前置约束生成  40-42
    5.3.2.函数调用引发的函数前置约束传递  42-44
  5.4.故障检测  44-46
    5.4.1.区间集判定算法  44-45
    5.4.2.故障检测算法  45-46
第6章实验结果  46-49
  6.1.评测指标  46
  6.2.实验数据  46-47
  6.3.实验结果分析  47-49
第7章总结与展望  49-51
  7.1.研究工作总结  49
  7.2.展望  49-51
参考文献  51-53
致谢  53-54
作者攻读学位期间发表的学术论文目录  54

相似论文

面向对象分层测试的方法研究,TP311.53
基于形式化UML测试序列生成方法研究,TP311.53
基于程序切片的电子海图系统软件测试技术研究,TP311.53
用户权限管理系统可靠性测试的研究与应用,TP311.53
高职院校教学案例库的创建探究,TP311.53-4
C++代码缺陷检测系统的研究与设计,TP311.53
C++静态代码检测语法树构建方法研究,TP311.53
基于中国电信闪铃系统与平台项目的软件测试,TP311.53
表面形貌区域法分析评定算法及软件系统研究,TP311.52
Android恶意软件静态检测方案的研究,TP309
基于Process Engine的Web Services自动化测试研究,TP311.52
自动化测试在分组传输网管接口测试中的应用,TP311.52
一个自动化软件测试系统的设计与实现,TP311.53
基于QTP的SAFFRON自动化测试框架的研究,TP311.52
基于内容的网页恶意代码检测的研究与实现,TP393.092
电信BOSS系统软件测试,TP311.53
基于程序执行的错误定位方法,TP311.52
基于云计算的软件测试服务研究,TP311.53
电子商务中的在线书店设计与实现,TP311.52
A基地软件检测站测试管理信息系统设计及实施关键问题研究,TP311.52
智能卡操作系统(COS)的系统测试方法的设计与实现,TP311.52