软件可靠性技术应用研究
| 第1章 绪论 | 第1-11页 |
| ·概述 | 第8-9页 |
| ·课题来源 | 第9页 |
| ·主要工作 | 第9-10页 |
| ·本文组织 | 第10-11页 |
| 第2章 软件可靠性理论与技术 | 第11-28页 |
| ·软件可靠性基础知识 | 第11-16页 |
| ·基本概念 | 第11-12页 |
| ·软件可靠性度量 | 第12-14页 |
| ·软件失效机理 | 第14-15页 |
| ·软件可靠性因素 | 第15-16页 |
| ·软件可靠性分析技术 | 第16-23页 |
| ·软件故障树 | 第16-21页 |
| ·软件可靠性模型 | 第21-23页 |
| ·软件可靠性保障技术 | 第23-28页 |
| ·软件避错技术 | 第23-24页 |
| ·软件容错技术 | 第24-26页 |
| ·故障检测技术 | 第26页 |
| ·故障恢复技术 | 第26-28页 |
| 第3章 系统的可靠性评测 | 第28-39页 |
| ·软件可靠性指标 | 第28-29页 |
| ·软件可靠性测评 | 第29-34页 |
| ·基于可靠性模型的测评方法 | 第29-31页 |
| ·基于统计理论的测评方法 | 第31-34页 |
| ·改进的基于统计理论的测评方法 | 第34-39页 |
| ·基于统计理论的测评方法的缺陷 | 第34-35页 |
| ·基于统计理论的测评方法的改进 | 第35-39页 |
| 第4章 系统可靠性分析与设计 | 第39-58页 |
| ·微机化站间自动闭塞系统 | 第39-42页 |
| ·区间闭塞概念 | 第39页 |
| ·系统概述 | 第39-40页 |
| ·系统工作原理 | 第40-42页 |
| ·系统目标 | 第42页 |
| ·基于 UML的需求分析 | 第42-48页 |
| ·软件故障树分析 | 第48-50页 |
| ·站间通信误码检测 | 第50-55页 |
| ·危害通信因素分析 | 第51页 |
| ·散列算法(SHA-1)工作原理 | 第51-53页 |
| ·SHA-1散列算法应用 | 第53-55页 |
| ·设备控制误码检测 | 第55-56页 |
| ·CRC循环冗余码的工作原理 | 第55页 |
| ·CRC循环冗余码的应用 | 第55-56页 |
| ·站间自动闭塞系统的可靠性评测 | 第56-58页 |
| 总结 | 第58-60页 |
| 致谢 | 第60-61页 |
| 参考文献 | 第61-64页 |
| 攻读学位期间发表的论文 | 第64页 |
