[發明專利]一種軟件故障報警監測方法

有效

• 申請號: 201710149727.X
• 申請日: 2017-03-14
• 公開（公告）號: CN107145422B
• 公開（公告）日: 2020-08-28
• 發明（設計）人: 左輝;陳祥;夏庭鍇;呂新軍
• 申請（專利權）人: 卡斯柯信號有限公司
• 主分類號: G06F11/30
• 分類號: G06F11/30;G06F11/36
• 代理公司: 上?？剖⒅R產權代理有限公司 31225
• 代理人: 應小波

本發明涉及一種軟件故障報警監測方法，包括以下步驟:步驟A：為每一個軟件模塊分配靜態模塊編碼；步驟B：在軟件模塊中為每一個故障報警信息分配一個靜態故障編碼；步驟C：軟件運行時在軟件模塊執行之前分配動態模塊編碼；步驟D：在軟件模塊執行時首先記錄當前模塊編碼；步驟E：在軟件模塊運行時檢查和搜集故障報警信息；步驟F：檢測到故障信息后將系統全部內部狀態記錄到外部存儲器，系統導向安全處理；步驟G：軟件模塊正常執行結束時擦除記錄的當前模塊編碼；步驟H：使用故障分析診斷工具進行分析。與現有技術相比，本發明在軟件故障時導向安全處理，并且能夠快速定位故障位置，分析報警原因，提高了軟件的安全性和可維護性。

技術領域

本發明涉及軟件故障監測技術，尤其是涉及一種軟件故障報警監測方法。

背景技術

對于涉及到生命攸關功能的軟件，軟件的故障可能導致極其災難性的后果，因此對軟件安全性極度關注，該類軟件被稱為安全苛求軟件。

安全苛求軟件可能包含了非常復雜的處理邏輯，人工的分析和測試并不能檢查出所有的風險，為了保證軟件始終運行在期望的設計空間內，引入契約式設計技術。

契約式設計是一種可以提高系統安全性的一種技術。契約由前置條件，后置條件，不變項組成。前置條件在每個操作(函數)最開始檢查，為了執行操作必須為真；后置條件是函數保證做到的事情，是函數完成的狀態；不變項在函數執行前必須為真，在函數執行結束后也必須為真。對于安全苛求軟件，軟件始終運行在期望且確定的狀態空間內，每個函數的契約在運行時都必須滿足，如果契約違背則系統處于預期設計空間之外，軟件需要導向安全處理。

在軟件運行時記錄故障報警產生的位置是一個比較復雜問題，因為函數模塊調用關系的是非常復雜的，一個子模塊可以被不同層次的父模塊調用，可以在同一模塊中被調用多次，甚至被循環調用上萬次，模塊的位置是在軟件運行時根據實時狀態動態決定的。

分析報警原因也比較復雜，報警的產生是瞬時系統內部狀態和外部輸入共同導致的，產生異常數據的源頭可能不在報警模塊中，可能是多個模塊組合影響的結果，這類問題采用人工分析的代價非常大。

發明內容

本發明的目的就是為了克服上述現有技術存在的缺陷而提供一種軟件故障報警監測方法，在軟件故障時導向安全處理，并且能夠快速定位故障位置，分析報警原因，提高了軟件的安全性和可維護性。

本發明的目的可以通過以下技術方案來實現：

一種軟件故障報警監測方法，包括以下步驟:

步驟A：為每一個軟件模塊分配靜態模塊編碼；

步驟B：在軟件模塊中為每一個故障報警信息分配一個靜態故障編碼；

步驟C：軟件運行時在軟件模塊執行之前分配動態模塊編碼；

步驟D：在軟件模塊執行時首先記錄當前模塊編碼；

步驟E：在軟件模塊運行時檢查和搜集故障報警信息；

步驟F：檢測到故障信息后將系統全部內部狀態記錄到外部存儲器，系統導向安全處理；

步驟G：軟件模塊正常執行結束時擦除記錄的當前模塊編碼；

步驟H：使用故障分析診斷工具進行分析。

所述的步驟A中的靜態模塊編碼是全局唯一且不重復的模塊標志。

所述的步驟B中的靜態故障編碼為在模塊內部是唯一且不重復的錯誤標志。

所述的步驟C中的動態模塊編碼是由父模塊A向被其調用子模塊B臨時分配動態模塊編碼。