基于抽象解释的嵌入式程序不变量静态测试研究与实现
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-13页 |
| 第一章 绪论 | 第13-18页 |
| ·引言 | 第13页 |
| ·课题背景及意义 | 第13-14页 |
| ·静态测试研究现状 | 第14-15页 |
| ·国外研究现状 | 第14-15页 |
| ·国内研究现状 | 第15页 |
| ·论文研究内容 | 第15-16页 |
| ·论文研究组织结构 | 第16-18页 |
| 第二章 嵌入式软件静态测试及程序不变量 | 第18-29页 |
| ·引言 | 第18页 |
| ·软件测试概述 | 第18-22页 |
| ·软件测试的定义 | 第18页 |
| ·软件测试的分类 | 第18-22页 |
| ·嵌入式软件静态测试概述 | 第22-27页 |
| ·嵌入式软件静态测试的概念 | 第22-23页 |
| ·嵌入式软件静态测试的分析技术 | 第23-26页 |
| ·嵌入式软件静态测试工具 | 第26-27页 |
| ·程序不变量概述 | 第27-28页 |
| ·程序不变量的基本概念 | 第27页 |
| ·程序不变量的分类 | 第27-28页 |
| ·程序不变量的获取技术 | 第28页 |
| ·程序不变量与软件测试的关系 | 第28页 |
| ·本章小结 | 第28-29页 |
| 第三章 抽象解释研究 | 第29-43页 |
| ·引言 | 第29页 |
| ·抽象解释理论 | 第29-33页 |
| ·抽象解释理论的基本概念 | 第29-30页 |
| ·抽象解释理论框架 | 第30-31页 |
| ·区间抽象域 | 第31-33页 |
| ·抽象解释分析技术 | 第33-40页 |
| ·数据结构接口 | 第33-34页 |
| ·变量区间转化与存储 | 第34-35页 |
| ·布尔可满足问题 | 第35-37页 |
| ·程序趋向 | 第37-40页 |
| ·抽象解释应用的扩展 | 第40-42页 |
| ·程序不变量与多项式关系的转化 | 第40页 |
| ·多项式关系正确性 | 第40-41页 |
| ·多项式关系正确性抽象证明 | 第41-42页 |
| ·本章小结 | 第42-43页 |
| 第四章 程序不变量静态测试系统设计 | 第43-57页 |
| ·引言 | 第43页 |
| ·系统总体设计 | 第43-44页 |
| ·程序不变量获取子系统设计 | 第44-53页 |
| ·层次架构 | 第44-45页 |
| ·构造实现 | 第45-53页 |
| ·程序不变量验测子系统设计 | 第53-56页 |
| ·层次架构 | 第53-54页 |
| ·构造实现 | 第54-56页 |
| ·本章小结 | 第56-57页 |
| 第五章 程序不变量静态测试系统算法研究 | 第57-81页 |
| ·引言 | 第57页 |
| ·程序不变量获取子系统算法研究 | 第57-77页 |
| ·基础分析层算法 | 第57-67页 |
| ·抽象解释层算法 | 第67-75页 |
| ·符号执行层算法 | 第75-77页 |
| ·程序不变量验测子系统算法研究 | 第77-80页 |
| ·验证层算法 | 第77-78页 |
| ·静态错误检测层算法 | 第78-80页 |
| ·本章小结 | 第80-81页 |
| 第六章 程序不变量静态测试系统的验证 | 第81-93页 |
| ·引言 | 第81页 |
| ·测试环境构造 | 第81-82页 |
| ·系统主界面 | 第82页 |
| ·程序不变量获取子系统验证 | 第82-86页 |
| ·程序不变量验测子系统验证 | 第86-92页 |
| ·本章小结 | 第92-93页 |
| 第七章 总结与展望 | 第93-95页 |
| ·本文总结 | 第93-94页 |
| ·研究展望 | 第94-95页 |
| 参考文献 | 第95-98页 |
| 致谢 | 第98-99页 |
| 在学期间的研究成果及发表的学术论文 | 第99页 |
