基于模型验证的故障定位方法研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-16页 |
| ·研究动因与现状 | 第9-14页 |
| ·研究动因 | 第9-10页 |
| ·研究现状 | 第10-14页 |
| ·存在问题 | 第14页 |
| ·本文的研究目标与研究工作 | 第14-15页 |
| ·论文的组织安排 | 第15-16页 |
| 第二章 研究基础 | 第16-24页 |
| ·模型验证技术 | 第16-22页 |
| ·基本概念 | 第16-18页 |
| ·模型抽象 | 第18页 |
| ·分支时态逻辑 | 第18-21页 |
| ·模型验证工具NuSMV | 第21-22页 |
| ·故障定位技术 | 第22-24页 |
| 第三章 故障定位系统框架 | 第24-27页 |
| ·基本思路 | 第24-25页 |
| ·系统框架 | 第25-27页 |
| 第四章 基于模型验证的故障定位 | 第27-40页 |
| ·模型抽象 | 第27-36页 |
| ·初步抽象 | 第28-30页 |
| ·合并CFG | 第30-32页 |
| ·模型转换 | 第32-33页 |
| ·构造标准Kripke模型 | 第33-36页 |
| ·获取反例路径 | 第36页 |
| ·反例路径分析 | 第36-37页 |
| ·基于反例路径的故障定位 | 第37-40页 |
| 第五章 实验验证与结果分析 | 第40-53页 |
| ·实例验证 | 第40-52页 |
| ·研究对象 | 第40-41页 |
| ·模型建立 | 第41-49页 |
| ·模型验证 | 第49-50页 |
| ·反例路径分析及故障定位 | 第50-52页 |
| ·实例分析 | 第52-53页 |
| 第六章 结束语 | 第53-54页 |
| ·本文的主要工作和相关创新点 | 第53页 |
| ·论文存在的问题与下一步的研究展望 | 第53-54页 |
| 参考文献 | 第54-58页 |
| 在校期间参与的科研项目 | 第58-59页 |
| 致谢 | 第59-60页 |
