摘要 |
PROBLEM TO BE SOLVED: To provide a verification method for a program, a verification device for the program, and a verification method for the program for carrying out efficient verification for attaining interactive debugging work of concurrent/parallel programs. SOLUTION: A computer is made to carry out a detection step for detecting modified functions and functions using a shared variable influenced by the modification, from a verification object program before modified and a verification object program after modified, and detecting a part influenced by the modification, a control structure part, and other parts; a model generating step for generating models based on the detected result of the detection step; and a verification step for verifying the verification object program after modified by comparing the model of the verification object program before modified, with the model of the verification object program after modified. COPYRIGHT: (C)2007,JPO&INPIT
|