软件检查装置、软件检查方法、软件检查程序

摘要

软件检查装置对在成为检查对象的计算机程序中所使用的常量进行提取(S01)，检测对所提取的常量进行参照的条件句(S02)。并且，将在条件句中与常量进行比较的变量确定为基础变量(S03)，针对每个基础变量而对成为比较对象的常量进行分类并输出(S04)。

主权项

一种软件检查装置，其对计算机程序进行检查，该软件检查装置具有：常量提取部，其对在成为检查对象的所述计算机程序中所使用的常量进行提取；条件句检测部，其从所述计算机程序中，对参照由所述常量提取部提取的常量的条件句进行检测；基础变量确定部，其将由所述条件句检测部检测出的条件句中与所述常量进行比较的变量确定为基础变量；以及第1常量组输出部，其针对由所述基础变量确定部确定的每个基础变量，对成为比较对象的所述常量进行分类并输出。