| 摘要 | 第1-4页 |
| ABSTRACT | 第4-8页 |
| 1 绪论 | 第8-12页 |
| ·课题研究意义 | 第8-9页 |
| ·国内外研究现状 | 第9-10页 |
| ·研究内容及主要工作 | 第10-11页 |
| ·论文章节安排 | 第11-12页 |
| 2 软件可靠性分析概述 | 第12-20页 |
| ·基于构件的软件系统 | 第12页 |
| ·软件可靠性 | 第12-14页 |
| ·基于体系结构的软件可靠性模型 | 第14-17页 |
| ·基于路径的模型 | 第14-15页 |
| ·基于状态的模型 | 第15-17页 |
| ·统一建模语言 UML | 第17-19页 |
| ·UML 与软件可靠性模型 | 第19页 |
| ·本章小结 | 第19-20页 |
| 3 基于 UML 的软件模型描述 | 第20-39页 |
| ·UML 用例图和顺序图 | 第20-24页 |
| ·UML 用例图 | 第20页 |
| ·UML 顺序图 | 第20-24页 |
| ·扩展 UML 顺序图组合片段 | 第24-25页 |
| ·UML 用例图、顺序图对系统建模 | 第25-30页 |
| ·UML 用例图、顺序图形式化定义 | 第25-28页 |
| ·用扩展的用例图对系统功能进行描述 | 第28-29页 |
| ·用扩展的顺序图描述复杂用例子系统行为 | 第29-30页 |
| ·一个自动提款机的例子 | 第30-38页 |
| ·用户分析 | 第31页 |
| ·用例分析 | 第31-33页 |
| ·利用 UML 顺序图描述取款子系统 | 第33-38页 |
| ·本章小结 | 第38-39页 |
| 4 扩展的 UML 模型到 Markov 模型的自动转换 | 第39-57页 |
| ·QVT 转换规则 | 第39-41页 |
| ·模型驱动架构(MDA) | 第39-40页 |
| ·模型转换 | 第40页 |
| ·QVT | 第40-41页 |
| ·UML 到 Markov 的基本转换框架 | 第41-42页 |
| ·UML 顺序图转换为局部构件转移图 | 第42-50页 |
| ·UML 顺序图元模型 | 第42-43页 |
| ·构件转移图（CTG）元模型 | 第43-44页 |
| ·顺序图到 CTG 的转换 | 第44-48页 |
| ·实例分析 | 第48-50页 |
| ·规范化局部构件图 | 第50-52页 |
| ·用例构件转移图（UCTG） | 第52-53页 |
| ·构件转移图转换为 Markov 链 | 第53-55页 |
| ·Markov 元模型 | 第53-55页 |
| ·实例分析 | 第55页 |
| ·计算系统可靠性 | 第55-56页 |
| ·本章小结 | 第56-57页 |
| 5 UML 模型到 Markov 链自动生成系统 U2M | 第57-66页 |
| ·xml | 第57页 |
| ·系统概述 | 第57-62页 |
| ·系统结构 | 第57-58页 |
| ·顺序图到 CTG 转换算法 | 第58-62页 |
| ·U2M 实现界面 | 第62-64页 |
| ·本章小结 | 第64-66页 |
| 6 总结与展望 | 第66-68页 |
| ·工作总结 | 第66-67页 |
| ·展望 | 第67-68页 |
| 致谢 | 第68-69页 |
| 参考文献 | 第69-72页 |
| 附录 | 第72页 |
| A. 作者在攻读学位期间发表的论文目录 | 第72页 |
| B. 作者在攻读学位期间参与的科研项目目录 | 第72页 |