[發(fā)明專利]軟件檢查裝置及軟件檢查方法

有效

• 申請?zhí)枺?/td>: 201480052572.2
• 申請日: 2014-07-30
• 公開（公告）號: CN105593825B
• 公開（公告）日: 2018-04-13
• 發(fā)明（設計）人: 長谷川美和子
• 申請（專利權）人: 日產(chǎn)自動車株式會社
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 北京天昊聯(lián)合知識產(chǎn)權代理有限公司11112
• 代理人: 何立波,張?zhí)焓?/td>

技術領域

本發(fā)明涉及軟件檢查裝置、軟件檢查方法、軟件檢查程序。

背景技術

當前，已知能夠追加不會給處理速度等系統(tǒng)性能帶來影響的應用程序的應用程序開發(fā)裝置(參照專利文獻1)。專利文獻1的應用程序開發(fā)裝置進行應用程序的檢查，在信息處理裝置內(nèi)僅使被證明檢查合格且對系統(tǒng)性能沒有影響的應用程序進行動作。

專利文獻1：日本特開2012-063960號公報

發(fā)明內(nèi)容

但是，專利文獻1是對應用程序執(zhí)行時的存儲器、處理速度等進行檢查的所謂的動態(tài)檢查，因此如果不實際執(zhí)行則無法進行檢查。因而，難以無遺漏地對應用程序中記述的所有路徑進行檢查。

本發(fā)明就是鑒于上述課題而提出的，其目的在于提供能夠通過未伴隨有計算機程序的執(zhí)行的靜態(tài)方法而確定計算機程序的錯誤位置的軟件檢查裝置、軟件檢查方法、軟件檢查程序。

本發(fā)明的一個方式所涉及的軟件檢查裝置，從成為檢查對象的計算機程序中，確定分別屬于啟動區(qū)間、轉(zhuǎn)換區(qū)間以及恢復區(qū)間的語句，并針對每個區(qū)間，確定在所確定的語句中被執(zhí)行寫入的寄存器，其中，在所述啟動區(qū)間內(nèi)記述有在計算機系統(tǒng)啟動時所執(zhí)行的處理，在所述轉(zhuǎn)換區(qū)間內(nèi)記述有在計算機系統(tǒng)啟動之后從正常模式向與正常模式相比計算機系統(tǒng)的消耗電力低的低耗電模式轉(zhuǎn)換時所執(zhí)行的處理，在所述恢復區(qū)間內(nèi)記述在從低耗電模式向正常模式恢復時所執(zhí)行的處理。而且，對關于在從啟動區(qū)間、轉(zhuǎn)換區(qū)間以及恢復區(qū)間選擇的2個區(qū)間中的一者中存在寫入、且在另一者中不存在寫入的寄存器而設想的錯誤進行檢測并輸出。

附圖說明

圖1是表示實施方式所涉及的軟件檢查裝置的硬件結構的框圖。

圖2是表示CPU 11的功能結構的框圖。

圖3是表示由實施方式所涉及的軟件檢查裝置執(zhí)行的信息處理的流程的流程圖。

圖4(a)、(b)、(c)是表示作為由源代碼輸入部21讀入的源代碼D01而利用C語言記述的計算機程序的一個例子的圖。

圖5是表示圖2的入口點一覽D04的一個例子的表。

圖6是表示圖2的軟件信息列表D02的一個例子的表。

圖7是表示圖2的對應表D03的一個例子的表。

圖8是表示作為起點終點確定部22的確定結果的一個例子而在啟動區(qū)間、轉(zhuǎn)換區(qū)間以及恢復區(qū)間的各自的起點及終點所涉及的語句中直接或間接執(zhí)行的函數(shù)的表。

圖9是表示圖3的步驟S03的詳細次序的一個例子的流程圖。

圖10是表示按照圖9所示的次序?qū)φZ句進行分類的結果的表。

圖11是表示寄存器寫入確定部24的確定結果的一個例子的表。

圖12是表示危險性判定數(shù)據(jù)D05的一個例子的表。

圖13是表示由檢查結果輸出部26輸出的檢測結果的一個例子的表。

圖14是表示變形例所涉及的CPU 11b的功能結構的框圖。

圖15是表示由變形例所涉及的檢查結果輸出部26輸出的檢測結果的具體例的表。

具體實施方式

參照附圖對實施方式進行說明。在附圖的記載中，對相同的部分標注相同的標號并省略說明。

實施方式所涉及的軟件檢查裝置能夠應用于對如下計算機程序進行檢查的處理中，該計算機程序記述有例如將搭載于車輛的電池用于電源的嵌入儀器(計算機系統(tǒng))所進行的處理。

在將車載電池用于電源的嵌入儀器的開發(fā)中，強烈要求針對因性能、功能的增強引起的消耗電力的增加而實現(xiàn)低耗電化。因此，嵌入儀器所具備的微機(硬件)中配備有使電力的消耗量減少的功能。另外，與此同時，即使在對微機進行控制的軟件中，也進行從正常模式向低耗電模式的轉(zhuǎn)換控制、以及從低耗電模式向正常模式的恢復控制。

在向低耗電模式的轉(zhuǎn)換或者從低耗電模式的恢復時，需要在軟件中進行預定的過程。具體而言，在向低耗電模式轉(zhuǎn)換時、以及從低耗電模式向正常模式恢復時，分別需要實施預定的寄存器、變量的設定或者再設定。這里，如果不存在所需的寄存器的設定、或者對寄存器設定的值存在錯誤，則無法正確進行向低耗電模式的轉(zhuǎn)換或者恢復。最終陷入電池枯竭、或者計算機程序凍結的現(xiàn)象。

實施方式所涉及的軟件檢查裝置是利用靜態(tài)解析方法，檢查是否在向低耗電模式的轉(zhuǎn)換或者恢復時正確地進行了寄存器的設定的裝置。

[軟件檢查裝置的硬件結構]