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

在審

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

1.一種用于PLC自動化系統上編程語言的錯誤檢測設備，所述設備包括：

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

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

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

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

2.根據權利要求1所述的錯誤檢測設備，進一步包括結果判定器，其被配置為：通過比較由所述散列碼計算器計算出的所述多個程序語言的每個最小單位的散列碼，在散列碼是相互相同的情況下，判定相關序列是相同邏輯；以及通過將由所述最長公共子序列計算器計算出的最長公共子序列與設置序列的相似性閾值比較，在所述最長公共子序列大于設置序列的相似性閾值的情況下，判定相關序列是相似邏輯。

3.根據權利要求2所述的錯誤檢測設備，進一步包括邏輯報告單元，其被配置為報告對于所述序列的相同邏輯檢測、相似邏輯檢測以及判定結果。

4.根據權利要求2所述的錯誤檢測設備，進一步包括閾值輸入單元，其被配置為在未檢測到相似邏輯或者相似邏輯的數量超過設置閾值的情況下，由用戶改變并且設置所述序列的相似性閾值。

5.根據權利要求1所述的錯誤檢測設備，進一步包括變量過濾單元，其被配置為移除關于編程語言的變量的信息以用于相同邏輯的準確檢測和判定。

6.一種用于PLC自動化系統上編程語言的錯誤檢測方法，所述方法包括：

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

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

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

7.根據權利要求6所述的錯誤檢測方法，進一步包括：通過比較由所述散列碼計算器計算出的所述多個程序語言的每個最小單位的散列碼，在散列碼是相互相同的情況下，判定相關序列是相同邏輯；以及通過將由所述最長公共子序列計算器計算出的最長公共子序列與設置序列的相似性閾值比較，在所述最長公共子序列大于設置序列的相似性閾值的情況下，判定相關序列是相似邏輯。

8.根據權利要求7所述的錯誤檢測方法，進一步包括向用戶報告對于所述序列的相同邏輯檢測、相似邏輯檢測以及其判定結果。

9.根據權利要求7所述的錯誤檢測方法，進一步包括在未檢測到相似邏輯或者相似邏輯的數量超過設置閾值的情況下，由用戶改變并且設置所述序列的相似性閾值。

10.根據權利要求6所述的錯誤檢測方法，進一步包括移除關于所述編程語言的變量的信息以用于相同邏輯的準確檢測和判定。