摘要 |
<p>PROBLEM TO BE SOLVED: To easily verify a sequence program without previously describing the contents of verification specifications as an operation diagram. SOLUTION: An element selecting part 24 matches element designations included in a sequence program with element designations included in a plurality of verification items corresponding to the verification contents by referring to a term dictionary stored in a term dictionary data base 21, and selects the matched element designations. An individual verification pattern generating part 25 generates an individual verification pattern for setting the elements in a prescribed condition based on the element designations selected by the element selecting part 24, the element addresses corresponding to the element designations, and the respective verification items corresponding to the verification contents stored in a verification contents data base 22.</p> |