[發明專利]軟件檢查裝置及軟件檢查方法

有效

• 申請號: 201480052572.2
• 申請日: 2014-07-30
• 公開（公告）號: CN105593825B
• 公開（公告）日: 2018-04-13
• 發明（設計）人: 長谷川美和子
• 申請（專利權）人: 日產自動車株式會社
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 北京天昊聯合知識產權代理有限公司11112
• 代理人: 何立波,張天舒

1.一種軟件檢查裝置，其對記述有計算機系統所執行的處理的計算機程序進行檢查，

所述軟件檢查裝置的特征在于，具備：

起點終點確定部，其利用軟件信息列表以及對應表，從成為檢查對象的所述計算機程序中對啟動區間、轉換區間以及恢復區間的各自的起點及終點進行確定，其中，在所述啟動區間內記述有在計算機系統啟動時所執行的處理，在所述轉換區間內記述有在計算機系統啟動之后從正常模式向與所述正常模式相比計算機系統的消耗電力低的低耗電模式轉換時所執行的處理，在所述恢復區間內記述有在從低耗電模式向正常模式恢復時所執行的處理；

區間確定部，其基于由所述起點終點確定部確定的起點及終點，從在所述計算機程序所包含的語句中，確定分別屬于所述啟動區間、所述轉換區間以及所述恢復區間的語句；

寄存器寫入確定部，其針對每個區間，確定在由所述區間確定部確定的語句中被執行寫入的寄存器；

數據存儲部，其對危險性判定數據進行儲存，所述危險性判定數據對關于在從所述啟動區間、所述轉換區間以及所述恢復區間選擇的2個區間中的一者中存在寫入、且在另一者中不存在寫入的寄存器而設想的錯誤進行規定；

錯誤檢測部，其利用在所述數據存儲部中存儲的所述危險性判定數據，對關于由所述寄存器寫入確定部確定的寄存器而設想的錯誤進行檢測；以及

檢查結果輸出部，其將針對由所述寄存器寫入確定部確定的每個寄存器而由所述錯誤檢測部檢測出的錯誤輸出。

2.根據權利要求1所述的軟件檢查裝置，其特征在于，

還具備條件提取部，該條件提取部判斷是否為了對由所述寄存器寫入確定部確定的寄存器執行寫入而規定了寫入條件，并且在規定了寫入條件的情況下提取該寫入條件，

所述錯誤檢測部在從所述啟動區間、所述轉換區間以及所述恢復區間選擇的2個區間中對寄存器寫入相同的值的情況下，對在2個區間的一者中不存在寫入條件且在另一者中存在寫入條件的情況下、以及在2個區間的雙方中規定了不同的寫入條件的情況下，關于在2個區間的一者中存在寫入、且在另一者中不存在寫入的寄存器而設想的錯誤進行檢測。

3.一種軟件檢查方法，其利用軟件檢查裝置對記述計算機系統所執行的處理的計算機程序進行檢查，該軟件檢查裝置具備：起點終點確定部、區間確定部、寄存器寫入確定部、錯誤檢測部以及檢查結果輸出部，

所述軟件檢查方法的特征在于，

所述起點終點確定部利用軟件信息列表以及對應表，從成為檢查對象的所述計算機程序中對啟動區間、轉換區間以及恢復區間的各自的起點及終點進行確定，其中，在所述啟動區間內記述有在計算機系統啟動時所執行的處理，在所述轉換區間內記述有在計算機系統啟動之后從正常模式向與所述正常模式相比計算機系統的消耗電力低的低耗電模式轉換時所執行的處理，在所述恢復區間內記述有在從低耗電模式向正常模式恢復時所執行的處理，

所述區間確定部基于由所述起點終點確定部確定的起點及終點，從所述計算機程序所包含的語句中，確定分別屬于所述啟動區間、所述轉換區間以及所述恢復區間的語句，

所述寄存器寫入確定部針對每個區間，確定在由所述區間確定部確定的語句中被執行寫入的寄存器，

所述錯誤檢測部利用危險性判定數據對關于由所述寄存器寫入確定部確定的寄存器而設想的錯誤進行檢測，所述危險性判定數據對關于在從所述啟動區間、所述轉換區間以及所述恢復區間選擇的2個區間中的一者中存在寫入、且在另一者中不存在寫入的寄存器而設想的錯誤進行規定，

所述檢查結果輸出部將針對每個寄存器而由所述錯誤檢測部檢測出的錯誤輸出。