机载软件的安全性测试研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-12页 |
| 缩略词 | 第12-13页 |
| 第一章 绪论 | 第13-20页 |
| ·机载软件安全性研究背景及现状 | 第13-14页 |
| ·机载软件特点 | 第14-18页 |
| ·实时性、反应性及嵌入性 | 第15-16页 |
| ·多样性及复杂性 | 第16页 |
| ·安全性与可靠性 | 第16-17页 |
| ·机载软件各特性间关系 | 第17-18页 |
| ·本文工作及意义 | 第18-19页 |
| ·本文的组织结构 | 第19-20页 |
| 第二章 机载软件安全性测试关键技术 | 第20-38页 |
| ·机载软件安全性技术相关概述 | 第20-29页 |
| ·机载软件适航标准 | 第20-22页 |
| ·软件安全性分析 | 第22-23页 |
| ·软件安全性测试 | 第23-25页 |
| ·软件安全性评估 | 第25-26页 |
| ·软件安全性保障框架 | 第26-29页 |
| ·安全性分析方法 | 第29-36页 |
| ·故障树分析(FTA) | 第29-33页 |
| ·动态流程图(DFM) | 第33-34页 |
| ·Markov链 | 第34-36页 |
| ·本章小结 | 第36-38页 |
| 第三章 基于DFM及FTA的机载软件安全性分析 | 第38-54页 |
| ·机载软件安全性保障测试框架 | 第38-40页 |
| ·机载软件的风险 | 第40-45页 |
| ·本章节安全性相关名词 | 第40-41页 |
| ·场景关系图 | 第41-42页 |
| ·机载软件失效模型 | 第42-43页 |
| ·软件交互场景模型 | 第43-44页 |
| ·安全性分析目标 | 第44-45页 |
| ·基于DFM和FTA的安全性分析 | 第45-53页 |
| ·DFM构造软件与系统交互行为 | 第45-48页 |
| ·FTA生成故障树及最小割集 | 第48-50页 |
| ·软件安全性SISM构建 | 第50-51页 |
| ·基于场景的安全性需求验证 | 第51-52页 |
| ·规范场景的结构重要度分析 | 第52-53页 |
| ·本章小结 | 第53-54页 |
| 第四章 基于Markov链的安全性评估及测试策略 | 第54-69页 |
| ·基于Markov链的安全性评估方法 | 第54-62页 |
| ·符号定义 | 第54页 |
| ·单实体状态依赖关系图 | 第54-56页 |
| ·基本场景依赖关系 | 第56-58页 |
| ·基本场景及规范场景发生率 | 第58-60页 |
| ·基本场景及规范场景的合重要度 | 第60-62页 |
| ·基于安全性场景的安全性评估 | 第62-63页 |
| ·基于安全性场景的测试时间分配策略 | 第63-67页 |
| ·软件安全可靠度模型 | 第64-65页 |
| ·基于合重要度的规范场景测试指标分配 | 第65-66页 |
| ·基于合重要度的基本场景测试指标分配 | 第66-67页 |
| ·动态分配安全可靠度目标 | 第67页 |
| ·本章小结 | 第67-69页 |
| 第五章 实验与结果分析 | 第69-79页 |
| ·实验目的与步骤 | 第69页 |
| ·安全性分析及仿真测试实验 | 第69-76页 |
| ·机载软件示例的系统说明 | 第69-70页 |
| ·软件行为描述 | 第70页 |
| ·系统相关实体行为说明 | 第70-71页 |
| ·系统仿真行为描述 | 第71-73页 |
| ·系统及软件行为建模 | 第73-75页 |
| ·模型分析及仿真测试 | 第75-76页 |
| ·安全性测试策略实验 | 第76-78页 |
| ·本章小结 | 第78-79页 |
| 第六章 总结与展望 | 第79-81页 |
| ·本文总结 | 第79-80页 |
| ·本文展望 | 第80-81页 |
| 参考文献 | 第81-85页 |
| 致谢 | 第85-86页 |
| 在学期间的研究成果及发表的学术论文 | 第86页 |
