| 摘要 | 第1-7页 |
| Abstract | 第7-10页 |
| 第一章 绪论 | 第10-23页 |
| ·研究背景 | 第10-11页 |
| ·研究现状 | 第11-13页 |
| ·研究内容 | 第13-15页 |
| ·论文结构 | 第15页 |
| ·背景知识 | 第15-23页 |
| 第二章 制约分析 | 第23-48页 |
| ·方法概述 | 第23-26页 |
| ·形式模型 | 第26-30页 |
| ·约束逻辑 | 第30-34页 |
| ·模型化简 | 第34-36页 |
| ·静态制约检查 | 第36-41页 |
| ·WS-CDL模拟器 | 第41-45页 |
| ·动态制约检查 | 第45-46页 |
| ·本章小结 | 第46-48页 |
| 第三章 测试自动化 | 第48-60页 |
| ·方法概述 | 第48-52页 |
| ·WS-CDL操作语义 | 第52-56页 |
| ·测试用例自动生成 | 第56-58页 |
| ·断言处理 | 第58-59页 |
| ·本章小结 | 第59-60页 |
| 第四章 工具和实验 | 第60-68页 |
| ·工具实现 | 第60-65页 |
| ·实验 | 第65-66页 |
| ·本章小结 | 第66-68页 |
| 第五章 结束语 | 第68-71页 |
| ·主要研究工作 | 第68-69页 |
| ·本研究的不足 | 第69-71页 |
| 参考文献 | 第71-78页 |
| 致谢 | 第78-79页 |
| 论文发表情况 | 第79页 |