| 摘要 | 第1-3页 |
| Abstract | 第3-7页 |
| 第一章 绪论 | 第7-10页 |
| ·研究背景 | 第7-8页 |
| ·研究内容 | 第8-10页 |
| 第二章 UML的多视图一致性 | 第10-23页 |
| ·UML概述 | 第10页 |
| ·UML的相关概念 | 第10-12页 |
| ·UML模型的一致性问题 | 第12-22页 |
| ·本章小结 | 第22-23页 |
| 第三章 UML模型状态图检测 | 第23-30页 |
| ·问题背景 | 第23页 |
| ·层次自动机表示状态图 | 第23-25页 |
| ·状态图的检验方法 | 第25-27页 |
| ·实例与小结 | 第27-30页 |
| 第四章 基于UML的构件抽取及构件可靠性评估 | 第30-35页 |
| ·基于UML的构件抽取 | 第30-31页 |
| ·基于构件的系统模型的可靠性 | 第31-34页 |
| ·本章小结 | 第34-35页 |
| 第五章 综合检测系统的初步设计 | 第35-40页 |
| ·引言 | 第35页 |
| ·系统的初步设计 | 第35-39页 |
| ·本章小结 | 第39-40页 |
| 结论 | 第40-41页 |
| 致谢 | 第41-42页 |
| 参考文献 | 第42-44页 |
| 作者简介 | 第44页 |
| 攻读硕士学位期间研究成果 | 第44-45页 |