基于模型的软件测试自动化研究--融合UML模型自动生成测试用例的应用研究
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-13页 |
| ·研究背景及意义 | 第7-8页 |
| ·国内外研究现状 | 第8-10页 |
| ·国外研究现状 | 第8-9页 |
| ·国内研究现状 | 第9-10页 |
| ·本文的主要内容 | 第10-11页 |
| ·本文的组织结构 | 第11-13页 |
| 第二章 基于模型的测试技术 | 第13-21页 |
| ·软件测试 | 第13-17页 |
| ·软件测试的定义 | 第13页 |
| ·软件测试的原则 | 第13-14页 |
| ·软件测试策略 | 第14-15页 |
| ·软件测试的方法 | 第15-16页 |
| ·软件测试的流程 | 第16-17页 |
| ·基于模型的软件测试技术 | 第17-20页 |
| ·模型的定义 | 第17-18页 |
| ·典型的测试模型 | 第18页 |
| ·基于模型的测试过程 | 第18-19页 |
| ·UML 模型在测试方面的优势 | 第19-20页 |
| ·本章小结 | 第20-21页 |
| 第三章 基于用例图和活动图的测试技术研究 | 第21-36页 |
| ·UML 技术 | 第21-22页 |
| ·UML 基础 | 第21页 |
| ·UML 图分类 | 第21-22页 |
| ·UML 用例模型 | 第22-27页 |
| ·用例图 | 第23页 |
| ·用例图的可测性分析 | 第23-24页 |
| ·用例规约 | 第24-27页 |
| ·UML 活动图 | 第27-30页 |
| ·活动图 | 第27-28页 |
| ·用例的活动图表示 | 第28-29页 |
| ·活动图的可测性分析 | 第29页 |
| ·活动图的形式化定义 | 第29-30页 |
| ·蚁群算法 | 第30-33页 |
| ·蚁群算法的基本原理 | 第30-31页 |
| ·蚁群算法的基本实现 | 第31-33页 |
| ·蚁群算法的改进 | 第33-35页 |
| ·蚁群算法的改进思想 | 第33页 |
| ·改进蚁群算法的模型 | 第33-34页 |
| ·解的实现过程 | 第34-35页 |
| ·本章小结 | 第35-36页 |
| 第四章 基于用例图和活动图的测试用例生成 | 第36-53页 |
| ·基于用例图和活动图生成测试用例的工作框架 | 第36-37页 |
| ·基于用例图和活动图构建系统测试图STG | 第37-40页 |
| ·用例图转化UDG | 第37-38页 |
| ·活动图的并发结构压缩 | 第38页 |
| ·压缩后活动图转化ADG | 第38-39页 |
| ·融合UDG 与ADG 成STG | 第39-40页 |
| ·测试用例的生成 | 第40-41页 |
| ·测试覆盖标准 | 第40页 |
| ·从STG 生成测试用例过程 | 第40-41页 |
| ·算法描述 | 第41页 |
| ·测试用例生成的局部控制 | 第41-44页 |
| ·基于UDG 的测试用例生成 | 第42页 |
| ·基于ADG 的测试用例生成 | 第42-43页 |
| ·活动图并发结构的实例化 | 第43-44页 |
| ·实验与分析 | 第44-51页 |
| ·ATM 取款实验 | 第44-47页 |
| ·ATM 修改PIN 实验 | 第47-50页 |
| ·效率性分析 | 第50-51页 |
| ·本章小结 | 第51-53页 |
| 第五章 全文总结与展望 | 第53-55页 |
| ·全文总结 | 第53页 |
| ·展望 | 第53-55页 |
| 致谢 | 第55-56页 |
| 参考文献 | 第56-60页 |
| 附录： 作者在攻读硕士学位期间发表的论文 | 第60页 |
