| 摘要 |
<P>PROBLEM TO BE SOLVED: To effectively generate an executable test program according to path information of a counterexample gained as a result of performing a model inspection to an object program. <P>SOLUTION: An information processing device comprises; a stub program generation means inputting an object program and information about a path on the object program, and generating a stub program which shows change depending on path information of a variable value updated by an external program which is called by the object program; a generation means of object program for testing which generates an object program for testing in which a call to the external program in the object program is replaced with a call to the stub program; and a driver program generation means generating a driver program which calls the object program for testing using an initial value of the path information. <P>COPYRIGHT: (C)2012,JPO&INPIT |
