安全关键软件中断缺陷分析工具的设计与实现
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| ·课题背景 | 第7页 |
| ·安全关键软件测试技术发展现状 | 第7-9页 |
| ·论文主要工作 | 第9-10页 |
| ·论文组织结构 | 第10-11页 |
| 第二章 相关概念和技术 | 第11-23页 |
| ·安全关键软件介绍 | 第11-12页 |
| ·TI 公司 DSP 芯片介绍 | 第12-13页 |
| ·TI 公司 C6X 系列芯片中断程序设计 | 第13-19页 |
| ·中断基础知识 | 第14页 |
| ·中断寄存器 | 第14-15页 |
| ·CCS 环境下中断程序设计 | 第15-19页 |
| ·COFF 文件介绍 | 第19-23页 |
| 第三章 中断缺陷分析工具需求分析与总体设计 | 第23-35页 |
| ·中断缺陷故障分类 | 第23-25页 |
| ·中断缺陷分析工具需求分析 | 第25-27页 |
| ·中断缺陷分析工具总体需求 | 第25-26页 |
| ·现有中断程序测试流程 | 第26页 |
| ·中断程序测试流程改进 | 第26-27页 |
| ·静态分析技术的优势 | 第27页 |
| ·中断缺陷分析工具总体设计 | 第27-35页 |
| ·中断系统资源冲突检测模块设计 | 第28-32页 |
| ·中断实时性检测模块的设计 | 第32-35页 |
| 第四章 中断实时性检测模块的实现 | 第35-59页 |
| ·函数内部节点流程图的生成 | 第35-39页 |
| ·COFF 文件解析 | 第39-47页 |
| ·COFF 文件结构分析和 C 语言描述 | 第39-46页 |
| ·COFF 文件解析过程 | 第46-47页 |
| ·代码执行时间的解析 | 第47-54页 |
| ·生成带有行号表的 COFF 目标文件 | 第47-48页 |
| ·COFF 行号表解析 | 第48-51页 |
| ·CPU 指令周期计算 | 第51-54页 |
| ·中断函数执行最大时间计算 | 第54-59页 |
| ·构建函数节点调用关系有向图 | 第54-56页 |
| ·加权有向图的路径算法 | 第56-59页 |
| 第五章 中断缺陷分析工具功能测试 | 第59-65页 |
| ·测试环境介绍 | 第59页 |
| ·测试流程和方法 | 第59-62页 |
| ·中断缺陷工具测试流程 | 第59-60页 |
| ·中断缺陷分析工具测试方法 | 第60-62页 |
| ·测试结果分析 | 第62-65页 |
| ·资源冲突检测模块测试结果 | 第62页 |
| ·中断实时性监测模块测试结果 | 第62-65页 |
| 第六章 结束语 | 第65-67页 |
| ·总结 | 第65页 |
| ·展望 | 第65-67页 |
| 致谢 | 第67-69页 |
| 参考文献 | 第69-71页 |
