在选矿过程中,设备的逻辑控制是保证被控设备安全运行以及工艺流程正常运行的关键。被控设备是选矿生产过程中必备的,而不同的工艺条件对设备的逻辑控制也不同。设备的逻辑控制是由设备的逻辑控制程序实现的,编程人员由于对工艺和被控设备的了解不足致使程序的质量没有保障。经过严格测试后的高质量的程序才可以保证选矿生产过程的安全运行。目前对程序的测试大部分是由人工完成,工作量大,耗费时间长,极易出现漏测的情况。因此设计开发逻辑控制程序测试平台保证程序的高质量性,并且可以缩短时间,减少工作量,具有非常重要的意义。本文依托国家科技支撑计划“选矿过程全流程先进控制技术”(2012BAF19G01),针对被控设备逻辑控制程序的测试设计开发了测试平台。本文的主要工作如下:1、在国内外相关研究的基础之上,对选矿生产过程中的被控设备的逻辑控制程序进行了分析,讨论了逻辑控制程序测试的问题描述和测试平台的需求。2、对逻辑控制程序测试平台的结构进行了设计,并且根据被控设备的逻辑控制信号和二次控制原理图,使用Petri网方法建立了设备的虚拟设备模型,并对模型进行了测试和验证。对测试用例的生成方法进行了研究,并使用正交试验设计方法对常用被控设备的测试用例进行了开发;3、使用C#语言、Visual Studio 2010软件以及OPC通讯规范完成了选矿过程被控设备逻辑控制程序测试平台,测试平台包括测试用例生成、测试用例加载、虚拟对象、结果显示等模块组成;4、以某选矿厂中的破碎系统中三类被控设备的逻辑控制程序作为被测对象,在所研发的测试平台中进行实验验证,对被控设备的逻辑控制程序测试过程中,人为的引入了错误,从而验证了该测试平台的有效性。