基于UML的模型转换方法与测试用例优先级排序方法研究

目录

声明

第一章 绪论

1.1 研究背景及意义

1.2 国内外现状

1.3 论文主要研究内容

1.4 论文章节安排

第二章 相关理论与技术

2.1 UML基础知识

2.2 形式化方法概述

2.3 测试用例相关概述

2.4本章小结

第三章 UML顺序图到时间自动机的转换与验证

3.1 单顺序图转换规则

3.2含有引用的顺序图转换规则

3.3 顺序图到时间自动机的转换方法

3.4 一致性验证方法

3.5 模型转换实例

3.6 本章小结

第四章 测试用例生成

4.1 SP测试用例生成方法

4.2 测试用例生成实例

4.3 实验结果分析

4.4 本章小结

第五章 测试用例优先级排序

5.1 状态重要度计算

5.2 TA排序方法

5.3 实验结果分析

5.4 本章小结

第六章 测试平台的实现

6.1 测试平台的功能介绍

6.2 测试平台的执行实例

第七章 总结与展望

7.1 总结

7.2 展望

致谢

参考文献

附录作者在读研期间参加的科研项目与研究成果