[发明专利]利用信息同构验证画面组态的方法和系统

权利要求书

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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