基于连续时间贝叶斯网络的可信软件风险预测研究
| 摘要 | 第1-7页 |
| Abstract | 第7-9页 |
| 目录 | 第9-11页 |
| 图清单 | 第11-12页 |
| 表格清单 | 第12-13页 |
| 第一章 、绪论 | 第13-43页 |
| ·研究背景 | 第13-15页 |
| ·国内外研究现状 | 第15-40页 |
| ·静态软件缺陷预测技术 | 第16-29页 |
| ·动态缺陷预测技术 | 第29-33页 |
| ·软件项目风险预测技术 | 第33-37页 |
| ·现有研究的特点与不足 | 第37-40页 |
| ·论文的研究目的、意义和创新点 | 第40-43页 |
| ·论文的研究目的和意义 | 第40-41页 |
| ·论文的主要创新点 | 第41-43页 |
| 第二章 贝叶斯网络基础 | 第43-47页 |
| ·引言 | 第43页 |
| ·贝叶斯网络表示 | 第43-44页 |
| ·贝叶斯网络建模 | 第44-45页 |
| ·贝叶斯网络推理 | 第45-46页 |
| ·动态贝叶斯网络 | 第46页 |
| ·本章小结 | 第46-47页 |
| 第三章 可信软件风险预测框架 | 第47-76页 |
| ·动态故障树 | 第47-48页 |
| ·贝叶斯网络推理所需基础知识 | 第48-50页 |
| ·单位阶跃函数和狄拉克δ函数 | 第48-49页 |
| ·可靠性分布 | 第49-50页 |
| ·连续时间贝叶斯网络的形式化推理 | 第50-63页 |
| ·静态逻辑门的贝叶斯网络表示 | 第50-54页 |
| ·动态逻辑门的贝叶斯网络表示 | 第54-63页 |
| ·可信软件风险预测框架 | 第63-74页 |
| ·知识库 | 第64-74页 |
| ·可信软件风险预测框架分析 | 第74页 |
| ·本章小结 | 第74-76页 |
| 第四章 遗留软件的风险预测与防危性评估 | 第76-90页 |
| ·引言 | 第76-77页 |
| ·风险预测 | 第77-89页 |
| ·SFMEA分析 | 第77-78页 |
| ·软件故障树分析 | 第78-85页 |
| ·贝叶斯网络推理 | 第85-89页 |
| ·本章小结 | 第89-90页 |
| 第五章 基于构件软件的风险预测与抗衰分析 | 第90-98页 |
| ·引言 | 第90页 |
| ·马尔科夫模型 | 第90-93页 |
| ·条件和假设 | 第90-91页 |
| ·马尔科夫模型 | 第91-92页 |
| ·模型分析 | 第92-93页 |
| ·软件可靠性评估 | 第93-96页 |
| ·构件依赖图 | 第94-95页 |
| ·参数分析 | 第95页 |
| ·可靠性分析程序 | 第95-96页 |
| ·实现及验证 | 第96-97页 |
| ·本章小结 | 第97-98页 |
| 第六章 结论与展望 | 第98-101页 |
| ·关于本文 | 第98-99页 |
| ·进一步工作 | 第99-101页 |
| 致谢 | 第101-102页 |
| 参考文献 | 第102-111页 |
| 攻读博士学位期间参加的科研项目和发表及录用的论文 | 第111-112页 |
