基于UML模型和OCL约束的类间交互测试用例生成方法研究

摘要	第1-5页
Abstract	第5-7页
目录	第7-9页
1 引言	第9-19页
·研究背景及意义	第9-11页
·基于模型的软件测试研究现状	第11-16页
·面向对象软件测试的研究现状	第11-13页
·UML的研究现状	第13-15页
·OCL的研究现状	第15-16页
·本文主要研究内容及成果	第16-18页
·本文的组织结构	第18-19页
2 相关技术	第19-25页
·UML技术	第19-22页
·OCL技术	第22-24页
·本章小结	第24-25页
3 执行图EG的生成	第25-38页
·相关概念	第25-26页
·执行图EG及其生成算法	第26-32页
·实例分析	第32-37页
·本章小结	第37-38页
4 执行图EG的遍历及测试用例的生成	第38-46页
·相关概念	第38页
·测试路径的生成	第38-40页
·测试用例的生成及优化	第40-43页
·实例分析	第43-45页
·本章小结	第45-46页
5 实验分析	第46-52页
·组合片段处理的有效性实验	第46-47页
·多态方法处理实验	第47-48页
·多态方法处理有效性	第48-49页
·测试用例的有效性	第49-51页
·本章小结	第51-52页
6 结论及下一步工作	第52-53页
参考文献	第53-57页
个人简历 在校期间发表的学术论文与研究成果	第57-58页
致谢	第58页