软件检查装置、软件检查方法、软件检查程序的制作方法
【技术领域】
[0001]本发明涉及软件检查装置、软件检查方法、软件检查程序。
【背景技术】
[0002]当前，已知能够追加不会给处理速度等系统性能带来影响的应用程序的应用程序开发装置(参照专利文献I)。专利文献I的应用程序开发装置进行应用程序的检查，在信息处理装置内仅使被证明检查合格且对系统性能没有影响的应用程序进行动作。
[0003]专利文献I:日本特开2012-063960号公报
【发明内容】
[0004]但是，专利文献I是对应用程序执行时的存储器、处理速度等进行检查的所谓的动态检查，因此如果不实际执行则无法进行检查。因而，难以无遗漏地对应用程序中记述的所有路径进行检查。
[0005]本发明就是鉴于上述课题而提出的，其目的在于提供能够通过未伴随有计算机程序的执行的静态方法而确定计算机程序的错误位置的软件检查装置、软件检查方法、软件检查程序。
[0006]本发明的一个方式所涉及的软件检查装置，从成为检查对象的计算机程序中，确定分别属于启动区间、转换区间以及恢复区间的语句，并针对每个区间，确定在所确定的语句中被执行写入的寄存器，其中，在所述启动区间内记述有在计算机系统启动时所执行的处理，在所述转换区间内记述有在计算机系统启动之后从正常模式向与正常模式相比计算机系统的消耗电力低的低耗电模式转换时所执行的处理，在所述恢复区间内记述在从低耗电模式向正常模式恢复时所执行的处理。而且，对关于在从启动区间、转换区间以及恢复区间选择的2个区间中的一者中存在写入、且在另一者中不存在写入的寄存器而设想的错误进行检测并输出。
【附图说明】
[0007]图1是表示实施方式所涉及的软件检查装置的硬件结构的框图。
[0008]图2是表示CPU11的功能结构的框图。
[0009]图3是表示由实施方式所涉及的软件检查装置执行的信息处理的流程的流程图。
[0010]图4(a)、(b)、(C)是表示作为由源代码输入部21读入的源代码DOl而利用C语言记述的计算机程序的一个例子的图。
[00?1 ]图5是表不图2的入口点一览D04的一个例子的表。
[0012]图6是表不图2的软件信息列表D02的一个例子的表。
[0013]图7是表示图2的对应表D03的一个例子的表。
[0014]图8是表示作为起点终点确定部22的确定结果的一个例子而在启动区间、转换区间以及恢复区间的各自的起点及终点所涉及的语句中直接或间接执行的函数的表。
[0015]图9是表示图3的步骤S03的详细次序的一个例子的流程图。
[0016]图10是表示按照图9所示的次序对语句进行分类的结果的表。
[0017]图11是表示寄存器写入确定部24的确定结果的一个例子的表。
[0018]图12是表示危险性判定数据D05的一个例子的表。
[0019]图13是表示由检查结果输出部26输出的检测结果的一个例子的表。
[0020]图14是表示变形例所涉及的CPUIlb的功能结构的框图。
[0021]图15是表示由变形例所涉及的检查结果输出部26输出的检测结果的具体例的表。
【具体实施方式】
[0022]参照附图对实施方式进行说明。在附图的记载中，对相同的部分标注相同的标号并省略说明。
[0023]实施方式所涉及的软件检查装置能够应用于对如下计算机程序进行检查的处理中，该计算机程序记述有例如将搭载于车辆的电池用于电源的嵌入仪器(计算机系统)所进行的处理。
[0024]在将车载电池用于电源的嵌入仪器的开发中，强烈要求针对因性能、功能的增强引起的消耗电力的增加而实现低耗电化。因此，嵌入仪器所具备的微机(硬件)中配备有使电力的消耗量减少的功能。另外，与此同时，即使在对微机进行控制的软件中，也进行从正常模式向低耗电模式的转换控制、以及从低耗电模式向正常模式的恢复控制。
[0025]在向低耗电模式的转换或者从低耗电模式的恢复时，需要在软件中进行预定的过程。具体而言，在向低耗电模式转换时、以及从低耗电模式向正常模式恢复时，分别需要实施预定的寄存器、变量的设定或者再设定。这里，如果不存在所需的寄存器的设定、或者对寄存器设定的值存在错误，则无法正确进行向低耗电模式的转换或者恢复。最终陷入电池枯竭、或者计算机程序冻结的现象。
[0026]实施方式所涉及的软件检查装置是利用静态解析方法，检查是否在向低耗电模式的转换或者恢复时正确地进行了寄存器的设定的装置。
[0027][软件检查装置的硬件结构]
[0028]参照图1，对实施方式所涉及的软件检查装置的硬件结构进行说明。作为软件检查装置的硬件结构，能够使用通用的计算机。例如，软件检查装置具备输入输出装置12、存储装置14、CPU(中央处理装置)11、输入装置13以及显示装置15。输入输出装置12从存储介质将检查对象的计算机程序(源代码D01)读入。存储装置14对利用输入输出装置12读入的源代码D01、解析的中间数据、以及解析所需的数据进行储存。CPU(中央处理装置)11执行各种运算并对源代码DOl进行解析。输入装置13是用于由用户将解析所需的信息输入的装置。显示装置15对从CPU 11输出的检查结果进行显示。检查结果还能够利用输入输出装置12而写入存储介质中。对于源代码DOl的具体例，后文中参照图4进行叙述。
[0029]或者，软件检查装置还能够作为客户服务器模型而实现。例如，将通用的个人计算机(客户端)经由计算机网络而与服务器连接。由此，能够将具备图1所示的CPU 11的服务器经由计算机网络而与输入输出装置12、输入装置13、存储装置14、或者显示装置15连接。在该情况下，软件检查装置主要由CPU 11(服务器)构成，输入输出装置12、输入装置13、存储装置14、或者显示装置15不包含在软件检查装置中。
[0030]参照图2对图1的CPU11的功能结构进行说明。对于用于使具备CPU 11的计算机作为软件检查装置而起作用的计算机程序(软件检查程序)，将其安装于具备CPU 11的计算机中而执行。由此，CPU 11作为下面示出的各信息处理部而起作用。此外，这里示出由软件实现软件检查装置的例子，但当然也可以准备用于执行下面示出的各信息处理的专用硬件而构成软件检查装置。对软件检查程序进行记录的记录介质是本发明的其他实施方式之一。
[0031]第I实施方式所涉及的CPUIla作为源代码输入部21、起点终点确定部22、区间确定部23、寄存器写入确定部24、错误检测部25以及检查结果输出部26而起作用。
[0032]源代码输入部21从输入输出装置12或者输入装置13读取成为检查对象的计算机程序(源代码DOl)，并储存于存储装置14中。
[0033]起点终点确定部22从成为检查对象的源代码DOl中，确定启动区间、转换区间以及恢复区间的各自的起点及终点所涉及的语句。“启动区间”是指对在嵌入仪器启动时所执行的启动处理进行记述的区间。“转换区间”是指对在嵌入仪器启动之后从正常模式向低耗电模式转换时所执行的转换处理