PR
前回に引き続いて,組み込みソフトウエアの検証手法について解説する。今回は,モデル解析やモデル・シミュレーションといったモデル・ベースの検証手法,およびソース・コード・ベースの開発手法を取り上げる。 (進藤 智則=本誌)

渡辺 政彦
キャッツ
取締役副社長

 モデル・ベースの検証手法には,モデル検査,モデル解析,モデル・シミュレーションなどがある。前回は,モデル検査について解説した。2回目となる今回は,モデル解析から説明する。
 モデル解析とは,モデルの構文と整合性を静的にチェックする検証手法である。構文チェックでは通常,1ステートメント中のエラーを検出する。