模型检测引导的软件测试技术研究
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 引言 | 第7-8页 |
| 1 绪论 | 第8-11页 |
| ·研究现状 | 第8-9页 |
| ·研究内容和方法 | 第9-10页 |
| ·论文组织结构 | 第10-11页 |
| 2 相关理论和技术介绍 | 第11-21页 |
| ·模型检测中的LTS模型 | 第11-15页 |
| ·模型检测 | 第11页 |
| ·LTS模型简介 | 第11-12页 |
| ·μ演算规约法则 | 第12-14页 |
| ·验证 | 第14-15页 |
| ·TTCN-3概述 | 第15-18页 |
| ·TTCN-3运行环境结构 | 第15-16页 |
| ·TTCN-3测试配置 | 第16页 |
| ·TTCN-3测试套 | 第16-17页 |
| ·TTCN-3研究与发展 | 第17-18页 |
| ·BPEL与WSDL文件 | 第18-20页 |
| ·SWT介绍 | 第20-21页 |
| 3 TTCN-3抽象测试套的自动生成 | 第21-26页 |
| ·模型检测引导 | 第21-22页 |
| ·抽象测试套生成 | 第22-26页 |
| ·抽象测试套生成算法 | 第22-23页 |
| ·抽象测试套生成的映射关系 | 第23-24页 |
| ·回溯 | 第24-25页 |
| ·时序逻辑表达 | 第25-26页 |
| 4 测试例的自动生成 | 第26-29页 |
| ·解析BPEL文件 | 第26页 |
| ·简单测试例生成 | 第26-27页 |
| ·数据模板的加载 | 第27-29页 |
| 5 工具的设计与实现 | 第29-37页 |
| ·整体系统设计 | 第29页 |
| ·解析文档 | 第29-31页 |
| ·工具界面设计 | 第31-32页 |
| ·编解码器以及系统适配器 | 第32-34页 |
| ·编解码器 | 第33页 |
| ·系统适配器 | 第33-34页 |
| ·测试执行 | 第34-37页 |
| 6 案例研究与评估 | 第37-49页 |
| ·案例研究 | 第37-47页 |
| ·咖啡机问题 | 第37-41页 |
| ·八皇后 | 第41-47页 |
| ·评估 | 第47-49页 |
| 结论 | 第49-50页 |
| 参考文献 | 第50-53页 |
| 申请学位期间的研究成果及发表的学术论文 | 第53-54页 |
| 致谢 | 第54页 |
