| 摘要 |
A software inspection device extracts a constant which is employed in a computer program which is to be inspected (S01), and detects a conditional expression wherein the extracted constant (S02) is referred to. A variable which is compared with the constant in the conditional expression is specified as a base variable (S03), and the constant to be compared is classified and outputted for each base variable (S04). |
