SOURCE CODE INSPECTION METHOD AND SOURCE CODE INSPECTION APPARATUS

摘要

PROBLEM TO BE SOLVED: To reduce a calculation time required for an inspection and the amount of storage region used by a computer in the inspection of a source code of a software program.SOLUTION: A source code inspection method includes: converting an input source code into operation specification information (a model) which defines behavior under an input inspection condition; executing an inspection with a part of the operation specification information defined as an inspection object; finishing a process when the inspection is finished within the inspection object range; when detecting an aberration of the operation out of the inspection object range, executing the inspection by expanding the inspection object range; and repeating it till the aberration out of the inspection object range is eliminated.