SOFTWARE VERIFICATION DEVICE AND SOFTWARE VERIFICATION PROGRAM

摘要

PROBLEM TO BE SOLVED: To provide a software verification device and a software verification program which can verify a wide variety of software.SOLUTION: A software verification device comprises: a code storage unit which stores a source code including a function to be verified; verification code creation unit which creates a verification code for verifying the function; an insertion point determination unit which determines an insertion point of the verification code; a verification code insertion unit which inserts the verification code into the insertion point of the source code; a periodic generation function creation unit which creates a source code including a periodic generation function which repeatedly executes the function a prescribed number of times of repetition; a code integration unit which creates an integrated source code by integrating the source code including the periodic generation function with the source code including the function to be verified; and a model inspection unit which analyzes the integrated source code on the basis of the verification code included in the generated source code and searches possible states of the function.