[發(fā)明專利]利用信息同構(gòu)驗證畫面組態(tài)的方法和系統(tǒng)

有效

• 申請?zhí)枺?/td>: 201711222623.3
• 申請日: 2017-11-29
• 公開（公告）號: CN108229182B
• 公開（公告）日: 2021-11-23
• 發(fā)明（設(shè)計）人: 周良;江國進;孫永濱;白濤;張磊;張亞棟;杜喬瑞;張冬偉;高超;趙勇;王海龍
• 申請（專利權(quán)）人: 北京廣利核系統(tǒng)工程有限公司;中國廣核集團有限公司
• 主分類號: G06F21/60
• 分類號: G06F21/60;G06F21/44
• 代理公司: 北京國電智臻知識產(chǎn)權(quán)代理事務(wù)所(普通合伙) 11580
• 代理人: 孫小敏

1.一種利用信息同構(gòu)驗證畫面組態(tài)的方法，其特征在于，包括：

S1、建立畫面組態(tài)用驗證規(guī)則數(shù)據(jù)庫，所述驗證規(guī)則數(shù)據(jù)庫中對應(yīng)設(shè)置有每個組態(tài)對象各項屬性信息需要滿足的基準(zhǔn)屬性信息之間的匹配關(guān)系；

S2、將待驗證畫面組態(tài)對應(yīng)的畫面軟件需求，按照預(yù)定的第一信息同構(gòu)規(guī)則，生成機器語言對應(yīng)的第一數(shù)據(jù)庫；

S3、將待驗證畫面組態(tài)對應(yīng)的安全控制顯示裝置頁面信息下載文件，按照預(yù)定的第二信息同構(gòu)規(guī)則，生成機器語言對應(yīng)的第二數(shù)據(jù)庫；

S4、對比所述第一數(shù)據(jù)庫和所述第二數(shù)據(jù)庫，驗證每個組態(tài)對象的各項屬性的值是否與所述驗證規(guī)則數(shù)據(jù)庫中的匹配關(guān)系一致；并基于對比的結(jié)果，輸出所述待驗證畫面組態(tài)的驗證結(jié)果；

其中，所述第一信息同構(gòu)規(guī)則包括：提取所述待驗證畫面組態(tài)對應(yīng)的畫面軟件需求中對應(yīng)的所有組態(tài)對象，每個組態(tài)對象對應(yīng)生成所述第一數(shù)據(jù)庫對應(yīng)的每行數(shù)據(jù)；并將所述待驗證畫面組態(tài)對應(yīng)的畫面軟件需求中，每個組態(tài)對象對應(yīng)的屬性值填充至所述第一數(shù)據(jù)庫對應(yīng)的列中；所述第二信息同構(gòu)規(guī)則包括：提取所述待驗證畫面組態(tài)對應(yīng)的安全控制顯示裝置頁面信息下載文件中對應(yīng)的所有組態(tài)對象，每個組態(tài)對象對應(yīng)生成所述第二數(shù)據(jù)庫對應(yīng)的每行數(shù)據(jù)，并將所述安全控制顯示裝置頁面信息下載文件中，每個組態(tài)對象對應(yīng)的屬性值填充至所述第二數(shù)據(jù)庫對應(yīng)的列中。

2.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述步驟S1中的驗證規(guī)則數(shù)據(jù)庫中每行對應(yīng)一個組態(tài)對象，并且每個組態(tài)對象的列屬性信息包括：所述組態(tài)對象對應(yīng)畫面軟件需求對應(yīng)機器代碼滿足的正確參數(shù)值，所述組態(tài)對象對應(yīng)安全控制顯示裝置頁面信息下載文件對應(yīng)機器代碼滿足的正確參數(shù)值。

3.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述驗證規(guī)則數(shù)據(jù)庫設(shè)置成能夠?qū)ζ涿啃袛?shù)據(jù)進行刪除和/或增加，使得能夠基于待驗證畫面組態(tài)中組態(tài)對象的數(shù)量自動配置相應(yīng)驗證規(guī)則數(shù)據(jù)庫的內(nèi)部參數(shù)。

4.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述步驟S4中基于對比的結(jié)果，輸出所述待驗證畫面組態(tài)的驗證結(jié)果，包括：

當(dāng)所述第一數(shù)據(jù)庫和所述第二數(shù)據(jù)庫中，每個組態(tài)對象的各項屬性信息全部滿足所述基準(zhǔn)屬性信息之間的匹配關(guān)系時，輸出表征驗證通過的信息；

當(dāng)所述第一數(shù)據(jù)庫和所述第二數(shù)據(jù)庫中，每個組態(tài)對象的各項屬性信息至少一個不滿足所述基準(zhǔn)屬性信息之間的匹配關(guān)系時，將不通過組態(tài)對象及相應(yīng)不符合參數(shù)值進行標(biāo)識，并輸出表征驗證不通過的信息。

5.一種利用信息同構(gòu)驗證畫面組態(tài)的系統(tǒng)，其特征在于，包括：

畫面組態(tài)用驗證規(guī)則數(shù)據(jù)庫，所述驗證規(guī)則數(shù)據(jù)庫中對應(yīng)設(shè)置有每個組態(tài)對象各項屬性信息需要滿足的基準(zhǔn)屬性信息之間的匹配關(guān)系；

畫面軟件需求信息提取單元，設(shè)置成能夠?qū)⒋炞C畫面組態(tài)對應(yīng)的畫面軟件需求，按照預(yù)定的第一信息同構(gòu)規(guī)則，生成機器語言對應(yīng)的第一數(shù)據(jù)庫；

畫面信息提取單元，設(shè)置成能夠?qū)⒋炞C畫面組態(tài)對應(yīng)的安全控制顯示裝置頁面信息下載文件，按照預(yù)定的第二信息同構(gòu)規(guī)則，生成機器語言對應(yīng)的第二數(shù)據(jù)庫；

結(jié)果輸出單元，設(shè)置成對比所述第一數(shù)據(jù)庫和所述第二數(shù)據(jù)庫，驗證每個組態(tài)對象的各項屬性的值是否與所述驗證規(guī)則數(shù)據(jù)庫中的匹配關(guān)系一致；并基于對比的結(jié)果，輸出所述待驗證畫面組態(tài)的驗證結(jié)果；

其中，所述第一信息同構(gòu)規(guī)則包括：提取所述待驗證畫面組態(tài)對應(yīng)的畫面軟件需求中對應(yīng)的所有組態(tài)對象，每個組態(tài)對象對應(yīng)生成所述第一數(shù)據(jù)庫對應(yīng)的每行數(shù)據(jù)；并將所述待驗證畫面組態(tài)對應(yīng)的畫面軟件需求中，每個組態(tài)對象對應(yīng)的屬性值填充至所述第一數(shù)據(jù)庫對應(yīng)的列中；所述第二信息同構(gòu)規(guī)則包括：提取所述待驗證畫面組態(tài)對應(yīng)的安全控制顯示裝置頁面信息下載文件中對應(yīng)的所有組態(tài)對象，每個組態(tài)對象對應(yīng)生成所述第二數(shù)據(jù)庫對應(yīng)的每行數(shù)據(jù)，并將所述安全控制顯示裝置頁面信息下載文件中，每個組態(tài)對象對應(yīng)的屬性值填充至所述第二數(shù)據(jù)庫對應(yīng)的列中。

6.根據(jù)權(quán)利要求5所述的系統(tǒng)，其特征在于，驗證規(guī)則數(shù)據(jù)庫中每行對應(yīng)一個組態(tài)對象，并且每個組態(tài)對象的列屬性信息包括：所述組態(tài)對象對應(yīng)畫面軟件需求對應(yīng)機器代碼滿足的正確參數(shù)值，所述組態(tài)對象對應(yīng)安全控制顯示裝置頁面信息下載文件對應(yīng)機器代碼滿足的正確參數(shù)值。