| 摘要 |
<P>PROBLEM TO BE SOLVED: To provide a program analysis device, a program analysis method and a program analysis program which automatically identify a factor point preventing generation of a test vector for an optional test item. <P>SOLUTION: A program analysis device which analyses a factor preventing generation of a test vector of program for an optional test item in a model inspection is configured to: generate subtest items by gradually decomposing a test item for which a test vector cannot be generated; perform a model inspection for subtest items every time subtest items are generated; and, when a test vector cannot be generated in a model inspection, identify an anomaly factor point preventing generation of the test vector based on subtest items for which the test vector cannot be generated. <P>COPYRIGHT: (C)2012,JPO&INPIT |
