The model inspection control section which the looping optimization system, generates the model

摘要

PPROBLEM TO BE SOLVED: To provide a loop optimization method in model inspection in a loop. PSOLUTION: This loop optimization system for performing processing to verify a source code by using a model inspection technology is provided with: a model inspection control part 10 for automatically generating a model from a source code, and for verifying the source code based on model inspection; and an arbitrary value loop control part 30 for moving the substitution formula of variables including an arbitrary value existing in the loop in the model to the outside of the loop, and for shortening the verification time, wherein a verification time for inspection duplicated due to repetition among model inspection in the loop is shortened. PCOPYRIGHT: (C)2010,JPO&INPIT