面向恶劣环境的嵌入式软件错误检测系统的设计与实现

目录

声明

缩略词

第一章 绪论

1.1 概述

1.2 国内外研究现状

1.3 论文主要工作

1.4 论文组织结构

第二章 软件错误检测系统总体设计

2.1 软件错误检测系统概述

2.2 软件错误检测系统的功能设计

2.3 软件错误检测系统设计

2.4 软件错误检测系统的关键技术

2.5 本章小结

第三章 一种基于标签的控制流检测机制

3.1 面向软错误的控制流检测技术

3.2 控制流特征分析

3.3 SCFD控制流检测机制设计

3.4 SCFD 检错能力分析

3.5 实验与分析

3.6 本章小结

第四章 一种基于源码级的数据流检测机制

4.1 面向软错误的数据流检测技术

4.2 数据流特征分析

4.3 DLD数据流检测机制设计

4.4 DLD算法分析

4.5 实验与分析

4.6 本章小结

第五章 软件错误检测系统的实现

5.1 软件检测系统实现概述

5.2 软件检测系统主要数据结构设计

5.2 核心功能模块的实现

5.3 实例及分析

5.4 本章小结

第六章 总结与展望

6.1 论文工作总结

6.2 进一步研究工作

参考文献

致谢

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