| 摘要 | 第1-8页 |
| ABSTRACT | 第8-15页 |
| 第一章 绪论 | 第15-22页 |
| ·研究背景 | 第15-16页 |
| ·研究的现状及不足 | 第16-19页 |
| ·研究UML statecharts 语义的必要性 | 第16-17页 |
| ·基于statecharts 测试的现状及不足 | 第17-18页 |
| ·测试充分性准则和自动测试生成工具的现状及不足 | 第18-19页 |
| ·本文的主要工作 | 第19-21页 |
| ·本文组织安排 | 第21-22页 |
| 第二章 UML、Z 语言与软件测试 | 第22-35页 |
| ·U ML 基础 | 第22-26页 |
| ·U ML 的语法和语义 | 第22-24页 |
| ·U ML 的内容 | 第24-25页 |
| ·U ML 的主要特点 | 第25-26页 |
| ·形式规格说明语言－Z | 第26-29页 |
| ·Z 语言概述 | 第27-28页 |
| ·Z 的组成 | 第28-29页 |
| ·软件测试基础 | 第29-34页 |
| ·软件测试目的及策略 | 第29-30页 |
| ·软件测试技术 | 第30-31页 |
| ·基于规格说明的软件测试 | 第31-33页 |
| ·面向对象软件测试 | 第33-34页 |
| ·小结 | 第34-35页 |
| 第三章 UML STATECHARTS 的形式化语义 | 第35-51页 |
| ·UML STATECHARTS 概述 | 第35-37页 |
| ·UML STATECHARTS 的形式化语法 | 第37-41页 |
| ·状态层次 | 第37-39页 |
| ·简单迁移 | 第39-40页 |
| ·合式的UML statecharts | 第40-41页 |
| ·UML STATECHARTS 的形式化语义 | 第41-50页 |
| ·状态配置 | 第41-43页 |
| ·复合迁移 | 第43-46页 |
| ·Statecharts 的状况 | 第46-47页 |
| ·“执行到完成”步 | 第47-48页 |
| ·F REE 状态模型 | 第48-50页 |
| ·小结 | 第50-51页 |
| 第四章 基于UML 状态图的测试准则 | 第51-67页 |
| ·测试充分性准则 | 第51-53页 |
| ·基于UML 状态图的测试充分性准则 | 第53-60页 |
| ·状态覆盖准则 | 第53-54页 |
| ·迁移覆盖准则 | 第54页 |
| ·全谓词公式覆盖准则 | 第54-56页 |
| ·迁移对覆盖准则 | 第56-57页 |
| ·ZOT 循环覆盖准则 | 第57-59页 |
| ·全ZOT 路径覆盖准则 | 第59-60页 |
| ·基于UML 状态图测试准则的应用 | 第60-65页 |
| ·状态覆盖准则 | 第61页 |
| ·迁移覆盖准则 | 第61页 |
| ·全谓词公式覆盖准则 | 第61-62页 |
| ·迁移对覆盖准则 | 第62-63页 |
| ·ZOT 循环覆盖准则 | 第63-64页 |
| ·全ZOT 路径覆盖准则 | 第64-65页 |
| ·测试准则之间的包含关系 | 第65-66页 |
| ·小结 | 第66-67页 |
| 第五章 基于UML STATECHARTS 的测试用例生成 | 第67-87页 |
| ·基于UML STATECHARTS 的测试用例推导 | 第67-71页 |
| ·解析XML 文件 | 第68-69页 |
| ·生成FREE 模型 | 第69-70页 |
| ·产生测试用例 | 第70-71页 |
| ·基于迁移覆盖的测试用例生成 | 第71-74页 |
| ·迁移序列的产生 | 第71-73页 |
| ·测试用例的生成 | 第73-74页 |
| ·基于全谓词公式覆盖的测试用例生成 | 第74-81页 |
| ·选择测试值 | 第75-77页 |
| ·迁移序列的产生 | 第77-80页 |
| ·测试用例的生成 | 第80-81页 |
| ·基于迁移对覆盖的测试用例生成 | 第81-83页 |
| ·迁移序列的产生 | 第81-82页 |
| ·测试用例的生成 | 第82-83页 |
| ·基于全ZOT 路径覆盖的测试用例生成 | 第83-86页 |
| ·迁移序列的产生 | 第83-85页 |
| ·测试用例的生成 | 第85-86页 |
| ·小结 | 第86-87页 |
| 第六章 系统的设计及实现 | 第87-98页 |
| ·系统设计 | 第87-88页 |
| ·数据结构与类 | 第88-94页 |
| ·PXML 解析器模块的设计 | 第88-90页 |
| ·S2F 转换模块的设计 | 第90-93页 |
| ·测试用例自动生成模块TCG 的设计 | 第93-94页 |
| ·UMLSTG 系统的界面 | 第94-97页 |
| ·小结 | 第97-98页 |
| 第七章 结束语 | 第98-101页 |
| ·本文主要贡献 | 第98-99页 |
| ·未来的工作 | 第99-101页 |
| 参考文献 | 第101-105页 |
| 攻读博士学位期间发表的论文 | 第105-106页 |
| 攻读博士学位期间参与的科研项目 | 第106-107页 |
| 致谢 | 第107-108页 |
| 附录一: 咖啡出售机的 XML 文件 | 第108-110页 |
| 附录二: 迁移覆盖的测试用例 | 第110-113页 |
| 附录三: 三种测试准则的迁移序列 | 第113-116页 |
| 附录四: 测试用例规格说明语言的语法 | 第116-117页 |
| 附录五: 迁移覆盖的测试用例文件 | 第117-123页 |
| 博硕士学位论文同意发表声明 | 第123-124页 |
| 发表意见书 | 第124页 |
