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

权利要求书

1.一种软件检查装置，其对计算机程序进行检查，

该软件检查装置具有：

常量提取部，其对在成为检查对象的所述计算机程序中所使用的常量进行提取；

条件句检测部，其从所述计算机程序中，对参照由所述常量提取部提取的常量的条件句进行检测；

基础变量确定部，其将由所述条件句检测部检测出的条件句中与所述常量进行比较的变量确定为基础变量；以及

第1常量组输出部，其针对由所述基础变量确定部确定的每个基础变量，对成为比较对象的所述常量进行分类并输出。

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

还具有：

程序块确定部，其确定由在利用所述条件句检测部检测出的条件句成立的情况下所执行的一组语句构成的程序块；

写入位置确定部，其确定在所述计算机程序中对全局变量进行写入的位置；以及

写入程序块确定部，其从由所述程序块确定部确定的程序块中，确定由所述写入位置确定部确定的位置所属的所述程序块，

所述第1常量组输出部针对每个所述基础变量，对于因对基础变量进行比较的条件句的成立而进行写入的全局变量进行分类并输出。

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

所述第1常量组输出部针对被写入相同值的状态下的每个所述基础变量，对所述常量进行分类。

4.一种软件检查装置，其对计算机程序进行检查，

该软件检查装置具有：

常量提取部，其对在成为检查对象的所述计算机程序中所使用的常量进行提取；

条件句检测部，其从所述计算机程序中，对参照由所述常量提取部提取的常量的条件句进行检测；

程序块确定部，其确定由在利用所述条件句检测部检测出的条件句成立的情况下所执行的一组语句构成的程序块；

条件句展开部，其将由所述条件句检测部检测出的条件句展开；

写入位置确定部，其确定在所述计算机程序中对全局变量进行写入的位置；

写入程序块确定部，其从由所述程序块确定部确定的程序块中，确定由所述写入位置确定部确定的位置所属的所述程序块；以及

第2常量组输出部，其对在由所述条件句展开部展开的条件句中参照的常量进行提取，针对对所述全局变量进行写入的每个位置，对在由所述条件句展开部展开的条件句中参照的常量进行分类并输出。

5.一种软件检查装置，其对计算机程序进行检查，

该软件检查装置具有：

常量提取部，其对在成为检查对象的所述计算机程序中所使用的常量进行提取；

条件句检测部，其从所述计算机程序中，对参照由所述常量提取部提取的常量的条件句进行检测；

程序块确定部，其确定由在利用所述条件句检测部检测出的条件句成立的情况下所执行的一组语句构成的程序块；

条件句展开部，其将由所述条件句检测部检测出的条件句展开；

访问位置确定部，其确定在所述计算机程序中进行写入及读出的变量、以及对该变量进行访问的位置；

访问程序块确定部，其从由所述程序块确定部确定的程序块中，确定由所述访问位置确定部确定的位置所属的所述程序块；以及

第3常量组输出部，其针对由所述访问位置确定部确定的每个变量，按照由所述访问位置确定部确定的位置的执行顺序，对由所述条件句展开部展开的条件句进行重新排列，并且，针对由所述访问位置确定部确定的每个变量，对在该条件句中参照的常量进行分类并输出。

6.一种软件检查方法，其对计算机程序进行检查，

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

对在成为检查对象的所述计算机程序中所使用的常量进行提取，

从所述计算机程序中检测对所提取的常量进行参照的条件句，

将检测出的条件句中与所述常量进行比较的变量确定为基础变量，

针对所确定的每个基础变量，对成为比较对象的所述常量进行分类并输出。