[发明专利]软件检查装置及软件检查方法

权利要求书

1.一种软件检查装置，其对记述有计算机系统所执行的处理的计算机程序进行检查，

所述软件检查装置的特征在于，具备：

起点终点确定部，其利用软件信息列表以及对应表，从成为检查对象的所述计算机程序中对启动区间、转换区间以及恢复区间的各自的起点及终点进行确定，其中，在所述启动区间内记述有在计算机系统启动时所执行的处理，在所述转换区间内记述有在计算机系统启动之后从正常模式向与所述正常模式相比计算机系统的消耗电力低的低耗电模式转换时所执行的处理，在所述恢复区间内记述有在从低耗电模式向正常模式恢复时所执行的处理；

区间确定部，其基于由所述起点终点确定部确定的起点及终点，从在所述计算机程序所包含的语句中，确定分别属于所述启动区间、所述转换区间以及所述恢复区间的语句；

寄存器写入确定部，其针对每个区间，确定在由所述区间确定部确定的语句中被执行写入的寄存器；

数据存储部，其对危险性判定数据进行储存，所述危险性判定数据对关于在从所述启动区间、所述转换区间以及所述恢复区间选择的2个区间中的一者中存在写入、且在另一者中不存在写入的寄存器而设想的错误进行规定；

错误检测部，其利用在所述数据存储部中存储的所述危险性判定数据，对关于由所述寄存器写入确定部确定的寄存器而设想的错误进行检测；以及

检查结果输出部，其将针对由所述寄存器写入确定部确定的每个寄存器而由所述错误检测部检测出的错误输出。

2.根据权利要求1所述的软件检查装置，其特征在于，

还具备条件提取部，该条件提取部判断是否为了对由所述寄存器写入确定部确定的寄存器执行写入而规定了写入条件，并且在规定了写入条件的情况下提取该写入条件，

所述错误检测部在从所述启动区间、所述转换区间以及所述恢复区间选择的2个区间中对寄存器写入相同的值的情况下，对在2个区间的一者中不存在写入条件且在另一者中存在写入条件的情况下、以及在2个区间的双方中规定了不同的写入条件的情况下，关于在2个区间的一者中存在写入、且在另一者中不存在写入的寄存器而设想的错误进行检测。

3.一种软件检查方法，其利用软件检查装置对记述计算机系统所执行的处理的计算机程序进行检查，该软件检查装置具备：起点终点确定部、区间确定部、寄存器写入确定部、错误检测部以及检查结果输出部，

所述软件检查方法的特征在于，

所述起点终点确定部利用软件信息列表以及对应表，从成为检查对象的所述计算机程序中对启动区间、转换区间以及恢复区间的各自的起点及终点进行确定，其中，在所述启动区间内记述有在计算机系统启动时所执行的处理，在所述转换区间内记述有在计算机系统启动之后从正常模式向与所述正常模式相比计算机系统的消耗电力低的低耗电模式转换时所执行的处理，在所述恢复区间内记述有在从低耗电模式向正常模式恢复时所执行的处理，

所述区间确定部基于由所述起点终点确定部确定的起点及终点，从所述计算机程序所包含的语句中，确定分别属于所述启动区间、所述转换区间以及所述恢复区间的语句，

所述寄存器写入确定部针对每个区间，确定在由所述区间确定部确定的语句中被执行写入的寄存器，

所述错误检测部利用危险性判定数据对关于由所述寄存器写入确定部确定的寄存器而设想的错误进行检测，所述危险性判定数据对关于在从所述启动区间、所述转换区间以及所述恢复区间选择的2个区间中的一者中存在写入、且在另一者中不存在写入的寄存器而设想的错误进行规定，

所述检查结果输出部将针对每个寄存器而由所述错误检测部检测出的错误输出。