CN108229182B - 利用信息同构验证画面组态的方法和系统 - Google Patents

Abstract

本发明涉及核电站安全控制的技术领域，为了解决现有技术中SVDU画面组态验证过程中，执行效率不高、工作质量过于依赖人为因素的技术问题；本发明提供一种利用信息同构验证画面组态的方法和系统，所述方法包括：S1、建立画面组态的验证规则数据库；S2、将待验证画面组态对应的画面软件需求，按照预定的第一信息同构规则，生成机器语言对应的第一数据库；S3、将待验证画面组态对应的安全控制显示装置页面信息下载文件，按照预定的第二信息同构规则，生成机器语言对应的第二数据库；S4、对比所述第一数据库和所述第二数据，验证每个组态对象的各项属性的值是否与验证规则数据库中的匹配关系一致；并基于对比的结果，输出所述待验证画面组态的验证结果。

Description

利用信息同构验证画面组态的方法和系统

技术领域

本发明涉及核电站安全控制的技术领域，尤其涉及安全级人机接口显示单元中应用软件验证与确认的技术领域，更具体地涉及一种利用信息同构验证画面组态的方法和系统。

背景技术

核电厂安全级人机接口显示单元(Safety Video Display Unit,或称SafetyVDU，或简称SVDU)，能够对安全级DCS(分布式控制系统)进行直接控制，并且实现仪控系统操作和信息监控层之间不同等级的隔离。具体地：操作员通过SVDU向安全相关设备和功能发送命令，同时接收安全相关设备提供的状态反馈，并将反馈的状态信息，通过SVDU中的操作窗口显示，为操作员提供监视信息。

SVDU作为人机接口(Human Machine Interface，简称HMI)软件，一般分为两部分：1、运行于HMI硬件中的系统软件，2、运行于系统软件下的画面应用软件，在引入SVDU后，验证画面应用软件的功能实现的正确性成为必须考虑的问题。

发明人在实现本发明的过程中发现：工程人员使用HMI的画面组态软件时，需要有画面软件需求，并进行人工制作画面应用软件；而目前画面软件需求和画面应用软件，是以自然语言和半形式化表现为主，验证与确认(V&V)都是以人工为主执行，而且验证与确认工作量巨大，导致执行效率不高，而且工作质量过于依赖人为因素。并且现有技术中，验证与确认(V&V)的技术领域中，并未有支持SVDU分析领域内的验证与确认(V&V)工具。

发明内容

为了解决现有技术中SVDU画面组态验证过程中，执行效率不高、工作质量过于依赖人为因素的技术问题；本发明提供一种利用信息同构验证画面组态的方法和系统，能够自动执行验证。

为了实现上述目的，本发明提供的技术方案包括：

本发明一方面提供一种利用信息同构验证画面组态的方法，其特征在于，包括：

S1、建立画面组态用验证规则数据库，所述验证规则数据库中对应设置有每个组态对象各项属性信息需要满足的基准属性信息之间的匹配关系；

S2、将待验证画面组态对应的画面软件需求，按照预定的第一信息同构规则，生成机器语言对应的第一数据库；

S3、将待验证画面组态对应的安全控制显示装置页面信息下载文件，按照预定的第二信息同构规则，生成机器语言对应的第二数据库；

S4、对比所述第一数据库和所述第二数据中，验证每个组态对象的各项属性的值是否与所述验证规则数据库中的匹配关系一致；并基于对比的结果，输出所述待验证画面组态的验证结果。

本发明实施例优选地，所述步骤S1中的验证规则数据库中每行对应一个组态对象，并且每个组态对象的列属性信息包括：所述组态对象对应画面软件需求对应机器代码满足的正确参数值，所述组态对象对应安全控制显示装置页面信息下载文件对应机器代码满足的正确参数值。

本发明实施例优选地，所述步骤S2中第一信息同构规则包括：提取所述待验证画面组态对应的画面软件需求中对应的所有组态对象，每个组态对象对应生成所述第一数据库对应的每行数据；并将所述待验证画面组态对应的画面软件需求中，每个组态对象对应的属性值填充至所述第一数据库对应的列中；所述步骤S3中第二信息同构规则包括：提取所述待验证画面组态对应的安全控制显示装置页面信息下载文件中对应的所有组态对象，每个组态对象对应生成所述第二数据库对应的每行数据，并将所述安全控制显示装置页面信息下载文件中，每个组态对象对应的属性值填充至所述第二数据库对应的列中。

本发明实施例优选地，所述验证规则数据库设置成能够对其每行数据进行删除和/或增加，使得能够基于待验证画面组态中组态对象的数量自动配置相应验证规则数据库的内部参数。

本发明实施例优选地，所述步骤S4中基于对比的结果，输出所述待验证画面组态的验证结果，包括：

当所述第一数据库和所述第二数据中，每个组态对象的各项属性信息全部满足所述基准属性信息之间的匹配关系时，输出表征验证通过的信息；

当所述第一数据库和所述第二数据中，每个组态对象的各项属性信息至少一个不满足所述基准属性信息之间的匹配关系时，将不通过组态对象及相应不符合参数值进行标识，并输出表征验证不通过的信息。

本发明另一方面还提供一种利用信息同构验证画面组态的系统，其特征在于，包括：

画面组态用验证规则数据库，所述验证规则数据库中对应设置有每个组态对象各项属性信息需要满足的基准属性信息之间的匹配关系；

画面软件需求信息提取单元，设置成能够将待验证画面组态对应的画面软件需求，按照预定的第一信息同构规则，生成机器语言对应的第一数据库；

画面信息提取单元，设置成能够将待验证画面组态对应的安全控制显示装置页面信息下载文件，按照预定的第二信息同构规则，生成机器语言对应的第二数据库；

结果输出单元，设置成对比所述第一数据库和所述第二数据中，验证每个组态对象的各项属性的值是否与所述验证规则数据库中的匹配关系一致；并基于对比的结果，输出所述待验证画面组态的验证结果。

本发明实施例优选地，验证规则数据库中每行对应一个组态对象，并且每个组态对象的列属性信息包括：所述组态对象对应画面软件需求对应机器代码满足的正确参数值，所述组态对象对应安全控制显示装置页面信息下载文件对应机器代码满足的正确参数值。

本发明实施例优选地，所述画面软件需求信息提取单元中第一信息同构规则包括：提取所述待验证画面组态对应的画面软件需求中对应的所有组态对象，每个组态对象对应生成所述第一数据库对应的每行数据；并将所述待验证画面组态对应的画面软件需求中，每个组态对象对应的属性值填充至所述第一数据库对应的列中；所述画面信息提取单元中第二信息同构规则包括：提取所述待验证画面组态对应的安全控制显示装置页面信息下载文件中对应的所有组态对象，每个组态对象对应生成所述第二数据库对应的每行数据，并将所述安全控制显示装置页面信息下载文件中，每个组态对象对应的属性值填充至所述第二数据库对应的列中。

本发明实施例优选地，所述验证规则数据库还设置成能够对其每行数据进行删除和/或增加，使得能够基于待验证画面组态中组态对象的数量自动配置相应验证规则数据库的内部参数。

本发明实施例优选地，所述结果输出单元中基于对比的结果，输出所述待验证画面组态的验证结果，包括：

当所述第一数据库和所述第二数据中，每个组态对象的各项属性信息全部满足所述基准属性信息之间的匹配关系时，输出表征验证通过的信息；

当所述第一数据库和所述第二数据中，每个组态对象的各项属性信息至少一个不满足所述基准属性信息之间的匹配关系时，将不通过组态对象及相应不符合参数值进行标识，并输出表征验证不通过的信息。

采用本申请提供的上述技术方案，可以获得以下有益效果中至少一种：

1、将待验证画面组态对应画面软件需求和画面应用软件中，以自然语言和半形式化表现的表达方式，按照信息同构的方式，生成机器能够识别的数据库，然后与预先设置的验证规则数据库进行对比，自动输出待验证画面组态的验证结果；提高了验证的效率和准确性。

2、验证规则数据库还设置成能够对其每行数据进行删除和/或增加，这样可以针对不同的待验证画面组态，调整验证数据库的内容；使得不同的待验画面组态都能够被验证，提高本申请技术方案的应用场景，利于市场推广。

3、当每个组态对象的各项属性信息至少一个不满足所述验证规则数据库中的参数值时，将不通过组态对象及相应不符合参数值进行标识，并输出表征验证不通过的信息；这样可以快速定位到需要修改的待验证画面信息，便于后续快速修改不合格对象。

发明的其它特征和优点将在随后的说明书中阐述，并且，部分地从说明书变得显而易见，或者通过实施本发明的技术方案而了解。本发明的目的和其他优点可通过在说明书、权利要求书以及附图中所特别指出的结构和/或流程来实现和获得。

附图说明

图1为本发明实施例提供的一种利用信息同构验证画面组态方法的流程图。

图2为本发明实施例提供的另一种利用信息同构验证画面组态方法的流程图。

图3为本发明实施例提供的一种验证规则数据库的示意图。

图4为本发明实施例提供的一种画面软件需求的示意图一。

图5为本发明实施例提供的一种画面软件需求的示意图二。

图6为本发明实施例提供的一种信息同构之后的第一数据库的示意图。

图7为本发明实施例提供的一种安全控制显示装置页面信息示意图一。

图8为本发明实施例提供的一种安全控制显示装置页面信息示意图二。

图9为本发明实施例提供的一种安全控制显示装置页面信息下载文件示意图。

图10为本发明实施例提供的一种信息同构之后的第二数据库的示意图。

图11为本发明实施例提供的一种验证画面组态输出结果样表示意图。

图12为本发明实施例提供的一种利用信息同构验证画面组态系统的示意图。

具体实施方式

以下将结合附图及实施例来详细说明本发明的实施方式，借此对本发明如何应用技术手段来解决技术问题，并达成技术效果的实现过程能充分理解并据以实施。需要说明的是，这些具体的说明只是让本领域普通技术人员更加容易、清晰理解本发明，而非对本发明的限定性解释；并且只要不构成冲突，本发明中的各个实施例以及各实施例中的各个特征可以相互结合，所形成的技术方案均在本发明的保护范围之内。

另外，在附图的流程图示出的步骤可以在诸如一组控制器可执行指令的控制系统中执行，并且，虽然在流程图中示出了逻辑顺序，但是在某些情况下，可以以不同于此处的顺序执行所示出或描述的步骤。

下面通过附图和具体实施例，对本发明的技术方案进行详细描述：

实施例

本实施例提供一种基于信息同构原理，自动完成安全级人机接口显示单元中应用软件验证与确认的技术方案，包括：关键信息提取，画面信息同构，对比结果输出；关键信息提取分为从画面软件需求中辨识画面组态信息和从SVDU页面信息下装文件中解析画面动态特性，即包括解析SCID(安全控制显示装置(英文简称SCID)页面信息，下装文件中操作面板的图元动态特性的设置值，并导出图元动态特性的设置值清单；画面信息同构指分别将画面组态信息和页面动态特性信息表达为相同结构的数据库，该数据库中图元类型映射关系通过V&V验证规格库配置；对比结果输出包括自动验证图元动态特性值是否满足“安全控制显示系统数据库规格书”的要求，并输出验证结。其中，本实施例提及的“信息同构”，指针对自然语言的画面软件需求和半形式化的画面应用软件，为了机器能将这两种事物进行比对，首先将它们按照预定的规则(V&V验证规则库)进行信息提取并映射到另一种机器能够识别的中间数据，然后通过自动检测中间数据库的值，并且进行一致性判断，最终实现自动判断画面软件需求和画面应用软件是否符合要求。

具体地：如图1所示，本实施例提供一种利用信息同构验证画面组态的方法，该方法包括：

S1、建立画面组态用验证规则数据库，验证规则数据库中对应设置有每个组态对象各项属性信息需要满足的基准属性信息之间的匹配关系；

验证规则数据库的作用就是用机器语言，提前将正确或者满足要求的画面软件需求、画面应用软件提炼出来，为后续进行自动验证提供一个对照目标，让机器有一个对照目标，可以自动对待处理对象进行比对；并且作为优选的方案还提供一种自动对待处理的画面软件需求、画面应用软件提供一种提取待验证信息的规则例如表格中哪种类型/哪个位置的数据值/字段需要提取，或者代码中哪种类型/哪个位置的数据值/字段需要提取等。其中，本实施例提及的组态对象可以为不同元件(例如开关、阀、按钮等)的不同属性信息(例如名称、参数范围、类型、状态等)。

S2、将待验证画面组态对应的画面软件需求，按照预定的第一信息同构规则，生成机器语言对应的第一数据库；即将以自然语言表现的画面软件需求内容，基于信息同构的原理，自动生成能够被机器识别的第一数据库，本实施例提及的第一数据库优选为Excel表格的形式。

S3、将待验证画面组态对应的安全控制显示装置页面信息下载文件，按照预定的第二信息同构规则，生成机器语言对应的第二数据库；即将以半形式化表现的页面信息下载文件内容，基于信息同构的原理，自动生成能够被机器识别的第二数据库，本实施例提及的第二数据库也优选为Excel表格的形式。

S4、对比第一数据库和第二数据，验证每个组态对象的各项属性的值是否与验证规则数据库中的匹配关系一致；并基于对比的结果，输出待验证画面组态的验证结果。

其中，验证每个组态对象的各项属性的值是否与验证规则数据库中的匹配关系一致的方式，可以通过对应关系通过验证规则数据库匹配关系实现；具体地，第一数据库和第二数据库都存储了属性的名称和值，例如，第一数据库中属性名称叫“ID”，它的值是“ARE001KC”，在第二数据库中属性的名称由“面板类型”、“属性ID”、“图符类型”、“属性名称”的组合来确定(即“1”“2”“label”“text”)，该属性的值是“ARE001KC”；虽然这两个数据库中对一同种属性的叫法不同，但是通过提前设置好需要满足的验证规则数据库，来建立它们之间的匹配关系，然后直接基于预定的匹配关系，自动验证待验证的每个组态对象各项属性是否满足要求。

需要说明的是，本实施例提供的上述技术方案中，步骤S1-S3可以按照需求自定义先后顺序，并且还可以同时进行处理，本实施例不对这些顺序进行限定；不同顺序的执行，都属于本实施例技术方案的保护范围。

本实施例优选地，上述步骤S1中的验证规则数据库中每行对应一个组态对象的一种属性信息配备关系，并且每个组态对象的列属性信息包括：组态对象对应画面软件需求对应机器代码可识别的属性名称，组态对象对应安全控制显示装置页面信息下载文件对应机器代码可识别的属性名称。

本实施例优选地，上述步骤S2中第一信息同构规则包括：提取待验证画面组态对应的画面软件需求中对应的所有组态对象，每个组态对象对应生成第一数据库对应的每行数据；并将待验证画面组态对应的画面软件需求中，每个组态对象对应的属性值填充至第一数据库对应的列中；步骤S3中第二信息同构规则包括：提取待验证画面组态对应的安全控制显示装置页面信息下载文件中对应的所有组态对象，每个组态对象对应生成第二数据库对应的每行数据，并将安全控制显示装置页面信息下载文件中，每个组态对象对应的属性值填充至第二数据库对应的列中。

本实施例优选地，上述验证规则数据库设置成能够对其每行数据进行删除和/或增加，使得能够基于待验证画面组态中组态对象的数量自动配置相应验证规则数据库的内部参数。例如，下文中的图2对应为截取了一种操作面板的基准-对象信息的映射关系表，假设该操作面板减少了一个按钮，就把对应的那行删除；假设增加了一种操作面板，就填写新面板的基准-对象信息的映射关系。

本实施例优选地，上述步骤S4中基于对比的结果，输出待验证画面组态的验证结果，包括：

当第一数据库和第二数据中，每个组态对象的各项属性信息全部满足验证规则数据库中的基准属性信息之间的匹配关系时，输出表征验证通过的信息；

当第一数据库和第二数据中，每个组态对象的各项属性信息至少一个与验证规则数据库中基准属性信息之间的匹配关系不一致时，将不通过组态对象及相应不符合参数值进行标识，并输出表征验证不通过的信息。例如，下文中的图11对应为执行本实施例技术方案，最后输出的异常问题记录单模版图；能够自动记录验证不通过信息项，便于用户快速知晓。

为了使本领域普通技术人员更加容易理解本申请实施例的技术方案，下面结合图2-图11提及的具体样表进行说明：

如图2所示，本实施例提供的一种利用信息同构验证画面组态方法方法，包括：

S210、输入画面软件需求(文字+表格)的待确认文件；

如图4为一种数据库开关量格式示例图，图5为一种数据库模拟量格式示例图；步骤S210-S212-S214-S240完成自动验证图元动态特性值，是否满足“安全控制显示系统数据库规格书”中开关量/模拟量操作面板数据库的要求，并输出验证结果。

S212、画面组态信息辨识，利用本实施例提及的上述信息同构规则，对S210中的待确认文件进行解析；

S214、输出画面信息数据库A，即前文提及的第一数据库；数据库A的一种表现形式示例如图6所示。

S220、解析SVDU页面信息下载文件(XML)；

其中，画面软件需求文件的示例格式如图7、图8所示，图7代表控制对象是开关型的操作面板(比如泵、阀，它们只有开或者关两个方向)，图8代表控制对象是模拟量型的操作面板(比如调节阀)，)“SCID页面图示”的信息最终的存储格式是XML，实际执行这些操作面板的部分代码如图9所示。

图7中待处理对象的含义，如表1所示：

表1.图7对应SCID页面信息表

图8中待处理对象的含义，如表2所示：

表2.图8对应SCID页面信息表

S222、画面动态特性解析，即将图7、图8对应执行的代码(图9对应为部分代码的示例)按照上述第二信息同构规则解析；

S224、输出画面信息数据库B，即上文提及的第二数据；数据库B的一种表现形式示例如图10所示。

通过S214、S224之后，能够分别获得类似图6、图10示意的中间文件。

S230、输入V&V验证规则库(库文件)，即输入上文提及的画面组态用验证规则数据库；即输入图3示例的一种验证规则库，该验证规则库包括两部分，第一部分对应完成数据库A的验证，第二部分用于完成数据库B的验证，两份部分设置为非直接的关系，或者说是隐式的关系，需要通过“V&V验证规则库(库文件)”建立两个数据库字段之间的连接关系。

两个数据库有关联关系，但是一种非直接的关系，或者说是隐式的关系，需要通过“V&V验证规则库(库文件)”建立两个数据库字段之间的连接关系。

S240、V&V验证执行，对比类似图6、图10的中间文件是否满足类似图3中对应规则库中参数要求。

需要说明的是，上述V&V验证规则库(库文件)可以至合并在一个表格中的数据，也可以是不同表格中的数据，只能能够分别验证上述的数据A和数据库B的内容是否符合要求；这些不同的方式，都属于本申请实施例的保护范围。

本实施例还提供一种利用信息同构验证画面组态的系统，该系统包括第一存储单元、第二存储单元和控制器，第一存储单元用于存储执行上述验证方法的计算机程序，第二存储单元用于存储上述数据库相关数据信息，控制器(包括但不限于计算机的CPU)用于加载第一存储单元中的程序，对第二存储单元中的待验证的画面组态是否符合要求进行自动验证。

如图12所示，本实施例还提供一种利用信息同构验证画面组态的系统，该系统包括：

画面组态用验证规则数据库120，验证规则数据库中对应设置有每个组态对象各项属性信息需要满足的基准属性信息之间的匹配关系；

画面软件需求信息提取单元110，设置成能够将待验证画面组态对应的画面软件需求，按照预定的第一信息同构规则，生成机器语言对应的第一数据库；

画面信息提取单元130，设置成能够将待验证画面组态对应的安全控制显示装置页面信息下载文件，按照预定的第二信息同构规则，生成机器语言对应的第二数据库；

结果输出单元140，设置成对比第一数据库和第二数据验证每个组态对象的各项属性的值是否与验证规则数据库中的匹配关系一致；并基于对比的结果，输出待验证画面组态的验证结果。

其中，验证每个组态对象的各项属性的值是否与验证规则数据库中的匹配关系一致的方式，可以通过对应关系通过验证规则数据库匹配关系实现；具体地，第一数据库和第二数据库都存储了属性的名称和值，例如，第一数据库中属性名称叫“ID”，它的值是“ARE001KC”，在第二数据库中属性的名称由“面板类型”、“属性ID”、“图符类型”、“属性名称”的组合来确定(即“1”“2”“label”“text”)，该属性的值是“ARE001KC”；虽然这两个数据库中对一同种属性的叫法不同，但是通过提前设置好需要满足的验证规则数据库，来建立它们之间的匹配(对应)关系，然后直接基于预定的匹配(对应)关系，自动验证待验证的每个组态对象各项属性是否满足要求。

本实施例优选地，验证规则数据库120中每行对应一个组态对象，并且每个组态对象的列属性信息包括：组态对象对应画面软件需求对应机器代码满足的正确参数值，组态对象对应安全控制显示装置页面信息下载文件对应机器代码满足的正确参数值。

本实施例优选地，画面软件需求信息提取单元110中第一信息同构规则包括：提取待验证画面组态对应的画面软件需求中对应的所有组态对象，每个组态对象对应生成第一数据库对应的每行数据；并将待验证画面组态对应的画面软件需求中，每个组态对象对应的属性值填充至第一数据库对应的列中；画面信息提取单元130中第二信息同构规则包括：提取待验证画面组态对应的安全控制显示装置页面信息下载文件中对应的所有组态对象，每个组态对象对应生成第二数据库对应的每行数据，并将安全控制显示装置页面信息下载文件中，每个组态对象对应的属性值填充至第二数据库对应的列中。

本实施例优选地，验证规则数据库120还设置成能够对其每行数据进行删除和/或增加，使得能够基于待验证画面组态中组态对象的数量自动配置相应验证规则数据库的内部参数。

本实施例优选地，结果输出单元140中基于对比的结果，输出待验证画面组态的验证结果，包括：

当第一数据库和第二数据中，每个组态对象的各项属性信息全部满足验证规则数据库中的基准属性信息之间的匹配关系时，输出表征验证通过的信息；

当第一数据库和第二数据中，每个组态对象的各项属性信息至少一个不满足验证规则数据库中的基准属性信息之间的匹配关系时(即与验证规则数据库中基准属性信息之间的匹配关系不一致)，将不通过组态对象及相应不符合参数值进行标识，并输出表征验证不通过的信息。

采用本申请提供的上述技术方案，可以获得以下有益效果中至少一种：

1、将待验证画面组态对应画面软件需求和画面应用软件中，以自然语言和半形式化表现的表达方式，按照信息同构的方式，生成机器能够识别的数据库，然后与预先设置的验证规则数据库进行对比，自动输出待验证画面组态的验证结果；提高了验证的效率和准确性。

2、验证规则数据库还设置成能够对其每行数据进行删除和/或增加，这样可以针对不同的待验证画面组态，调整验证数据库的内容；使得不同的待验画面组态都能够被验证，提高本申请技术方案的应用场景，利于市场推广。

3、当每个组态对象的各项属性信息至少一个不满足验证规则数据库中的参数值时，将不通过组态对象及相应不符合参数值进行标识，并输出表征验证不通过的信息；这样可以快速定位到需要修改的待验证画面信息，便于后续快速修改不合格对象。

本领域普通技术人员可以理解：实现上述各方法实施例的全部或部分步骤可以通过程序指令相关的硬件来完成。前述的程序可以存储于一计算机可读取存储介质中。该程序在执行时，执行包括上述各方法实施例的步骤；而前述的存储介质包括：ROM、RAM、磁碟或者光盘等各种可以存储程序代码的介质。

最后需要说明的是，上述说明仅是本发明的最佳实施例而已，并非对本发明做任何形式上的限制。任何熟悉本领域的技术人员，在不脱离本发明技术方案范围内，都可利用上述揭示的做法和技术内容对本发明技术方案做出许多可能的变动和简单的替换等，这些都属于本发明技术方案保护的范围。

Claims (8)

1.一种利用信息同构验证画面组态的方法，其特征在于，包括：

S1、建立画面组态用验证规则数据库，所述验证规则数据库中对应设置有每个组态对象各项属性信息需要满足的基准属性信息之间的匹配关系；

S2、将待验证画面组态对应的画面软件需求，按照预定的第一信息同构规则，生成机器语言对应的第一数据库；

S3、将待验证画面组态对应的安全控制显示装置页面信息下载文件，按照预定的第二信息同构规则，生成机器语言对应的第二数据库；

S4、对比所述第一数据库和所述第二数据库，验证每个组态对象的各项属性的值是否与所述验证规则数据库中的匹配关系一致；并基于对比的结果，输出所述待验证画面组态的验证结果；

其中，所述第一信息同构规则包括：提取所述待验证画面组态对应的画面软件需求中对应的所有组态对象，每个组态对象对应生成所述第一数据库对应的每行数据；并将所述待验证画面组态对应的画面软件需求中，每个组态对象对应的属性值填充至所述第一数据库对应的列中；所述第二信息同构规则包括：提取所述待验证画面组态对应的安全控制显示装置页面信息下载文件中对应的所有组态对象，每个组态对象对应生成所述第二数据库对应的每行数据，并将所述安全控制显示装置页面信息下载文件中，每个组态对象对应的属性值填充至所述第二数据库对应的列中。

2.根据权利要求1所述的方法，其特征在于，所述步骤S1中的验证规则数据库中每行对应一个组态对象，并且每个组态对象的列属性信息包括：所述组态对象对应画面软件需求对应机器代码满足的正确参数值，所述组态对象对应安全控制显示装置页面信息下载文件对应机器代码满足的正确参数值。

3.根据权利要求1所述的方法，其特征在于，所述验证规则数据库设置成能够对其每行数据进行删除和/或增加，使得能够基于待验证画面组态中组态对象的数量自动配置相应验证规则数据库的内部参数。

4.根据权利要求1所述的方法，其特征在于，所述步骤S4中基于对比的结果，输出所述待验证画面组态的验证结果，包括：

当所述第一数据库和所述第二数据库中，每个组态对象的各项属性信息全部满足所述基准属性信息之间的匹配关系时，输出表征验证通过的信息；

当所述第一数据库和所述第二数据库中，每个组态对象的各项属性信息至少一个不满足所述基准属性信息之间的匹配关系时，将不通过组态对象及相应不符合参数值进行标识，并输出表征验证不通过的信息。

5.一种利用信息同构验证画面组态的系统，其特征在于，包括：

画面组态用验证规则数据库，所述验证规则数据库中对应设置有每个组态对象各项属性信息需要满足的基准属性信息之间的匹配关系；

画面软件需求信息提取单元，设置成能够将待验证画面组态对应的画面软件需求，按照预定的第一信息同构规则，生成机器语言对应的第一数据库；

画面信息提取单元，设置成能够将待验证画面组态对应的安全控制显示装置页面信息下载文件，按照预定的第二信息同构规则，生成机器语言对应的第二数据库；

结果输出单元，设置成对比所述第一数据库和所述第二数据库，验证每个组态对象的各项属性的值是否与所述验证规则数据库中的匹配关系一致；并基于对比的结果，输出所述待验证画面组态的验证结果；

其中，所述第一信息同构规则包括：提取所述待验证画面组态对应的画面软件需求中对应的所有组态对象，每个组态对象对应生成所述第一数据库对应的每行数据；并将所述待验证画面组态对应的画面软件需求中，每个组态对象对应的属性值填充至所述第一数据库对应的列中；所述第二信息同构规则包括：提取所述待验证画面组态对应的安全控制显示装置页面信息下载文件中对应的所有组态对象，每个组态对象对应生成所述第二数据库对应的每行数据，并将所述安全控制显示装置页面信息下载文件中，每个组态对象对应的属性值填充至所述第二数据库对应的列中。

6.根据权利要求5所述的系统，其特征在于，验证规则数据库中每行对应一个组态对象，并且每个组态对象的列属性信息包括：所述组态对象对应画面软件需求对应机器代码满足的正确参数值，所述组态对象对应安全控制显示装置页面信息下载文件对应机器代码满足的正确参数值。

7.根据权利要求5所述的系统，其特征在于，所述验证规则数据库还设置成能够对其每行数据进行删除和/或增加，使得能够基于待验证画面组态中组态对象的数量自动配置相应验证规则数据库的内部参数。

8.根据权利要求5所述的系统，其特征在于，所述结果输出单元中基于对比的结果，输出所述待验证画面组态的验证结果，包括：

当所述第一数据库和所述第二数据库中，每个组态对象的各项属性信息全部满足所述基准属性信息之间的匹配关系时，输出表征验证通过的信息；

当所述第一数据库和所述第二数据库中，每个组态对象的各项属性信息至少一个不满足所述基准属性信息之间的匹配关系时，将不通过组态对象及相应不符合参数值进行标识，并输出表征验证不通过的信息。

Images