| 摘要 |
<P>PROBLEM TO BE SOLVED: To provide a data flow graph generation apparatus, data flow graph generation method and data flow graph generation program in which a high-accuracy data flow graph can be generated even for a program including a task to be iteratively executed. <P>SOLUTION: In generating a data flow graph based on an achievement definition of a program including a task described in a procedural language and iteratively executed, a control flow graph is generated from the program (S2), an edge from an ending node to a starting node in the control flow graph is assumed (S3), and an achievement definition of the edge assumed control flow graph is calculated. When calculating the achievement definition, the achievement definition is propagated according to the assumed edge, the propagated achievement definition is distinguished as an achievement definition of a last value (S4) and on the basis of the calculated achievement definition, the data flow graph is generated (S5). <P>COPYRIGHT: (C)2012,JPO&INPIT |
