基于抽象解释的嵌入式程序不变量静态测试研究与实现

封面

声明

中文摘要

英文摘要

目录

图表清单

注释表

第一章 绪 论

1.1 引言

1.2 课题背景及意义

1.3 嵌入式软件静态测试研究现状

1.4 论文研究内容

1.5 论文研究组织结构

第二章 嵌入式软件静态测试及程序不变量

2.1 引言

2.2 软件测试概述

2.3 嵌入式软件静态测试概述

2.4 程序不变量概述

2.5 本章小结

第三章 抽象解释研究

3.1 引言

3.2 抽象解释理论

3.3 抽象解释分析技术

3.4 抽象解释应用的扩展

3.5 本章小结

第四章 程序不变量静态测试系统设计

4.1 引言

4.2 系统总体设计

4.3 程序不变量获取子系统设计

4.4 程序不变量验测子系统设计

4.5 本章小结

第五章 程序不变量静态测试系统算法研究

5.1 引言

5.2 程序不变量获取子系统算法研究

5.3 程序不变量验测子系统算法研究

5.4 本章小结

第六章 程序不变量静态测试系统的验证

6.1 引言

6.2 测试环境构造

6.3 系统主界面

6.4 程序不变量获取子系统验证

6.5 程序不变量验测子系统验证

6.6 本章小结

第七章 总结与展望

7.1 本文总结

7.2 研究展望

参考文献

致谢

在学期间的研究成果及发表的学术论文