基于抽象状态机的协议软件测试方法研究
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| ·研究背景 | 第7-9页 |
| ·国内外的研究现状 | 第7-8页 |
| ·论文研究目的 | 第8-9页 |
| ·本文内容安排 | 第9-10页 |
| ·本章小结 | 第10-11页 |
| 第二章 软件测试 | 第11-21页 |
| ·软件测试概述 | 第11页 |
| ·测试的相关概念 | 第11-14页 |
| ·传统软件测试的分类 | 第11-12页 |
| ·面向对象软件测试简述 | 第12-13页 |
| ·协议测试介绍 | 第13页 |
| ·基于模型的软件测试 | 第13-14页 |
| ·形式化描述方法介绍 | 第14-20页 |
| ·形式化描述方法介绍 | 第14-18页 |
| ·形式描述方法的比较 | 第18页 |
| ·基于抽象状态机模型的软件测试 | 第18-20页 |
| ·本章小结 | 第20-21页 |
| 第三章 基于抽象状态机模型的软件测试基础 | 第21-39页 |
| ·抽象状态机 | 第21-26页 |
| ·抽象状态机简介 | 第21-22页 |
| ·抽象状态机的基本定义 | 第22-25页 |
| ·扩展抽象状态机 | 第25-26页 |
| ·抽象状态机语言ASML | 第26-29页 |
| ·ASML简介 | 第26-28页 |
| ·可执行规范的实现测试同步模式 | 第28-29页 |
| ·接口自动机 | 第29-30页 |
| ·接口自动机介绍 | 第29-30页 |
| ·软件一致性测试简述 | 第30页 |
| ·UML状态图及其ASML描述 | 第30-35页 |
| ·UML状态图 | 第31页 |
| ·UML状态图的ASML描述 | 第31-33页 |
| ·简单示例 | 第33-35页 |
| ·软件的一致性测试 | 第35-37页 |
| ·协议的一致性测试 | 第37-38页 |
| ·本章小结 | 第38-39页 |
| 第四章 基于抽象状态机模型的软件测试系统 | 第39-55页 |
| ·Remoting简介 | 第39-42页 |
| ·Remoting系统概述 | 第39-40页 |
| ·Remoting体系结构的主要元素 | 第40-41页 |
| ·Remoting体系结构在软件系统中的应用 | 第41-42页 |
| ·实时传输协议形式化描述 | 第42-47页 |
| ·实时传输协议介绍 | 第42-44页 |
| ·被测协议原语和协议数据单元描述 | 第44-45页 |
| ·传输机制的形式化描述 | 第45-47页 |
| ·协议的测试结构 | 第47-48页 |
| ·基于抽象状态机模型的软件测试结构 | 第48页 |
| ·远程教学系统的抽象状态机模型 | 第48-54页 |
| ·远程教学系统介绍 | 第48-50页 |
| ·远程教学系统抽象状态机模型 | 第50-54页 |
| ·本章小结 | 第54-55页 |
| 第五章 测试结果及其分析 | 第55-63页 |
| ·RTP协议一致性测试结果及其分析 | 第55-58页 |
| ·远程教学系统软件测试结果及其分析 | 第58-62页 |
| ·本章小结 | 第62-63页 |
| 第六章 结束语 | 第63-65页 |
| ·本文所作的工作 | 第63页 |
| ·问题与展望 | 第63-65页 |
| 致谢 | 第65-67页 |
| 参考文献 | 第67-71页 |
| 附录A | 第71-73页 |
