软件可靠性与安全性的相互关系及其转换规律研究
| 摘要 | 第1-8页 |
| Abstract | 第8-11页 |
| 第1章 绪论 | 第11-16页 |
| ·研究背景及意义 | 第11-12页 |
| ·国内外研究现状 | 第12-13页 |
| ·存在的问题 | 第13-14页 |
| ·主要研究内容 | 第14页 |
| ·论文的组织结构 | 第14-16页 |
| 第2章 软件可靠性与软件安全性 | 第16-37页 |
| ·软件与硬件产品的特性分析 | 第16-17页 |
| ·软件可靠性 | 第17-29页 |
| ·软件可靠性中的一些相关概念 | 第18-19页 |
| ·影响软件可靠性的主要因素 | 第19-20页 |
| ·经典的软件可靠性模型 | 第20-29页 |
| ·软件安全性 | 第29-32页 |
| ·安全性的相关概念 | 第30页 |
| ·软件安全性研究现状 | 第30-32页 |
| ·软件可靠性与安全性之间的一些焦点 | 第32-36页 |
| ·失效严重程度类的划分 | 第33-35页 |
| ·一些争论问题的焦点 | 第35-36页 |
| ·本章小结 | 第36-37页 |
| 第3章 软件可靠性与安全性的公理体系 | 第37-44页 |
| ·符号说明 | 第37-38页 |
| ·主要概念 | 第38-39页 |
| ·相关定义 | 第39-41页 |
| ·公理与断言 | 第41-42页 |
| ·本章小结 | 第42-44页 |
| 第4章 可靠性与安全性的相互关系及其转换规律 | 第44-62页 |
| ·相互关系及其转换规律的研究状况 | 第44页 |
| ·软件可靠性与安全性的相互关系 | 第44-53页 |
| ·软件可靠性与安全性的转换规律 | 第53-60页 |
| ·本章小结 | 第60-62页 |
| 第5章 软件的可靠性度量与安全性度量 | 第62-67页 |
| ·构件软件的描述 | 第62页 |
| ·可靠性与安全性度量 | 第62-65页 |
| ·实例分析 | 第65-66页 |
| ·本章小结 | 第66-67页 |
| 第6章 转换规律在故障树方法中的应用 | 第67-76页 |
| ·故障树方法简述 | 第67-68页 |
| ·故障树方法中的应用 | 第68-72页 |
| ·故障树的定性分析方法 | 第68-69页 |
| ·故障树的定量计算 | 第69-71页 |
| ·转换规律的应用 | 第71-72页 |
| ·分析举例 | 第72-75页 |
| ·本章小结 | 第75-76页 |
| 第7章 总结与展望 | 第76-78页 |
| ·总结 | 第76页 |
| ·展望 | 第76-78页 |
| 致谢 | 第78-80页 |
| 参考文献 | 第80-92页 |
| 中文参考文献: | 第80-82页 |
| 英文参考文献: | 第82-92页 |
| 学习期间以第一作者在核心以上刊物发表的论文目录 | 第92-93页 |
| 在学习期间参加的科研项目情况 | 第93-94页 |