[發明專利]用于編程語言的錯誤檢測設備

在審

• 申請號: 201310373735.4
• 申請日: 2013-08-23
• 公開（公告）號: CN103631711A
• 公開（公告）日: 2014-03-12
• 發明（設計）人: 李相勛
• 申請（專利權）人: LS產電株式會社
• 主分類號: G06F11/36
• 分類號: G06F11/36;G05B19/05
• 代理公司: 北京金信立方知識產權代理有限公司 11225
• 代理人: 黃威;王濤

技術領域

本公開的方案涉及一種用于編程語言的錯誤檢測設備及其方法，并且尤其涉及用于IEC61131-3編程語言的錯誤檢測設備及其方法。

背景技術

通常，用戶由于多樣化和分布式的PLC編程語言而傾向于在控制PLC（可編程邏輯控制器）中發生錯誤，并且由于各個PLC編程語言的使用而經常發生人力資源和物質資源的浪費。為了解決這些問題，IEC（國際電工委員會）已經采用國際上標準化為IEC61131-3的語言，并且使常規的PLC編程語言整合并且標準化。

圖1是根據現有技術的PLC自動化系統的程序環境的框圖。

參照圖1，PLC自動化系統的程序包括：程序準備單元11，其被配置為通過提供IEC61131-3編程環境而準備程序；程序下載單元12，其將所準備的程序下載到控制器；以及程序驗證單元13，其驗證所下載的程序。

自動化系統的程序控制器通過重復地使用一個以上相同邏輯或相似邏輯而頻繁地控制PLC自動化程序。然而，在重復使用相同邏輯或相似邏輯的情況下，在PLC自動化系統中使用的IEC61131-3編程語言與為更高等級編程語言的C/C++語言之間比較時，由于在程序的準備期間缺乏如用于重復邏輯使用的模板的要素，所以在邏輯變化期間會存在一個接一個地搜索和改變相同邏輯或相似邏輯的問題。

特別地，用于一個以上相同部件使用的邏輯變化必須等同地應用到相同部件所使用的所有情況。即使從邏輯變化中省略一個部件，也會使整個自動化系統的可靠性惡化。雖然從自動化系統的研發階段到試驗操作和維護/維修階段都必須重要地以同樣的方式管理相同邏輯或相似邏輯，但是在自動化系統的常規程序環境下未提供搜索相同邏輯或相似邏輯的功能。

發明內容

本公開的示例性方案是為了實質上解決至少上面的問題和/或缺陷并且提供至少下面提到的優勢。因此，本公開旨在提供一種用于編程語言的錯誤檢測設備及其方法，所述設備被配置為通過檢測相同邏輯或相似邏輯來報告關于自動化系統的程序的相同（等同）邏輯或相似邏輯。

本公開還旨在提供一種用于編程語言的錯誤檢測設備及其方法，所述設備被配置為快速且容易地檢測與錯誤邏輯相同（等同）或相似的邏輯，并且被配置為允許用戶預先識別易出現錯誤的邏輯。

在本公開的一個總的方案中，提供了一種用于PLC自動化系統上編程語言的錯誤檢測設備，所述設備包括：

程序準備單元，其被配置為通過使用編程語言來準備程序；

邏輯轉換器，其被配置為將準備的程序轉換成序列；

散列碼（hash?code）計算器，其被配置為通過將轉換后的序列劃分成多個程序語言的最小單位，通過被劃分的所述多個程序語言的最小單位來計算各個散列碼并且通過比較各個計算出的散列碼來對于序列檢測相同邏輯；以及

LCS（最長公共子序列）計算器，其對于被所述多個程序語言的最小單位劃分的序列計算LCS，并且通過將計算出的LCS應用到LCS算法來對于所述序列檢測相似邏輯。

優選地，但不是必要的，所述錯誤檢測設備可以進一步包括結果判定器，其被配置為：通過比較由所述散列碼計算器計算出的所述多個程序語言的每個最小單位的散列碼，在散列碼是相互相同的情況下，判定相關序列是相同邏輯；以及通過將所述LCS計算器計算出的LCS與設置序列的相似性閾值比較在所述LCS大于設置序列的相似性閾值的情況下，判定相關序列是相似邏輯。

優選地，但不是必要的，所述錯誤檢測設備可以進一步包括邏輯報告單元，其被配置為報告對于所述序列的相同邏輯檢測、相似邏輯檢測以及判定結果。

優選地，但不是必要的，所述錯誤檢測設備可以進一步包括閾值輸入單元，其被配置為在未檢測到相似邏輯或者相似邏輯的數量超過設置閾值的情況下，由用戶改變并且設置所述序列的相似性閾值。

優選地，但不是必要的，所述錯誤檢測設備可以進一步包括變量過濾單元，其被配置為移除關于編程語言的變量的信息以用于相同邏輯的準確檢測和判定。

在本公開的另一個總的方案中，提供了一種用于PLC自動化系統上編程語言的錯誤檢測方法，所述方法包括：

使用編程語言來準備程序并且將準備的程序轉換成序列；

通過將轉換后的序列劃分成多個程序語言的最小單位，通過被劃分的所述多個程序語言的最小單位來計算各個散列碼并且通過比較各個計算出的散列碼來對于序列檢測相同邏輯；以及

對于被所述多個程序語言的最小單位劃分的序列計算LCS（最長公共子序列），并且通過將計算出的LCS應用到LCS算法來對于所述序列檢測相似邏輯。