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

摘要

软件检查装置从成为检查对象的源代码(D01)中，对分别属于SU区间、SL区间以及WU区间的语句进行确定(S03)，并针对每个区间而确定在所确定的语句中被执行写入的寄存器(S04)，其中，在SU区间内记述有在计算机系统启动时所执行的处理。对关于在从SU区间、SL区间以及WU区间选择的2个区间中的一者中存在写入、且在另一者中不存在写入的寄存器而设想的错误进行检测并输出(S05、S06)。

主权项

一种软件检查装置，其对记述有计算机系统所执行的处理的计算机程序进行检查，所述软件检查装置的特征在于，具备：起点终点确定部，其利用软件信息列表以及对应表，从成为检查对象的所述计算机程序中对启动区间、转换区间以及恢复区间的各自的起点及终点进行确定，其中，在所述启动区间内记述有在计算机系统启动时所执行的处理，在所述转换区间内记述有在计算机系统启动之后从正常模式向与所述正常模式相比计算机系统的消耗电力低的低耗电模式转换时所执行的处理，在所述恢复区间内记述有在从低耗电模式向正常模式恢复时所执行的处理；区间确定部，其基于由所述起点终点确定部确定的起点及终点，从在所述计算机程序所包含的语句中，确定分别属于所述启动区间、所述转换区间以及所述恢复区间的语句；寄存器写入确定部，其针对每个区间，确定在由所述区间确定部确定的语句中被执行写入的寄存器；数据存储部，其对危险性判定数据进行储存，所述危险性判定数据对关于在从所述启动区间、所述转换区间以及所述恢复区间选择的2个区间中的一者中存在写入、且在另一者中不存在写入的寄存器而设想的错误进行规定；错误检测部，其利用在所述数据存储部中存储的所述危险性判定数据，对关于由所述寄存器写入确定部确定的寄存器而设想的错误进行检测；以及检查结果输出部，其将针对由所述寄存器写入确定部确定的每个寄存器而由所述错误检测部检测出的错误输出。