基于OCL约束的状态图测试方法的研究

中文摘要	第1-5页
英文摘要	第5-10页
1 绪论	第10-16页
·论文的选题及研究意义	第10-11页
·国内外研究现状及存在的问题	第11-13页
·论文主要工作	第13-14页
·本文的组织安排	第14-16页
2 基于 UML 的软件测试	第16-32页
·基于模型的软件测试	第16-17页
·模型简介	第16-17页
·测试中常用模型介绍	第17页
·自动化软件测试	第17-18页
·自动化测试简介	第17-18页
·自动化测试成熟度	第18页
·自动化测试的优点和局限	第18页
·UML 与软件测试	第18-21页
·UML 简介	第18-19页
·UML 模型在软件测试中的优势	第19-20页
·UML 图在面向对象软件测试中的应用	第20-21页
·UML 类图与状态图	第21-23页
·UML 类图	第21-22页
·UML 状态图	第22-23页
·对象约束语言	第23-30页
·OCL 简介	第23-24页
·OCL 的构成	第24-25页
·OCL 与UML 模型	第25-26页
·OCL 实例	第26页
·OCL 约束对测试的影响	第26-28页
·当前的OCL 工具及其比较	第28-30页
·基于UML 的测试框架	第30-31页
·本章小结	第31-32页
3 基于 UML 状态图的测试用例生成	第32-46页
·基础知识	第32-37页
·软件测试的充分性准则	第32-33页
·UML 状态图的形式化定义	第33-34页
·基于UML 状态图的覆盖准则	第34-35页
·等价类划分法	第35-36页
·边界值分析法	第36-37页
·带OCL 约束的UML 状态图测试用例生成	第37-43页
·OCL 与类图	第37-38页
·带OCL 约束的状态图	第38-39页
·状态图测试线索的生成	第39-40页
·测试用例的生成	第40-43页
·算法描述	第43-45页
·状态转换序列的生成	第43-44页
·测试线索的生成	第44页
·测试用例的生成	第44-45页
·本章小结	第45-46页
4 基于 UML/OCL 的测试框架	第46-54页
·基于UML/OCL 的测试框架	第46页
·测试配置模块	第46-47页
·数据预处理模块	第47页
·XML 文件解析模块	第47-50页
·XML 与DOM	第47-50页
·信息获取	第50页
·测试线索生成模块	第50-52页
·状态邻接表生成	第50-51页
·状态转换序列生成	第51-52页
·带OCL 约束的测试线索生成	第52页
·用例生成模块	第52页
·测试执行及结果分析模块	第52-53页
·本章小结	第53-54页
5 系统实验及结果分析	第54-78页
·工具选择	第54-56页
·建模工具	第54页
·开发平台	第54-56页
·开发语言	第56页
·模型文件分析	第56-60页
·实验模型	第56-57页
·类图与约束信息	第57-58页
·状态图与转换事件	第58-60页
·系统实验	第60-75页
·实验模型	第60-62页
·配置文件设置	第62-63页
·数据预处理及信息提取	第63-68页
·生成测试线索	第68-73页
·生成测试用例	第73-75页
·结果分析	第75-77页
·本章小结	第77-78页
6 总结和进一步的工作	第78-80页
·总结	第78-79页
·进一步工作	第79-80页
致谢	第80-82页
参考文献	第82-86页
附录	第86-95页
A. 作者在攻读学位期间发表的论文目录	第86页
B. 状态转换序列集	第86-88页
C. 带OCL 约束的测试线索	第88-95页