面向对象软件簇级测试用例自动生成方法与实现
| 第一章 软件测试概述 | 第1-19页 |
| 1．1 软件测试 | 第7-8页 |
| 1．2 面向对象软件测试 | 第8-10页 |
| 1．2．1 封装和信息隐蔽对测试的影响 | 第9页 |
| 1．2．2 继承对测试的影响 | 第9-10页 |
| 1．2．3 多态性和动态绑定对侧试的影响 | 第10页 |
| 1．3 面向对象软件的集成测试 | 第10-12页 |
| 1．4 测试用例自动生成方法 | 第12-15页 |
| 1．4．1 基于程序的用例生成 | 第12-14页 |
| 1．4．2 基于规约的用例生成 | 第14-15页 |
| 1．5 课题背景及本文工作 | 第15-19页 |
| 第二章 UML时序图生成有限状态机 | 第19-33页 |
| 2．1 UML时序图的语义 | 第19-21页 |
| 2．2 类有限状态机CSM | 第21-26页 |
| 2．2．1 单类有限状态机SCSM | 第22-24页 |
| 2．2．2 多类有限状态机MCSM | 第24-26页 |
| 2．3 由UML时序图生成类CSM | 第26-33页 |
| 2．3．1 扩展时序图语义约束规约 | 第26-27页 |
| 2．3．2 语义一致性和完备性检测 | 第27-28页 |
| 2．3．3 生成有限状态机CSM | 第28-33页 |
| 第三章 基于数据流分析生成测试用例 | 第33-49页 |
| 3．1 测试方法概述 | 第33-35页 |
| 3．2 构造CSM状态转换规约 | 第35-40页 |
| 3．3 选取相关状态转换 | 第40-42页 |
| 3．4 构造数据流图 | 第42-44页 |
| 3．5 生成测试用例 | 第44-49页 |
| 第四章 基于控制流分析生成测试用例 | 第49-67页 |
| 4．1 类状态机CSM的状态识别方法 | 第49-51页 |
| 4．1．1 UIO方法 | 第49-50页 |
| 4．1．2 Wp方法 | 第50-51页 |
| 4．2 状态覆盖准则 | 第51页 |
| 4．3 遗传算法求解UIO序列 | 第51-58页 |
| 4．3．1 状态划分树 | 第52-53页 |
| 4．3．2 求解UIO序列 | 第53-58页 |
| 4．4 基于UIO序列生成测试序列 | 第58-60页 |
| 4．5 基于 Wp方法生成测试序列 | 第60-64页 |
| 4．5．1 使用传统技术生成测试序列 | 第60-62页 |
| 4．5．2 优化连接技术生成测试序列 | 第62-64页 |
| 4．6 实例分析 | 第64-67页 |
| 第五章 结束语 | 第67-69页 |
| 致谢 | 第69-70页 |
| 参考文献 | 第70-74页 |
| 在校期间发表论文 | 第74页 |
