| 摘要 | 第1-4页 |
| ABSTRACT | 第4-7页 |
| 第一章 绪论 | 第7-10页 |
| 1-1 引言 | 第7-8页 |
| 1-1-1 研究背景 | 第7页 |
| 1-1-2 国内外研究现状 | 第7-8页 |
| 1-1-3 问题提出 | 第8页 |
| 1-2 本论文主要研究内容以及结构安排 | 第8-10页 |
| 1-2-1 主要研究内容 | 第8页 |
| 1-2-2 论文结构安排 | 第8-10页 |
| 第二章 面向对象技术 | 第10-20页 |
| 2-1 面向对象技术介绍及特点 | 第10-11页 |
| 2-1-1 面向对象方法概述 | 第10页 |
| 2-1-2 面向对象基本概念及特征 | 第10-11页 |
| 2-1-3 使用面向对象模型的优势 | 第11页 |
| 2-2 典型面向对象模型介绍 | 第11-17页 |
| 2-2-1 Fusion概念及简介 | 第12-14页 |
| 2-2-2 UML统一建模方法 | 第14-17页 |
| 2-3 面向对象技术UML的发展 | 第17页 |
| 2-4 UML存在的问题 | 第17-18页 |
| 2-5 面向对象建模语言UML扩展 | 第18-20页 |
| 第三章 软件测试与需求验证 | 第20-35页 |
| 3-1 软件测试概要 | 第20-25页 |
| 3-1-1 软件测试的过程 | 第20-22页 |
| 3-1-2 软件测试方法 | 第22-24页 |
| 3-1-3 软件测试的发展与研究热点 | 第24-25页 |
| 3-2 软件需求 | 第25-28页 |
| 3-2-1 软件需求介绍 | 第25-26页 |
| 3-2-2 需求验证 | 第26-28页 |
| 3-2-3 需求验证技术的现状和问题 | 第28页 |
| 3-3 面向对象软件测试技术 | 第28-32页 |
| 3-3-1 面向对象测试面临的主要问题及相关工作 | 第29-30页 |
| 3-3-2 模型的可测性定义 | 第30页 |
| 3-3-3 基于UML测试的现状和发展 | 第30-32页 |
| 3-4 相关概念 | 第32-35页 |
| 3-4-1 测试用例 | 第32页 |
| 3-4-2 测试用例的充分性 | 第32-33页 |
| 3-4-3 测试场景 | 第33页 |
| 3-4-4 软件测试用例设计 | 第33-34页 |
| 3-4-5 测试用例的自动生成 | 第34-35页 |
| 第四章 UML动态用例模型及其测试用例生成 | 第35-48页 |
| 4-1 UML用例模型介绍 | 第35-37页 |
| 4-2 UML动态用例模型 | 第37-39页 |
| 4-2-1 动态用例模型生成 | 第37-38页 |
| 4-2-2 动态用例模型举例 | 第38-39页 |
| 4-3 基于UML动态用例模型测试用例生成 | 第39-42页 |
| 4-3-1 用例及相关概念定义 | 第39-40页 |
| 4-3-2 基于动态用例模型测试序列算法 | 第40-42页 |
| 4-4 基于B语言形式化用例的测试用例生成 | 第42-48页 |
| 4-4-1 UML的形式化 | 第42页 |
| 4-4-2 B语言介绍 | 第42页 |
| 4-4-3 Use Case的B AMN形式化 | 第42-44页 |
| 4-4-4 基于AMN测试用例的生成及前置--后置控制流图 | 第44-46页 |
| 4-4-5 用例序列的需求形式化验证 | 第46-48页 |
| 第五章 集成最小测试数据集的UML活动图及其测试用例生成 | 第48-56页 |
| 5-1 UML活动图介绍 | 第48-49页 |
| 5-2 UML活动图与最小测试数据集的集成 | 第49-51页 |
| 5-3 扩展UML活动图的测试用例生成 | 第51-56页 |
| 5-3-1 活动图的最小测试数据集的获取 | 第51-52页 |
| 5-3-2 活动图的形式化定义及测试用例生成 | 第52-53页 |
| 5-3-3 基于扩展活动图操作序列的需求验证 | 第53-56页 |
| 第六章 结论与展望 | 第56-57页 |
| 6-1 结论 | 第56页 |
| 6-2 未来展望 | 第56-57页 |
| 参考文献 | 第57-59页 |
| 附录A | 第59-62页 |
| 附录B | 第62-65页 |
| 致谢 | 第65-66页 |
| 攻读学位期间所取得的相关科技成果 | 第66页 |