一种控制逻辑的测试系统及方法
【技术领域】
[0001]本发明涉及电厂热工控制领域，具体涉及一种控制逻辑的测试系统及方法。
【背景技术】
[0002]在电厂设计中，热工控制系统的控制逻辑设计是其中一个重要环节，它直接关系到电厂是否平稳安全运行、紧急事故能否及时处理等重大问题。在设计控制系统时，首先要根据控制过程的要求，绘制过程控制系统的控制逻辑图，然后根据控制逻辑图，进行控制系统的组态设计，最后对完成的控制逻辑进行测试验证以确保设计的控制逻辑符合预期的要求。目前，电厂热工控制逻辑的测试主要采用手动测试方法，即根据测试流程手动设置输入测试用例，观察、记录输出结果，再人工判断测试结果是否正确，其存在一定的问题，如测试人员需对每个待测试流程都较为熟悉；完全手动设置输入变量，并记录输出变量，不仅耗时耗力、效率较低，而且容易出现人为失误，造成输入变量不正确或输出结果记录不正确等。所以当前迫切需要一种能解决上述问题的控制逻辑测试方案。
【发明内容】
[0003]本发明目的在于克服现有技术存在的问题，提供一种控制逻辑的测试系统及方法，该系统及方法能够自动生成测试用例并批量执行测试验证作业，大大减少人为操作，让用户方便、快速地完成控制逻辑测试验证工作，减少人因错误，提高测试质量和效率。
[0004]实现本发明目的的技术方案:一种控制逻辑的测试系统，其包括用户信息验证服务器、标准测试用例管理服务器、测试结果管理服务器和应用程序工作站；
[0005]所述的应用程序工作站包括用户权限验证模块、标准库生成模块、模型转换模块和测试引擎模块；应用程序工作站通过网络将用户信息验证服务器、标准测试用例管理服务器和测试结果管理服务器连接起来；
[0006]所述的用户信息验证服务器包含用户信息及用于存储这些信息的数据库；用户信息验证服务器用于处理应用程序工作站发送的用户信息验证请求，用户信息验证服务器接受请求，根据请求验证用户的操作权限，并将结果返回给应用程序工作站；
[0007]所述的标准测试用例管理服务器包含标准测试用例数据及用于存储这些数据的数据库；标准测试用例管理服务器用于处理应用程序工作站发送的标准测试用例查询、调用请求，标准测试用例管理服务器根据请求，在标准测试用例数据库中查询符合条件的标准测试用例，将所获取的标准测试用例返回给应用程序工作站；
[0008]所述的测试结果管理服务器包含测试结果数据及用于存储这些数据的数据库；测试结果管理服务器用于处理应用工作站发送的测试结果存储请求，应用工作站根据测试结果编号，将测试结果存入测试结果数据库中。
[0009]如上所述的一种控制逻辑的测试系统，其所述的应用程序工作站包括用户权限验证模块、标准库生成模块、模型转换模块和测试引擎模块，其具体如下:用户权限验证模块，用于将用户信息发送给用户信息验证管理服务器，用户信息验证管理服务器验证用户的操作权限，将验证结果返回给应用程序工作站；标准库生成模块，用于在标准测试用例管理服务器中创建标准测试用例；模型转换模块，用于将控制逻辑模型转换为可与测试引擎模块交互的测试模型；所述的模型转换模块首先将控制逻辑中算法模块转换为函数代码，其次梳理控制逻辑中输入、输出点和算法模块参数信息并生成清单文件，所述输入、输出点清单文件包含输入、输出点名及其类型，所述算法模块参数清单文件包含参数变量名及其数值，最后将函数代码整合成为可编译程序，编译后便得到可与测试引擎模块交互的测试模型；
[0010]测试引擎模块包含模型解析子模块、测试用例生成子模块、测试执行子模块、结果判定子模块和结果输出子模块；其中，所述模型解析子模块，用于解析模型转换模块生成的被测模型，得到模型输入点和输出点的名称、数量及其类型等关键信息；所述测试用例生成子模块，用于根据模型解析模块所得信息，查找标准测试用例管理服务器中符合条件的标准测试用例，并利用被测模型信息和标准测试用例生成被测模型的测试用例；所述测试执行子模块，用于读取测试用例生成子模块生成的测试用例中输入点值，将其赋值于测试模型输入点，再根据测试用例设定的执行时间进行运算，并保存运算结果；所述结果判定子模块，用于判定测试执行子模块的运算结果是否满足容差要求或符合期望趋势。所述测试模型变量可分为数字量和模拟量两种类型，数字量可由容差判定，模拟量可由期望趋势判定；所述结果输出子模块，用于根据结果判定子模块的判定结果调用不同测试报告模版，生成、输出测试报告并将测试报告存储至测试结果管理服务器；所述测试报告模版是根据不同测试结果在外部定制的测试模版，用于存储测试结果数据。
[0011]如上所述的一种控制逻辑的测试系统，其所述的标准测试用例是指具有通用性的测试用例，可复用于不同被测模型的测试，其包含测试模型输入点名、输出点名、容差、执行时间、输入点值和输出点预期值信息。
[0012]如上所述的一种控制逻辑的测试系统，其控制逻辑测试过程中的所有请求、动作都是由应用程序工作站发送并执行的。
[0013]本发明所述的一种控制逻辑的测试方法，其包括以下步骤:
[0014]步骤S1:调用标准库生成模块创建标准测试用例，所述标准测试用例是指具有通用性的测试用例，可复用于不同被测模型的测试用例，其包含测试模型输入点名、输出点名、容差、执行时间、输入点值和输出点预期值信息；
[0015]步骤S2:通过模型转换模块将控制逻辑算法模块转换为函数代码，生成输入点清单文件、输出点清单文件和算法模块参数清单文件，整合函数代码编译成可与测试引擎模块交互的测试模型；所述输入、输出点清单文件包含模型点名及其类型信息，所述算法模块参数清单文件包含参数名及其类型信息；
[0016]步骤S3:调用模型解析子模块解析被测模型，得到模型输入点和输出点名称、数量及其类型信息；
[0017]步骤S4:根据步骤S3所得模型点名、数量及其类型信息，调用测试用例生成子模块查询标准测试用例管理服务器中满足条件的标准测试用例，并利用被测模型信息和标准测试用例生成被测模型测试用例；
[0018]步骤S5:测试执行子模块读取步骤S4生成的测试用例中输入点值，将其赋值于测试模型输入点，再根据测试用例设定的执行时间进行运算，保存运算结果；
[0019]步骤S6:通过结果判定子模块比较运算结果是否满足容差要求或符合期望趋势来判定测试结果，所述被测模型变量可分为数字量和模拟量两种类型；
[0020]步骤S7:根据步骤S6判定结果得到是否通过测试，若是，则调用“测试报告模版Y”生成测试报告；若否，则调用“测试报告模版N”生成测试报告并用颜色标注未通过项；输出测试报告并将测试结果存储至测试结果管理服务器。
[0021]如上所述的一种控制逻辑的测试方法，其步骤SI所述的标准测试用例通常是预先创建好并保存至标准测试用例管理服务器。
[0022]如上所述的一种控制逻辑的测试方法，步骤S7所述测试报告模版是根据不同测试结果在外部定制的测试模版，用于存储测试结果数据。
[0023]本发明的效果在于:本发明提出了一种控制逻辑的测试系统及方法，该系统及方法可以自动生成测试用例并批量执行测试验证作业，大大减少人为