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

说明书

技术领域

本发明涉及软件检查装置、软件检查方法、软件检查程序。

背景技术

当前，已知能够追加不会给处理速度等系统性能带来影响的应用程序的应用程序开发装置(参照专利文献1)。专利文献1的应用程序开发装置进行应用程序的检查，在信息处理装置内仅使被证明检查合格且对系统性能没有影响的应用程序进行动作。

专利文献1：日本特开2012-063960号公报

发明内容

但是，专利文献1是对应用程序执行时的存储器、处理速度等进行检查的所谓的动态检查，因此如果不实际执行则无法进行检查。因而，难以无遗漏地对应用程序中记述的所有路径进行检查。

本发明就是鉴于上述课题而提出的，其目的在于提供能够通过未伴随有计算机程序的执行的静态方法而确定计算机程序的错误位置的软件检查装置、软件检查方法、软件检查程序。

本发明的一个方式所涉及的软件检查装置，从成为检查对象的计算机程序中，确定分别属于启动区间、转换区间以及恢复区间的语句，并针对每个区间，确定在所确定的语句中被执行写入的寄存器，其中，在所述启动区间内记述有在计算机系统启动时所执行的处理，在所述转换区间内记述有在计算机系统启动之后从正常模式向与正常模式相比计算机系统的消耗电力低的低耗电模式转换时所执行的处理，在所述恢复区间内记述在从低耗电模式向正常模式恢复时所执行的处理。而且，对关于在从启动区间、转换区间以及恢复区间选择的2个区间中的一者中存在写入、且在另一者中不存在写入的寄存器而设想的错误进行检测并输出。

附图说明

图1是表示实施方式所涉及的软件检查装置的硬件结构的框图。

图2是表示CPU 11的功能结构的框图。

图3是表示由实施方式所涉及的软件检查装置执行的信息处理的流程的流程图。

图4(a)、(b)、(c)是表示作为由源代码输入部21读入的源代码D01而利用C语言记述的计算机程序的一个例子的图。

图5是表示图2的入口点一览D04的一个例子的表。

图6是表示图2的软件信息列表D02的一个例子的表。

图7是表示图2的对应表D03的一个例子的表。

图8是表示作为起点终点确定部22的确定结果的一个例子而在启动区间、转换区间以及恢复区间的各自的起点及终点所涉及的语句中直接或间接执行的函数的表。

图9是表示图3的步骤S03的详细次序的一个例子的流程图。

图10是表示按照图9所示的次序对语句进行分类的结果的表。

图11是表示寄存器写入确定部24的确定结果的一个例子的表。

图12是表示危险性判定数据D05的一个例子的表。

图13是表示由检查结果输出部26输出的检测结果的一个例子的表。

图14是表示变形例所涉及的CPU 11b的功能结构的框图。

图15是表示由变形例所涉及的检查结果输出部26输出的检测结果的具体例的表。

具体实施方式

参照附图对实施方式进行说明。在附图的记载中，对相同的部分标注相同的标号并省略说明。

实施方式所涉及的软件检查装置能够应用于对如下计算机程序进行检查的处理中，该计算机程序记述有例如将搭载于车辆的电池用于电源的嵌入仪器(计算机系统)所进行的处理。

在将车载电池用于电源的嵌入仪器的开发中，强烈要求针对因性能、功能的增强引起的消耗电力的增加而实现低耗电化。因此，嵌入仪器所具备的微机(硬件)中配备有使电力的消耗量减少的功能。另外，与此同时，即使在对微机进行控制的软件中，也进行从正常模式向低耗电模式的转换控制、以及从低耗电模式向正常模式的恢复控制。

在向低耗电模式的转换或者从低耗电模式的恢复时，需要在软件中进行预定的过程。具体而言，在向低耗电模式转换时、以及从低耗电模式向正常模式恢复时，分别需要实施预定的寄存器、变量的设定或者再设定。这里，如果不存在所需的寄存器的设定、或者对寄存器设定的值存在错误，则无法正确进行向低耗电模式的转换或者恢复。最终陷入电池枯竭、或者计算机程序冻结的现象。

实施方式所涉及的软件检查装置是利用静态解析方法，检查是否在向低耗电模式的转换或者恢复时正确地进行了寄存器的设定的装置。

[软件检查装置的硬件结构]