[发明专利]一种控制逻辑的测试系统及方法在审
申请号: | 201510415281.1 | 申请日: | 2015-07-15 |
公开(公告)号: | CN105005295A | 公开(公告)日: | 2015-10-28 |
发明(设计)人: | 张照生;胡春平;李晖;陆凤菊;刘煜;蒋李君;奚玮君;王胜光;王旭 | 申请(专利权)人: | 上海核工程研究设计院 |
主分类号: | G05B23/02 | 分类号: | G05B23/02 |
代理公司: | 上海精晟知识产权代理有限公司 31253 | 代理人: | 冯子玲 |
地址: | 200233*** | 国省代码: | 上海;31 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 一种 控制 逻辑 测试 系统 方法 | ||
技术领域
本发明涉及电厂热工控制领域,具体涉及一种控制逻辑的测试系统及方法。
背景技术
在电厂设计中,热工控制系统的控制逻辑设计是其中一个重要环节,它直接关系到电厂是否平稳安全运行、紧急事故能否及时处理等重大问题。在设计控制系统时,首先要根据控制过程的要求,绘制过程控制系统的控制逻辑图,然后根据控制逻辑图,进行控制系统的组态设计,最后对完成的控制逻辑进行测试验证以确保设计的控制逻辑符合预期的要求。目前,电厂热工控制逻辑的测试主要采用手动测试方法,即根据测试流程手动设置输入测试用例,观察、记录输出结果,再人工判断测试结果是否正确,其存在一定的问题,如测试人员需对每个待测试流程都较为熟悉;完全手动设置输入变量,并记录输出变量,不仅耗时耗力、效率较低,而且容易出现人为失误,造成输入变量不正确或输出结果记录不正确等。所以当前迫切需要一种能解决上述问题的控制逻辑测试方案。
发明内容
本发明目的在于克服现有技术存在的问题,提供一种控制逻辑的测试系统及方法,该系统及方法能够自动生成测试用例并批量执行测试验证作业,大大减少人为操作,让用户方便、快速地完成控制逻辑测试验证工作,减少人因错误,提高测试质量和效率。
实现本发明目的的技术方案:一种控制逻辑的测试系统,其包括用户信息验证服务器、标准测试用例管理服务器、测试结果管理服务器和应用程序工作站;
所述的应用程序工作站包括用户权限验证模块、标准库生成模块、模型转换模块和测试引擎模块;应用程序工作站通过网络将用户信息验证服务器、标准测试用例管理服务器和测试结果管理服务器连接起来;
所述的用户信息验证服务器包含用户信息及用于存储这些信息的数据库;用户信息验证服务器用于处理应用程序工作站发送的用户信息验证请求,用户信息验证服务器接受请求,根据请求验证用户的操作权限,并将结果返回给应用程序工作站;
所述的标准测试用例管理服务器包含标准测试用例数据及用于存储这些数据的数据库;标准测试用例管理服务器用于处理应用程序工作站发送的标准测试用例查询、调用请求,标准测试用例管理服务器根据请求,在标准测试用例数据库中查询符合条件的标准测试用例,将所获取的标准测试用例返回给应用程序工作站;
所述的测试结果管理服务器包含测试结果数据及用于存储这些数据的数据库;测试结果管理服务器用于处理应用工作站发送的测试结果存储请求,应用工作站根据测试结果编号,将测试结果存入测试结果数据库中。
如上所述的一种控制逻辑的测试系统,其所述的应用程序工作站包括用户权限验证模块、标准库生成模块、模型转换模块和测试引擎模块,其具体如下:用户权限验证模块,用于将用户信息发送给用户信息验证管理服务器,用户信息验证管理服务器验证用户的操作权限,将验证结果返回给应用程序工作站;标准库生成模块,用于在标准测试用例管理服务器中创建标准测试用例;模型转换模块,用于将控制逻辑模型转换为可与测试引擎模块交互的测试模型;所述的模型转换模块首先将控制逻辑中算法模块转换为函数代码,其次梳理控制逻辑中输入、输出点和算法模块参数信息并生成清单文件,所述输入、输出点清单文件包含输入、输出点名及其类型,所述算法模块参数清单文件包含参数变量名及其数值,最后将函数代码整合成为可编译程序,编译后便得到可与测试引擎模块交互的测试模型;
测试引擎模块包含模型解析子模块、测试用例生成子模块、测试执行子模块、结果判定子模块和结果输出子模块;其中,所述模型解析子模块,用于解析模型转换模块生成的被测模型,得到模型输入点和输出点的名称、数量及其类型等关键信息;所述测试用例生成子模块,用于根据模型解析模块所得信息,查找标准测试用例管理服务器中符合条件的标准测试用例,并利用被测模型信息和标准测试用例生成被测模型的测试用例;所述测试执行子模块,用于读取测试用例生成子模块生成的测试用例中输入点值,将其赋值于测试模型输入点,再根据测试用例设定的执行时间进行运算,并保存运算结果;所述结果判定子模块,用于判定测试执行子模块的运算结果是否满足容差要求或符合期望趋势。所述测试模型变量可分为数字量和模拟量两种类型,数字量可由容差判定,模拟量可由期望趋势判定;所述结果输出子模块,用于根据结果判定子模块的判定结果调用不同测试报告模版,生成、输出测试报告并将测试报告存储至测试结果管理服务器;所述测试报告模版是根据不同测试结果在外部定制的测试模版,用于存储测试结果数据。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于上海核工程研究设计院,未经上海核工程研究设计院许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/201510415281.1/2.html,转载请声明来源钻瓜专利网。