封面
声明
中文摘要
英文摘要
目录
第1章 绪 论
1.1 研究背景与意义
1.2 可靠性测试模型研究现状
1.3 论文主要研究内容
1.4 论文章节安排
第2章 软件可靠性测试模型理论基础
2.1 软件可靠性测试基本概念
2.2 软件可靠性测试模型
2.3 Markov链使用模型
2.4 UML模型
2.5 本章小结
第3章 软件UML模型可靠性测试扩展
3.1 UML模型可靠性扩展
3.2 扩展后用例图和顺序图形式定义
3.3 一个自动取款机的软件实例
3.4 本章小结
第4章 基于UML的软件可靠性测试模型构建
4.1 基于UML的可靠性测试模型生成基础
4.2 Markov链使用模型中转移概率的确定
4.3 基于UML的软件Markov链使用模型生成
4.4 扩展后UML模型一致性验证
4.5 本章小结
第5章 使用模型构建工具UM2M设计与实现
5.1 UM2M实现基础
5.2 UM2M的原型架构设计
5.3 UM2M详细设计与实现
5.4 UM2M实现界面
5.5 一个无人机位姿控制系统实例验证
5.6 本章小结
第6章 总结与展望
6.1 本文工作总结
6.2 未来研究方向展望
致谢
参考文献
附录
杭州电子科技大学;