1. A program testing method performed in a data processing system having processing means, memory means, inputting means and outputting means, comprising the steps of: storing in said memory means data representing diagrammatic specifications of a program and a corresponding series of program statements having correspondence information associated therewith which indicates the correspondence of said program statements to respective portions of said diagrammatic specifications; starting execution of said series of program statements; identifying during said execution a portion of said diagrammatic specifications corresponding to a program statement in a path of said execution by referring to said correspondence information; and outputting during said execution at least part of said data representing diagrammatic specifications with said identified portion expressed distinctively, thereby showing the execution state of said series of program statements on said diagrammatic specifications.
1. A program testing method performed in a data processing system having processing means, memory means, inputting means and outputting means, comprising the steps of: storing in said memory means data representing diagrammatic specifications of a program and a corresponding series of program statements having correspondence information associated therewith which indicates the correspondence of said program statements to respective portions of said diagrammatic specifications; starting execution of said series of program statements; identifying during said execution a portion of said diagrammatic specifications corresponding to a program statement in a path of said execution by referring to said correspondence information; and outputting during said execution at least part of said data representing diagrammatic specifications with said identified portion expressed distinctively, thereby showing the execution state of said series of program statements on said diagrammatic specifications. 2. A method according to claim 1, wherein said diagrammatic specifications include a diagram representing a modular structure of said program and a diagram representing a proceasing flow within each module of said program, and said correspondence information indicates the correspondence of said program statements to constituent members of said diagram.