公开(公告)号：CN108664736A

公开(公告)日：2018-10-16

申请号：CN201810450106.X

申请日：2018-05-11

申请人： 上海核工程研究设计院有限公司

发明人： 胡春平 ,  林智勇 ,  王胜光 ,  荣辉 ,  张琳 ,  蒋李君 ,  李晖 ,  张光新 ,  郭国良

IPC分类号： G06F17/50

CPC分类号： G06F17/5009

摘要： 本发明提供了一种控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统及方法，本发明能够克服现有技术所存在的问题，是提供一种控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统及方法，该系统及方法能够使用户将完成的控制逻辑设计数据方便的转换为控制逻辑仿真验证平台可直接读取的控制逻辑模型文件。采用本发明的系统及方法，可以将控制逻辑设计数据转换为控制逻辑仿真验证平台可直接读取的控制逻辑模型文件，显著提高了控制逻辑仿真验证平台控制逻辑模型建立的效率和质量。

公开(公告)号：CN108733028A

公开(公告)日：2018-11-02

申请号：CN201810453320.0

申请日：2018-05-11

申请人： 上海核工程研究设计院有限公司

发明人： 张照生 ,  胡春平 ,  李晖 ,  林智勇 ,  陆凤菊 ,  刘煜 ,  蒋李君 ,  张光新 ,  奚玮君 ,  王胜光 ,  王旭

IPC分类号： G05B23/02

CPC分类号： G05B23/0243 ,  G05B2219/24065

摘要： 本发明提供一种控制逻辑的测试系统及方法。该测试系统包括用户信息验证服务器、标准测试用例管理服务器、测试结果管理服务器和应用程序工作站；所述的应用程序工作站包括用户权限验证模块、标准库生成模块、模型转换模块和测试引擎模块；应用程序工作站通过网络将用户信息验证服务器、标准测试用例管理服务器和测试结果管理服务器连接起来。本发明提出的控制逻辑的测试系统及方法，可以自动生成测试用例并批量执行测试验证作业，大大减少人为操作，让用户方便、快速地完成控制逻辑测试验证工作，减少人因错误，提高测试质量和效率。