函数摘要静态测试缺陷模式过程间分析.docVIP

函数摘要论文：Java语言基于函数摘要的过程间静态测试方法研究 【中文摘要】随着软件的发展,软件的质量显得越来越重要。因此,有效的软件质量保证就成为软件工程中越来越重要的环节。而软件测试是保证软件质量的最有效的方法。根据测试过程中是否执行被测试软件的角度来分,测试技术可以分为静态测试和动态测试两类。静态测试是在不运行源程序的基础上,通过对源程序或者中间代码进行抽象和理解,抽取程序的属性并预测其运行时行为和状态来完成测试。函数摘要是对函数信息的一种抽象,一般与具体的缺陷模式相关,包括前置信息,后置信息和特征信息。本文在DTS_Java框架基础上,生成全局函数关系调用图。然后根据全局函数之间的调用关系,得出被测文件分析单元之间的逻辑依赖顺序,为计算函数摘要提供了基础。最后在DTS_Java中添加函数摘要计算模块,并修改已有缺陷检测模式,以适应过程间分析。此外本文还设计了用可扩展XML语言来解决库函数摘要的问题。本文最后对十个开源项目进行了测试,通过测试结果证明,基于函数摘要的过程间静态测试方法可以有效的提高静态测试的误报率和漏报率。 【英文摘要】With the development of software, its quality is becoming more and more important. Effective software quality assurance has increasingly become an important part in software engineering. The software testing is the most approach to assure the software quality. The software testing can be divided into static testing and dynamic testing according to whether the source code is executed. Static testing is a kind of software testing without running the source code, which abstract and understand of source code or... 【关键词】函数摘要 静态测试 缺陷模式 过程间分析 【英文关键词】method summary static testing defect pattern interprocedual analysis 【索购全文】联系Q1：138113721 Q2：139938848 【目录】Java语言基于函数摘要的过程间静态测试方法研究 摘要 4-5 Abstract 5 第一章 绪论 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