基于缺陷模式的软件测试技术研究

摘要	第1-8页
ABSTRACT	第8-13页
第1章 绪论	第13-24页
·研究的背景及意义	第13-19页
·研究原因	第13-14页
·研究内容	第14-15页
·国内外发展现状	第15-19页
·研究工作背景	第19页
·论文的主要贡献	第19-21页
·论文内容和结构	第21-22页
·参考文献	第22-24页
第2章 软件测试	第24-38页
·软件测试的概念	第24-25页
·软件测试过程	第25-27页
·软件测试方法	第27-29页
·软件测试工具	第29-30页
·源代码静态分析	第30-34页
·建模	第31-32页
·分析算法	第32-33页
·规则	第33页
·报告结果	第33-34页
·本章小结	第34-35页
·参考文献	第35-38页
第3章 软件的缺陷模式及其检测模型	第38-49页
·软件的缺陷模式概述	第38-40页
·基于缺陷模式测试的技术特点	第40-41页
·缺陷模式检测模型	第41-44页
·量化指标定义	第44-45页
·本章小结	第45页
·参考文献	第45-47页
·附录:Java程序缺陷模式	第47页
·附录:C/C++程序缺陷模式	第47-49页
第4章 基于抽象解释的值范围区间表示	第49-64页
·抽象解释理论概述	第49-52页
·经典的区间代数	第52-53页
·区间及区间运算	第52-53页
·区间向量和区间函数	第53页
·基本数值类型区间集代数	第53-56页
·区间集的定义	第53-54页
·集合运算	第54-55页
·四则运算	第55页
·拓宽算子	第55-56页
·非数值型区间代数	第56-57页
·布尔型	第56页
·引用型	第56-57页
·条件表达式中的区间计算	第57-62页
·削减运算	第57-58页
·逻辑运算	第58-62页
·本章小结	第62页
·参考文献	第62-64页
第5章 程序变量值范围分析及其应用	第64-76页
·过程内值范围分析	第64-68页
·程序的控制流定义	第64-65页
·过程内值范围分析算法	第65-68页
·过程间值范围分析	第68-69页
·值范围分析的应用	第69-73页
·检测矛盾节点	第69-72页
·检测不可达路径	第72页
·提高缺陷检测效率	第72-73页
·本章小结	第73-74页
·参考文献	第74-76页
第6章 软件缺陷模式的全局检测方法	第76-87页
·缺陷模式状态机	第76-77页
·有的缺陷分析方法	第77-78页
·完全的路径敏感分析	第77页
·属性状态数据流分析	第77-78页
·基于数据流的路径敏感分析	第78-83页
·实验比较	第83-84页
·Java开源软件的测试	第83-84页
·C/C++开源软件的测试	第84页
·本章小结	第84-85页
·参考文献	第85-87页
第7章 软件缺陷检测工具DTS	第87-101页
·DTS简介	第87页
·DTS系统设计	第87-90页
·外部接口设计	第87-88页
·内部接口设计	第88-90页
·DTS系统功能介绍	第90-94页
·DTS的执行环境	第90-91页
·DTS Java系统功能	第91-94页
·实例与测试分析	第94-97页
·本章小结	第97-98页
·参考文献	第98页
·附录:缺陷模式状态机描述模板	第98-101页
第8章 总结	第101-104页
·论文总结和创新点	第101-102页
·进一步的研究工作与问题思考	第102-103页
·参考文献	第103-104页
附录 致谢	第104-106页
附录 攻读博士学位期间的主要论文	第106-107页