规约和切片技术在组件测试用例生成中的研究
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-9页 |
| 1 绪论 | 第9-14页 |
| ·引言 | 第9-10页 |
| ·研究目的和意义 | 第10-11页 |
| ·国内外研究及发展现状 | 第11-12页 |
| ·论文的组织 | 第12-13页 |
| ·本章小结 | 第13-14页 |
| 2 基于规约的软件测试用例分析 | 第14-19页 |
| ·基于规约说明的软件测试 | 第14-15页 |
| ·基于规约的测试技术与基于代码测试技术的比较 | 第15-17页 |
| ·测试需求与测试用例 | 第17-18页 |
| ·软件测试用例的自动生成 | 第18页 |
| ·本章小结 | 第18-19页 |
| 3 切片技术与应用 | 第19-28页 |
| ·切片技术概述 | 第19-20页 |
| ·程序切片技术的应用概述 | 第20-21页 |
| ·回归测试 | 第20页 |
| ·逆向工程 | 第20页 |
| ·软件维护 | 第20-21页 |
| ·程序调试 | 第21页 |
| ·程序切片的定义 | 第21-22页 |
| ·程序切片分类 | 第22-23页 |
| ·静态切片和动态切片 | 第22页 |
| ·前向切片和后向切片 | 第22-23页 |
| ·过程内切片和过程间切片 | 第23页 |
| ·程序切片准则 | 第23-24页 |
| ·程序切片算法 | 第24-27页 |
| ·常用的静态切片算法 | 第24-26页 |
| ·常用的动态切片算法 | 第26-27页 |
| ·本章小结 | 第27-28页 |
| 4 基于活动图生成组件系统测试用例 | 第28-42页 |
| ·测试用例自动生成 | 第28页 |
| ·UML 活动图 | 第28-32页 |
| ·UML 简介 | 第28-29页 |
| ·UML 活动图简介 | 第29-30页 |
| ·UML 活动图的基本元素 | 第30-32页 |
| ·UML 活动图形式化描述 | 第32-33页 |
| ·测试用例覆盖准则以及并行处理 | 第33-35页 |
| ·测试充分性问题 | 第33-34页 |
| ·基于活动图的测试用例覆盖准则 | 第34页 |
| ·活动图的并行处理 | 第34-35页 |
| ·测试场景的提取和测试用例的生成 | 第35-41页 |
| ·测试用例生成过程模型 | 第35-38页 |
| ·测试场景生成算法 | 第38-40页 |
| ·测试用例提取算法 | 第40-41页 |
| ·本章小结 | 第41-42页 |
| 5 基于切片的组件系统测试用例选择 | 第42-50页 |
| ·组件系统测试的V 模型 | 第42-44页 |
| ·组件系统测试用例生成和选择模型 | 第44-45页 |
| ·切片在组件系统回归测试选择中的应用 | 第45-49页 |
| ·切片技术中依赖图对UML 活动图的扩充 | 第45-47页 |
| ·对组件系统进行切片 | 第47页 |
| ·组件系统回归测试中测试用例的选择 | 第47-49页 |
| ·本章小结 | 第49-50页 |
| 6 实验与分析 | 第50-58页 |
| ·系统环境 | 第50页 |
| ·模拟工具实现 | 第50-57页 |
| ·系统总体结构 | 第50-52页 |
| ·工具的主流程 | 第52-53页 |
| ·模拟工具实现 | 第53-57页 |
| ·本章小结 | 第57-58页 |
| 7 总结 | 第58-59页 |
| 致谢 | 第59-60页 |
| 参考文献 | 第60-63页 |
| 附录 | 第63页 |
