| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 1 绪论 | 第7-14页 |
| ·概述 | 第7-8页 |
| ·研究动机及意义 | 第8-9页 |
| ·国内外研究的现状 | 第9-11页 |
| ·软件可靠性技术的发展现状 | 第9-10页 |
| ·软件可靠性验证测试的研究现状 | 第10-11页 |
| ·本文的主要研究内容和组织结构 | 第11-14页 |
| 2 软件可靠性相关理论及技术 | 第14-19页 |
| ·可信性与可靠性的关系 | 第14-15页 |
| ·软件可靠性基本知识 | 第15-16页 |
| ·软件可靠性定义 | 第15页 |
| ·软件可靠性度量指标 | 第15-16页 |
| ·软件可靠性测试 | 第16-18页 |
| ·软件可靠性测试涵义及一般过程 | 第16-17页 |
| ·软件可靠性测试的分类 | 第17-18页 |
| ·软件可靠性增长测试 | 第17-18页 |
| ·软件可靠性验证测试 | 第18页 |
| ·本章小结 | 第18-19页 |
| 3 软件可靠性测试用例产生方法 | 第19-30页 |
| ·基于软件运行剖面的可靠性测试用例产生方法 | 第19-21页 |
| ·软件运行剖面的概念 | 第19页 |
| ·软件运行剖面的构造方法 | 第19-20页 |
| ·软件测试用例的生成 | 第20-21页 |
| ·基于马尔科夫链使用模型的可靠性测试用例产生方法 | 第21-29页 |
| ·马尔科夫链使用模型 | 第21-22页 |
| ·马尔科夫使用链构建 | 第22-26页 |
| ·基于使用链产生测试用例和测试链 | 第26-27页 |
| ·基于测试链的软件可靠性验证测试方法的缺陷 | 第27-29页 |
| ·测试链到使用链的收敛 | 第27-28页 |
| ·使用测试链到使用链收敛准则的缺陷 | 第28-29页 |
| ·本章小结 | 第29-30页 |
| 4 基于先验贝叶斯统计学的可靠性验证测试方法 | 第30-45页 |
| ·软件运行方式建模 | 第30页 |
| ·离散执行软件模型 | 第30页 |
| ·连续执行软件模型 | 第30页 |
| ·先验贝叶斯模型 | 第30-32页 |
| ·先验贝叶斯统计学在软件可靠性验证中的必要性 | 第30-31页 |
| ·先验贝叶斯理论基本思想 | 第31页 |
| ·先验贝叶斯模型 | 第31-32页 |
| ·贝叶斯模型中先验分布的选取方法 | 第32-40页 |
| ·基于共轭方法的先验分布选取 | 第32-35页 |
| ·离散执行软件的共轭先验分布选取 | 第32-34页 |
| ·连续执行软件共轭先验分布的选取 | 第34-35页 |
| ·基于先验矩的超参数计算 | 第35-38页 |
| ·基于共轭最大熵的超参数计算 | 第38-40页 |
| ·基于ML-II理论的先验分布优选 | 第40-43页 |
| ·本章小结 | 第43-45页 |
| 5 基于先验贝叶斯统计学可靠性验证测试方法的仿真计算 | 第45-62页 |
| ·软件可靠性验证测试框架与可靠性指标设定 | 第45-46页 |
| ·仿真计算结果分析与比较 | 第46-61页 |
| ·基于无先验知识贝叶斯方法仿真实验结果分析 | 第46-51页 |
| ·离散执行软件仿真计算结果 | 第46-48页 |
| ·连续执行软件仿真计算结果 | 第48-51页 |
| ·基于先验矩方法的贝叶斯仿真实验结果及分析比较 | 第51-56页 |
| ·基于共轭最大熵方法的贝叶斯仿真实验结果及分析比较 | 第56-60页 |
| ·基于ML-II的先验分布优选计算及分析比较 | 第60-61页 |
| ·本章小结 | 第61-62页 |
| 6 总结与展望 | 第62-63页 |
| 致谢 | 第63-64页 |
| 参考文献 | 第64-67页 |