A control flowgraph of the application program is prepared (S400), solutions of data flow problems that occur in the application program are calculated on the basis of the control flowgraph (S500), mismatching of the application program is detected on the basis of the calculated solutions (S600), and information on the detected mismatching and correction contents are displayed (S700). アプリケーション・プログラムの制御フローグラフを作成し(S400)、制御フローグラフに基づいて、前記アプリケーション・プログラムで発生するデータフロー問題の解を算出し(S500)、算出した解に基づいて、前記アプリケーション・プログラムの不整合を検出し(S600)、検出した不整合に関する情報と修正内容を表示する(S700)。 - 特許庁