| 摘要 |
<P>PROBLEM TO BE SOLVED: To provide a text generation method for enabling a user to easily understand the meaning content of a verification property by automatically generating a natural language text expressing the meaning content of the verification property even when no explanation is written in a verification property, and the user does not have any knowledge of verification property description language. <P>SOLUTION: A syntax generation means 3 generates a syntax tree by developing a character string of a verification property 1 input by a verification property input means 2 into a tree structure, and an association means 5 associates dictionary information in a dictionary 4 with grammar elements in a syntax tree generated by a syntax tree generation means 3, and a text generation means 6 converts the syntax tree associated with the dictionary information by the association means 5 into a natural language text 8, and a text output means 7 outputs a natural language text 8 generated by the text generation means 6. <P>COPYRIGHT: (C)2008,JPO&INPIT |
