安全相关系统嵌入式软件验证技术的研究
| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第1章 绪论 | 第9-13页 |
| ·课题研究背景 | 第9-10页 |
| ·课题研究意义 | 第10页 |
| ·研究现状分析 | 第10-12页 |
| ·研究内容介绍 | 第12页 |
| ·本文各章节内容组织 | 第12-13页 |
| 第2章 安全相关系统软件验证标准化研究 | 第13-20页 |
| ·IEC 61508使用背景 | 第13页 |
| ·IEC 61508国内外研究概况 | 第13-14页 |
| ·安全相关系统软件验证规范 | 第14-19页 |
| ·软件系统性能力和开发生命周期模型 | 第14-15页 |
| ·技术措施的选定 | 第15-19页 |
| ·本章小结 | 第19-20页 |
| 第3章 自动扶梯可编程电子安全相关系统概述 | 第20-27页 |
| ·自动扶梯组成结构与工作原理 | 第20-21页 |
| ·自动扶梯安全相关系统 | 第21-22页 |
| ·可编程电子安全相关系统分析 | 第22-25页 |
| ·系统设计分析 | 第22-23页 |
| ·安全功能分析 | 第23-25页 |
| ·安全要求规范 | 第25页 |
| ·本章小结 | 第25-27页 |
| 第4章 可编程电子安全相关系统软件静态测试研究 | 第27-49页 |
| ·软件静态测试概述 | 第27页 |
| ·软件静态测试工具 | 第27-28页 |
| ·基本静态分析 | 第28-32页 |
| ·代码格式化 | 第28页 |
| ·编码规则验证 | 第28-32页 |
| ·复杂度分析 | 第32-40页 |
| ·控制流图及节点分析 | 第32-33页 |
| ·McCabe圈复杂度 | 第33-36页 |
| ·McCabe基本圈复杂度 | 第36-37页 |
| ·Halstead软件科学度量 | 第37-38页 |
| ·LCSAJ密度和代码可达性 | 第38-40页 |
| ·静态数据流分析 | 第40-42页 |
| ·函数调用信息 | 第40页 |
| ·数据流异常 | 第40-42页 |
| ·静态质量结果报告 | 第42-43页 |
| ·静态分析图形化显示 | 第43-47页 |
| ·函数调用关系图 | 第43-44页 |
| ·Kiviat图 | 第44-47页 |
| ·静态测试报告规范 | 第47页 |
| ·可编程电子安全相关系统软件静态测试工作总结 | 第47-48页 |
| ·本章小结 | 第48-49页 |
| 第5章 可编程电子安全相关系统软件动态测试研究 | 第49-69页 |
| ·单元测试及其覆盖测试概述 | 第49页 |
| ·覆盖测试研究 | 第49-61页 |
| ·覆盖测试的类别 | 第49-50页 |
| ·最少测试用例数设计概述 | 第50页 |
| ·最少测试用例数设计研究 | 第50-61页 |
| ·可编程电子安全相关系统软件单元测试流程 | 第61-68页 |
| ·动态单元测试环境的建立 | 第61-62页 |
| ·动态单元测试 | 第62-68页 |
| ·本章小结 | 第68-69页 |
| 第6章 总结与展望 | 第69-71页 |
| ·论文总结 | 第69页 |
| ·工作展望 | 第69-71页 |
| 参考文献 | 第71-75页 |
| 致谢 | 第75-76页 |
| 攻读硕士期间发表的论文 | 第76页 |
