| 摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 第1章 引言 | 第8-20页 |
| ·论文背景及意义 | 第8-10页 |
| ·研究现状分析 | 第10-18页 |
| ·本体与语义Web | 第10-12页 |
| ·语义Web 服务 | 第12-15页 |
| ·Web 服务测试 | 第15-16页 |
| ·测试充分性准则 | 第16-18页 |
| ·论文的主要内容 | 第18-19页 |
| ·论文的章节安排 | 第19-20页 |
| 第2章 基于本体的测试模型 | 第20-28页 |
| ·本章引论 | 第20页 |
| ·测试本体模型TOM 的定义 | 第20-24页 |
| ·数据池（Data Pool） | 第22页 |
| ·数据分区（Data Partition） | 第22-23页 |
| ·数据实例（Data Value） | 第23页 |
| ·数据选取（Data Selector） | 第23-24页 |
| ·测试模型TOM 的管理与共享 | 第24-27页 |
| ·TOM 的组织结构 | 第24页 |
| ·TOM 的元模型定义 | 第24-25页 |
| ·建立TOM 模型的阶段 | 第25-26页 |
| ·一个TOM 模型的例子 | 第26-27页 |
| ·本章小结 | 第27-28页 |
| 第3章 基于本体的WEB 服务测试数据自动生成 | 第28-54页 |
| ·本章引论 | 第28页 |
| ·分区测试概念 | 第28-29页 |
| ·AMAZON 的AAWS 服务案例 | 第29-32页 |
| ·基于本体的测试数据生成步骤 | 第32-33页 |
| ·数据池的领域本体映射 | 第33页 |
| ·基于本体的数据分区生成 | 第33-42页 |
| ·标识子类 | 第34-38页 |
| ·等价类分析 | 第38-39页 |
| ·子类的层次结构分析 | 第39-40页 |
| ·数据分区自动生成 | 第40-41页 |
| ·有效与无效数据分区 | 第41-42页 |
| ·基于预定义数据的数据实例生成 | 第42-43页 |
| ·基于属性取值组合的数据实例生成 | 第43-47页 |
| ·属性取值的组合策略 | 第43-45页 |
| ·组合数据的一致性检查 | 第45-46页 |
| ·数据实例的自动分类与化简 | 第46-47页 |
| ·测试数据的完整性与一致性检查 | 第47-48页 |
| ·测试模型内部的检查 | 第47页 |
| ·测试模型外部的检查 | 第47-48页 |
| ·应用案例 | 第48-53页 |
| ·本章小结 | 第53-54页 |
| 第4章 基于本体的 WEB 服务变异测试 | 第54-71页 |
| ·本章引论 | 第54页 |
| ·基于本体的变异测试框架 | 第54-56页 |
| ·变异算子设计准则 | 第56页 |
| ·变异算子分类 | 第56页 |
| ·OWL 本体类的变异 | 第56-64页 |
| ·等价类定义的变异 | 第58-59页 |
| ·互斥类定义的变异 | 第59-61页 |
| ·复杂类定义的变异 | 第61-63页 |
| ·枚举类定义的变异 | 第63-64页 |
| ·数据类型的变异 | 第64-65页 |
| ·条件变异 | 第65-66页 |
| ·控制流变异 | 第66页 |
| ·数据依赖变异 | 第66-67页 |
| ·应用案例 | 第67-70页 |
| ·本章小结 | 第70-71页 |
| 第5章 原型系统SOATESTING 的设计与实现 | 第71-85页 |
| ·本章引论 | 第71页 |
| ·体系结构 | 第71-76页 |
| ·OWL-S 服务规约分析与查看 | 第72-73页 |
| ·TOM 模型的API 实现 | 第73-74页 |
| ·测试数据生成与编辑 | 第74页 |
| ·测试用例生成与编辑 | 第74-75页 |
| ·完整性与一致性规则编辑和检查 | 第75页 |
| ·变异体生成和变异测试的执行与分析 | 第75-76页 |
| ·支撑平台介绍 | 第76-77页 |
| ·Eclipse | 第76页 |
| ·Jena2 | 第76页 |
| ·OWL-S API | 第76页 |
| ·Pellet | 第76-77页 |
| ·Protégé | 第77页 |
| ·Jess | 第77页 |
| ·设计与实现 | 第77-84页 |
| ·SOATesing 包 | 第78-80页 |
| ·mtest.testmodel 包 | 第80-81页 |
| ·mtest.mutation 包 | 第81-82页 |
| ·mtest.owl.model 包 | 第82-83页 |
| ·mtest.simulation 包 | 第83页 |
| ·eclipse.ui 包 | 第83-84页 |
| ·本章小结 | 第84-85页 |
| 第6章 结论与展望 | 第85-87页 |
| ·本文研究工作总结 | 第85-86页 |
| ·展望 | 第86-87页 |
| 参考文献 | 第87-93页 |
| 致谢 | 第93-94页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第94页 |