[发明专利]一种核电厂控制逻辑设计验证的系统及方法

权利要求书

1.一种核电厂控制逻辑设计验证的系统，其特征在于，包括客户端计算机、控制逻辑设计验证数据存储服务器、数据结构分解服务器及存储设计数据和要求规格数据的数据库；客户端计算机通过网络分别与控制逻辑设计验证数据存储服务器和数据结构分解服务器互相通讯连接，控制逻辑设计验证过程中的所有请求、动作由客户端计算机发送并执行；数据结构分解服务器与数据库互相通讯连接。

2.如权利要求1所述的核电厂控制逻辑设计验证的系统，其特征在于，所述客户端计算机用于安装控制逻辑设计验证主程序/应用程序，并支持用户自定义的设计验证流程、设计验证过程及结果的监测。

3.如权利要求1所述的核电厂控制逻辑设计验证的系统，其特征在于，所述控制逻辑设计验证数据存储服务器包含需要开展设计验证的控制逻辑设计数据、控制要求规格数据、设计验证结果数据、设计验证流程、自动测试用例数据、依据专家经验形成的设计验证验收准则数据及用于存储这些数据和流程的数据库。

4.如权利要求1所述的核电厂控制逻辑设计验证的系统，其特征在于，所述数据结构分解服务器包括：

数据载入模块，用于从控制逻辑设计验证数据存储服务器中载入需要开展设计验证的控制逻辑图的数据以及相应的控制要求规格数据；

数据分解模块，用于对载入的数据根据不同的设计验证方法进行识别分类。

5.如权利要求1所述的核电厂控制逻辑设计验证的系统，其特征在于，所述客户端计算机包含：

数据识别调用模块，用于在设计验证过程中的不同环节调用所需数据；

设计验证流程及验收准则模块，用于驱动控制逻辑所生成的模型，根据所对应的测试用例，开展自动测试；

数据比对模块，用于根据设计验证验收准则，比较控制要求规格数据和控制逻辑设计数据；

用户接口模块，用于定义用户所关心的数据以及特殊的设计验证方法；

设计验证结果输出模块，用于生成控制逻辑设计验证报告等报表。

6.如权利要求5所述的核电厂控制逻辑设计验证的系统，其特征在于，所述设计验证流程及验收准则模块包含：

设计审查流程子模块，用于读取例如人机接口、设备接口、控制整定值等控制逻辑的设计数据，与要求规格中的对应数据进行匹配，作为数据对比模块的输入数据之一；

测试流程子模块，用于读取控制逻辑相关的设计数据和要求规格数据，选取预定义的测试用例或用户定义的测试用例，将控制逻辑自动转换为模型，并驱动模型执行测试用例，记录测试输出数据，作为数据对比模块的输入数据之一；

用户自定义流程子模块，用于提供用户定义除设计审查流程子模块和测试流程子模块之外的控制逻辑设计验证流程以及相应的验收准则。

7.一种核电厂控制逻辑设计验证的方法，其特征在于，包括以下步骤：

步骤S1：从客户端计算机输入所需开展设计验证的控制逻辑图数据和相关要求规格数据；

步骤S2：数据结构分解服务器中载入输入的数据并进行识别和分类；

步骤S3：客户端计算机中的数据识别调用模块，根据不同类型的数据采用不同的设计验证方法，对载入的设计数据和相关要求规格数据、设计验证流程、自动测试用例数据、设计验证验收准则数据进行调用；

步骤S4：根据所选取的设计验证方法，驱动相关数据执行所对应的设计验证流程；

步骤S5：使用数据对比模块和数据识别调用模块，选取设计验证验收准则数据用于判断设计验证结果并将其结果存储于数据库中；

步骤S6：调用设计验证结果输出模块，将测试结果依据模版文件测试验证报告文件；

步骤S7：用户可自定义其关心的数据、定义原系统中默认流程之外的设计验证流程，并可调用显示窗口监测设计验证过程及结果。