Software inspection device, software inspection method, software inspection program

摘要

The software inspection device extracts constants used in the computer program to be inspected (S01), and detects a conditional statement that refers to the extracted constants (S02). Then, the variable to be compared with the constant in the conditional statement is specified as a base variable (S03), and the constant to be compared is classified and output for each base variable (S04).