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

《软件测试论文软件测试静态分析缺陷模型跨函数分析》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

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

2、。最后着重分析了资源泄露和过期资源重调用等资源不良行为缺陷模式，并指出相应的解决办法，从而提高DTSJava的检测性能。本文在DTSJava原有资源相关缺陷模式检测的基础上进行改进，旨在提高DTSJava测试系统的精度。通过对二百多个典型测试用例以及十个开源项检测,来验证对资源不良行为检测的有效性和精确性，说明基于缺陷模式的静态测试系统在高可信软件测试领域的作用。【英文摘要】Withmodernsocietybecomingincreasinglydependentonsoftware,highconfidencesoftwaretest

3、ingisneededinawiderangc.Thesuddenemergenceofsoftwaretestingbasedondefectpatterndetection,asanimportantguaranteeforhighassurancesoftware,cangreatlyreducethedefectdensityofsoftwareandimproveitsreliability.Inthispaper,wewillusethetheoryofresource-relatedstaticdefectsbasedond

4、efectionpatterntodetectbadbehaviorofresource.Thispaperintroducesthebasicconcep・・・【关键词】软件测试静态分析缺陷模型跨函数分析函数摘要不良行为【英文关键词】softwaretestingstaticanalysisdefectionpatterninterproceduralanalysisfunctionsummarybadbehavior【索购全文】联系皀QI：138113721皀Q2：139938848同时提供论文写作一对一辅导和论文发表服务【目录】基于

5、缺陷模式的资源不良行为的静态检测摘要4-5ABSTRACT5笫一章绪论9-121.1研究背景9-101.2研究内容10-111・3论文结构11-12第二章软件测试12-162.1软件测试概念122.2软件测试内容12-132.3软件测试分类13-152.3.1从软件内部结构和具体实现的角度132.3.2从软件开发过程的角度13-142.3.3从程序执行的角度14-152.4软件测试原则15-16第三章软件缺陷模式与静态测试16-243.1静态测试16-203.1.1静态测试概述16-173.1.2静态测试分类173.1.3静态测试分析方法

6、17-183.1.4常见静态测试工具比较18-203.1.5静态测试评估203.2基于缺陷模式软件测试20-243.2.1基本概念解析20-223.2.2缺陷模式中缺陷产生的原因223.2.3基于缺陷模式的软件测试指标分析22-233.2.4基于缺陷模式测试研究领域23-24笫四章DTSJava框架结构24-424.1抽象语法树生成24-264.2符号表生成26-284.3控制流图生成28-304.4函数调用关系图30-314.5du和ud链生成单元31-324.6区间运算单元32-334.7约束求解334.8函数间分析33-374.&1

7、丙数摘耍34-354.8.2函数摘耍的生成35-364・&3丙数摘要的使用36-374.9故障模式状态机计算37-424.9.1处理流程37-384.9.2缺陷模式状态机数据结构38-42第五章资源泄漏缺陷检测42-515.1常见资源泄漏故障425.2Java异常处理42-445.3别名分析44-455.3.1别名分析算法44-455.4资源泄漏检测模型45-465.5缺陷模式检测算法465.6资源泄漏故障检测46-475.7其他缺陷模式对资源泄漏的影响47-495.8实验分析49-505.9本章小结50-51第六章过期资源重调用缺陷检测

8、51-576.1过期资源重调用故障状态机设计策略51-526.1.1基本思想516.1.2过期资源重调用缺陷分析51-526.2过期资源重调用状态机模型52-546.3过期资源重调用状态机创建