考虑非理想排错过程的软件可靠性模型研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-14页 |
| ·软件可靠性的研究背景和研究意义 | 第9-11页 |
| ·软件可靠性的发展和研究现状 | 第11-12页 |
| ·国外方面 | 第11-12页 |
| ·国内方面 | 第12页 |
| ·论文工作 | 第12页 |
| ·论文结构 | 第12-14页 |
| 第二章 软件可靠性理论 | 第14-30页 |
| ·软件可靠性的相关概念 | 第14-18页 |
| ·软件可靠性的定义 | 第14-15页 |
| ·软件可靠性有关术语的定义 | 第15-16页 |
| ·软件可靠性的相关数学表达 | 第16-18页 |
| ·影响软件可靠性的因素 | 第18-19页 |
| ·软件可靠性建模 | 第19-23页 |
| ·软件可靠性建模的基本问题 | 第19-20页 |
| ·软件可靠性的建模方法 | 第20-21页 |
| ·模型假设 | 第21-22页 |
| ·建模原理与建模过程 | 第22-23页 |
| ·软件可靠性模型中参数估计方法 | 第23-24页 |
| ·最大似然法 | 第23-24页 |
| ·最小二乘法 | 第24页 |
| ·贝叶斯估计法 | 第24页 |
| ·软件可靠性模型选择 | 第24-29页 |
| ·模型选择的意义 | 第24-25页 |
| ·模型评价准则 | 第25-28页 |
| ·模型选择方法 | 第28-29页 |
| ·小结 | 第29-30页 |
| 第三章 经典软件可靠性模型 | 第30-42页 |
| ·随机过程类模型 | 第31-38页 |
| ·J-M 模型(马尔可夫过程模型) | 第31-32页 |
| ·G-O 模型(非齐次泊松过程模型NHPP) | 第32-34页 |
| ·Musa 执行时间模型 | 第34-36页 |
| ·S-W 模型 | 第36-38页 |
| ·非随机过程类模型 | 第38-41页 |
| ·Littlewood-Verrall 模型 | 第38-39页 |
| ·Nelson 模型(基于输入域的模型) | 第39-40页 |
| ·其它软件可靠性模型 | 第40-41页 |
| ·小结 | 第41-42页 |
| 第四章 几种改进的G-O模型 | 第42-49页 |
| ·错误发现率是随时间变化的模型 | 第42-43页 |
| ·模型假设 | 第42-43页 |
| ·模型建立 | 第43页 |
| ·排错过程引入新错误的模型 | 第43-45页 |
| ·模型假设 | 第44页 |
| ·模型建立 | 第44-45页 |
| ·不完全排错模型 | 第45-46页 |
| ·模型假设 | 第45-46页 |
| ·模型建立 | 第46页 |
| ·ZTP 模型 | 第46-48页 |
| ·模型假设 | 第47页 |
| ·模型建立 | 第47-48页 |
| ·小结 | 第48-49页 |
| 第五章 考虑非理想排错过程的软件可靠性模型 | 第49-63页 |
| ·模型假设 | 第50页 |
| ·模型建立 | 第50-51页 |
| ·模型中相关函数的选取 | 第51-54页 |
| ·错误发现率函数 | 第51-52页 |
| ·错误排除时间 | 第52-53页 |
| ·错误排除率函数 | 第53页 |
| ·错误引入率函数 | 第53-54页 |
| ·模型的特例 | 第54-55页 |
| ·参数估计 | 第55-57页 |
| ·模型验证与评估 | 第57-62页 |
| ·模型的评测标准 | 第57-58页 |
| ·仿真平台及使用的模型 | 第58-59页 |
| ·仿真验证分析(1) | 第59-61页 |
| ·仿真验证分析(2) | 第61-62页 |
| ·小结 | 第62-63页 |
| 第六章 总结与展望 | 第63-65页 |
| ·论文总结 | 第63-64页 |
| ·工作展望 | 第64-65页 |
| 参考文献 | 第65-68页 |
| 致谢 | 第68-69页 |
| 研究生期间发表的论文 | 第69页 |
