| 摘要 |
【課題】モデルベース開発におけるモデルの検証を容易に行う。【解決手段】設計支援装置は、予め定められた処理手順を示すブロックと、ブロック間のデータの入出力を表す結線とを有し、結線を挟んで連なった複数のブロックによりプログラムを記述するモデルを取得する取得手段（Ｓ２００）と、モデルにおいて、１つの起点ブロックと、複数の中間ブロックと、１つの終点ブロックとの３種類のブロックから構成される収斂部分を特定する特定手段（Ｓ２０５〜Ｓ２３５）と、特定手段により特定された収斂部分を出力する出力手段（Ｓ２４０）と、を備える。【選択図】図２ |
