软件测试论文软件测试 静态分析 缺陷模型 跨函数分析 函数摘

1、软件测试论文：基于缺陷模式的资源不良行为的静态检测【中文摘要】随着现代社会对软件的依赖越来越强,高可信软件测试有着广泛的需求。基于缺陷模式的软件测试技术作为高可信软件的重要保证,可以大大降低软件的缺陷密度,提高软件的可信性。本文研究的基于故障模式的资源不良行为的静态检测就是利用静态测试的理论进行资源相关的缺陷检测。本文从软件测试的基本概念入手,深入剖析软件缺陷模式和静态测试相关理论。以DTSJava框架为出发点,利用静态测试的基本理论,采用函数摘要的技术进行函数间分析,使用约束求解来改进区间运算的局限性,通过缺陷模式状态机来完成缺陷的检测。最后着重分析了资源泄露和过期资源重调用等资源不良行为缺

2、陷模式,并指出相应的解决办法,从而提高DTSJava的检测性能。本文在DTSJava原有资源相关缺陷模式检测的基础上进行改进,旨在提高DTSJava测试系统的精度。通过对二百多个典型测试用例以及十个开源项检测,来验证对资源不良行为检测的有效性和精确性,说明基于缺陷模式的静态测试系统在高可信软件测试领域的作用。【英文摘要】With modern society becoming increasingly dependent on software, high confidence software testing is needed in a wide range. The sudden eme

3、rgence of software testing based on defect pattern detection, as an important guarantee for high assurance software, can greatly reduce the defect density of software and improve its reliability. In this paper, we will use the theory of resource-related static defects based on defection pattern to d

4、etect bad behavior of resource.This paper introduces the basic concep.【关键词】软件测试 静态分析 缺陷模型 跨函数分析 函数摘要 不良行为【英文关键词】software testing static analysis defection pattern interprocedural analysis function summary bad behavior【索购全文】联系Q1：138113721 Q2：139938848同时提供论文写作一对一辅导和论文发表服务【目录】基于缺陷模式的资源不良行为的静态检测摘要4-5ABS

5、TRACT5第一章 绪论9-121.1 研究背景9-101.2 研究内容10-111.3 论文结构11-12第二章 软件测试12-162.1 软件测试概念122.2 软件测试内容12-132.3 软件测试分类13-15 从软件内部结构和具体实现的角度13 从软件开发过程的角度13-14 从程序执行的角度14-152.4 软件测试原则15-16第三章 软件缺陷模式与静态测试16-243.1 静态测试16-20 静态测试概述16-17 静态测试分类17 静态测试分析方法17-18 常见静态测试工具比较18-20 静态测试评估203.2 基于缺陷模式软件测试20-24 基本概念解析20-22 缺陷模

6、式中缺陷产生的原因22 基于缺陷模式的软件测试指标分析22-23 基于缺陷模式测试研究领域23-24第四章 DTSJava框架结构24-424.1 抽象语法树生成24-264.2 符号表生成26-284.3 控制流图生成28-304.4 函数调用关系图30-314.5 du和ud链生成单元31-324.6 区间运算单元32-334.7 约束求解334.8 函数间分析33-37 函数摘要34-35 函数摘要的生成35-36 函数摘要的使用36-374.9 故障模式状态机计算37-42 处理流程37-38 缺陷模式状态机数据结构38-42第五章 资源泄漏缺陷检测42-515.1 常见资源泄漏故障4

7、25.2 Java异常处理42-445.3 别名分析44-45 别名分析算法44-455.4 资源泄漏检测模型45-465.5 缺陷模式检测算法465.6 资源泄漏故障检测46-475.7 其他缺陷模式对资源泄漏的影响47-495.8 实验分析49-505.9 本章小结50-51第六章 过期资源重调用缺陷检测51-576.1 过期资源重调用故障状态机设计策略51-52 基本思想51 过期资源重调用缺陷分析51-526.2 过期资源重调用状态机模型52-546.3 过期资源重调用状态机创建546.4 过期资源重调用故障检测54-556.5 实验分析55-56 过期资源重调用举例55 实验结果分析55-