封面
目录
中文摘要
英文摘要
第 1 章 绪论
1.1 研究背景及意义
1.2 国内外研究现状
1.3 存在的问题
1.4 主要研究内容
1.5 论文的组织结构
第 2 章 软件可靠性与软件安全性
2.1 软件与硬件产品的特性分析
2.2 软件可靠性(Software Reliability)
2.3 软件安全性(Software Safety)
2.4 软件可靠性与安全性之间的一些焦点
2.5 本章小结
第 3 章 软件可靠性与安全性的公理体系
3.1 符号说明
3.2 主要概念
3.3 相关定义
3.4 公理与断言
3.5 本章小结
第 4 章 可靠性与安全性的相互关系及其转换规律
4.1 相互关系及其转换规律的研究状况
4.2 软件可靠性与安全性的相互关系
4.3 软件可靠性与安全性的转换规律
4.4 本章小结
第 5 章 软件的可靠性度量与安全性度量
5.1 构件软件的描述
5.2 可靠性与安全性度量
5.3 实例分析
5.4 本章小结
第 6 章 转换规律在故障树方法中的应用
6.1 故障树方法简述
6.2 故障树方法中的应用
6.3 分析举例
6.4 本章小结
第 7 章 总结与展望
7.1 总结
7.2 展望
致谢
参考文献
中文参考文献
英文参考文献
学习期间以第一作者在核心以上刊物发表的论文目录
在学习期间参加的科研项目情况
声明