【課題】検証プロパティの意味内容を説明する自然言語文章を自動生成できるようにし、検証プロパティに説明が併記されておらず、また、検証プロパティ記述言語の知識がなくても、検証プロパティの意味内容を容易に理解することができるようにした文章生成方法を提供する。
【解決手段】構文木生成手段３は、検証プロパティ入力手段２が入力した検証プロパティ１の文字列を木構造に展開して構文木を生成し、関連付け手段５は、構文木生成手段３が生成した構文木中の文法要素に辞書４内の辞書情報を関連付け、文章生成手段６は、関連付け手段５が辞書情報を関連付けた構文木を自然言語文章８に変換し、文章出力手段７は、文章生成手段６が生成した自然言語文章８を出力する。 （もっと読む）