| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-12页 |
| ·课题研究背景及意义 | 第9页 |
| ·当前研究现状 | 第9-11页 |
| ·软件测试 | 第9-10页 |
| ·基于UML 的测试 | 第10-11页 |
| ·论文的研究内容 | 第11-12页 |
| 第二章 基于模型的软件测试 | 第12-23页 |
| ·基于模型的软件测试概述 | 第12-13页 |
| ·软件测试模型 | 第13-15页 |
| ·软件测试模型的抽象原则 | 第13-14页 |
| ·典型的软件测试模型 | 第14-15页 |
| ·基于模型的软件测试过程 | 第15-18页 |
| ·分析理解被测软件 | 第16页 |
| ·选择合适的测试模型 | 第16-17页 |
| ·构造测试模型 | 第17页 |
| ·生成和执行测试用例 | 第17-18页 |
| ·收集测试结果进行分析 | 第18页 |
| ·测试缺陷管理 | 第18页 |
| ·基于模型软件测试的优缺点 | 第18-19页 |
| ·基于模型软件测试的优势 | 第18页 |
| ·基于模型软件测试的缺点 | 第18-19页 |
| ·UML 模型与软件测试 | 第19-22页 |
| ·UML 简介 | 第19-20页 |
| ·常用UML 图形对测试的影响 | 第20-21页 |
| ·UML 模型在软件测试中的优势 | 第21-22页 |
| ·本章小结 | 第22-23页 |
| 第三章 基于PCIRCFG 的UML 顺序图测试方法 | 第23-37页 |
| ·IRCFG | 第23-25页 |
| ·多态性以及对测试的影响 | 第25-27页 |
| ·多态信息表示的研究 | 第27-28页 |
| ·类元组 | 第27-28页 |
| ·多态方法的类集 | 第28页 |
| ·PCIRCFG | 第28-31页 |
| ·CIRCFG 定义 | 第28-29页 |
| ·CIRCFG 的多态性扩展 | 第29-31页 |
| ·基于PCIRCFG 的测试覆盖准则 | 第31-36页 |
| ·完全PCIRCFG 路径覆盖准则及其改进 | 第32-33页 |
| ·RCFG 路径覆盖准则及其改进 | 第33-35页 |
| ·RCFG 分支覆盖准则及其改进 | 第35-36页 |
| ·三种覆盖准则的包含关系 | 第36页 |
| ·本章小结 | 第36-37页 |
| 第四章 测试用例自动生成工具的设计与实现 | 第37-50页 |
| ·TCAGT 的体系结构 | 第37-38页 |
| ·UML 模型转换模块 | 第38-42页 |
| ·XMI 简介 | 第38-39页 |
| ·模型文件到XMI 的转换 | 第39-40页 |
| ·TCAGT 中定义的XMI Schema | 第40-42页 |
| ·PCIRCFG 模型生成模块 | 第42-47页 |
| ·XMI 文件的读取 | 第42-43页 |
| ·PCIRCFG 的数据结构 | 第43-44页 |
| ·PCIRCFG 的构造过程及算法实现 | 第44-47页 |
| ·测试用例生成模块 | 第47-49页 |
| ·本章小结 | 第49-50页 |
| 第五章 实例验证 | 第50-57页 |
| ·饮料销售机系统介绍 | 第50-51页 |
| ·PCIRCFG 的构造 | 第51-55页 |
| ·测试用例的生成 | 第55-56页 |
| ·本章小结 | 第56-57页 |
| 第六章 结束语 | 第57-58页 |
| ·本文的主要工作 | 第57页 |
| ·进一步的工作 | 第57-58页 |
| 参考文献 | 第58-61页 |
| 致谢 | 第61-62页 |
| 在学期间的研究成果 | 第62-63页 |
| 附录 | 第63-77页 |