| 摘要 | 第5-6页 |
| Abstract | 第6页 |
| 第1章 绪论 | 第10-16页 |
| 1.1 论文研究的背景及意义 | 第10-11页 |
| 1.2 软件测试的方法及研究现状 | 第11-12页 |
| 1.3 逻辑控制测试的研究现状 | 第12-13页 |
| 1.4 本文的主要工作 | 第13-16页 |
| 第2章 逻辑控制程序测试的问题描述 | 第16-26页 |
| 2.1 泵和阀门类设备的介绍 | 第16-18页 |
| 2.1.1 泵的原理 | 第16-17页 |
| 2.1.2 阀门的原理 | 第17-18页 |
| 2.2 泵和阀门与控制系统的连接关系 | 第18-19页 |
| 2.3 泵和阀门的逻辑控制 | 第19-23页 |
| 2.3.1 泵和阀门的信号分类 | 第20-22页 |
| 2.3.2 逻辑控制的一般功能 | 第22-23页 |
| 2.4 测试必要性分析 | 第23-26页 |
| 第3章 逻辑测试平台的总体设计 | 第26-36页 |
| 3.1 逻辑测试平台的系统结构 | 第26-27页 |
| 3.2 功能模块设计 | 第27-30页 |
| 3.2.1 测试用例的加载设计 | 第27页 |
| 3.2.2 人机交互界面的设计 | 第27-28页 |
| 3.2.3 逻辑控制程序的设计 | 第28-29页 |
| 3.2.4 逻辑虚拟对象的设计 | 第29-30页 |
| 3.2.5 对比判定及结果记录的设计 | 第30页 |
| 3.3 平台实现的软件环境 | 第30-32页 |
| 3.3.1 平台支持工具ControlBuild简介 | 第30-32页 |
| 3.3.2 平台运行的软件环境 | 第32页 |
| 3.4 平台实现的硬件环境 | 第32-33页 |
| 3.5 OPC通讯方式 | 第33-36页 |
| 第4章 逻辑模型的建立和用例生成 | 第36-56页 |
| 4.1 虚拟对象的逻辑建模 | 第36-41页 |
| 4.1.1 带风机的变频泵的逻辑建模 | 第36-38页 |
| 4.1.2 电动截止阀的逻辑建模 | 第38-40页 |
| 4.1.3 其他设备的逻辑建模 | 第40-41页 |
| 4.2 泵和阀门的控制逻辑建模 | 第41-46页 |
| 4.3 测试用例生成 | 第46-56页 |
| 4.3.1 泵和阀门逻辑测试的内容 | 第46-47页 |
| 4.3.2 测试用例的逻辑描述 | 第47-56页 |
| 第5章 泵和阀门逻辑控制测试平台的开发 | 第56-76页 |
| 5.1 泵、阀门及相关设备的逻辑模型的实现 | 第56-66页 |
| 5.1.1 带风机的变频泵逻辑模型的实现 | 第56-60页 |
| 5.1.2 电动截止阀逻辑模型的实现 | 第60-63页 |
| 5.1.3 相关设备的逻辑模型的实现 | 第63-66页 |
| 5.2 泵和阀门的逻辑控制模型的实现 | 第66-72页 |
| 5.2.1 泵和阀门的逻辑控制程序实现 | 第66-70页 |
| 5.2.2 HMI界面的开发 | 第70-72页 |
| 5.3 OPC通讯的实现 | 第72-73页 |
| 5.4 测试用例及结果判定的实现 | 第73-76页 |
| 第6章 逻辑控制程序测试实验及结果分析 | 第76-84页 |
| 6.1 测试的对象和目标 | 第76-77页 |
| 6.2 测试环境的建立 | 第77-78页 |
| 6.3 测试实验及结果分析 | 第78-84页 |
| 6.3.1 远程/本地开停车测试及结果分析 | 第78-79页 |
| 6.3.2 投入工艺联锁时的测试及结果分析 | 第79-81页 |
| 6.3.3 故障出现的测试及结果分析 | 第81-82页 |
| 6.3.4 模拟程序错误的测试结果及分析 | 第82-84页 |
| 第7章 总结与展望 | 第84-86页 |
| 参考文献 | 第86-90页 |
| 致谢 | 第90-92页 |
| 攻读硕士期间科研情况 | 第92页 |