声明
第一章 绪论
1.1研究背景与意义
1.2国内外研究现状
1.3本文研究内容
1.4本文组织结构
第二章 相关理论基础
2.1软件测试及方法
2.2测试用例优先排序
2.3基于模型的软件测试
2.4软件测试模型
2.5本章小结
第三章 基于EFSM模型的测试用例优先排序方法
3.1基于EFSM模型的测试用例优先排序架构
3.2 EFSM模型生成
3.3 EFSM迁移缺陷概率
3.4 EFSM迁移缺陷严重性计算
3.5基于EFSM模型的测试用例优先排序算法
3.6实验分析
3.7本章小结
第四章 基于HMM模型的测试用例优先排序方法
4.1基于HMM模型的测试用例优先排序架构
4.2 HMM模型生成
4.3 HMM隐含状态的缺陷严重性计算
4.4 HMM隐含状态缺陷优先级计算
4.5基于HMM模型的测试用例优先排序算法
4.6实验分析
4.7本章小结
第五章 基于UML模型的测试用例优先排序功能实现
5.1软件自动化测试平台
5.2实例分析
5.3本章小结
第六章 总结与展望
6.1工作总结
6.2未来展望
致谢
参考文献
附录
