ＮＥＴｓ　組み込みソフトウエアの検証手法（５）〜組み込みソフトウエアの検証手法（５）
日経エレクトロニクス　第920号　2006.2.27

この記事の情報
掲載誌	日経エレクトロニクス　第920号（2006.2.27）
ページ数	5ページ　（全3976字）
形式	PDFファイル形式　（633kb）
雑誌掲載位置	147〜151ページ目

今回は，ソフトウエアを実行しながら検証する手法である動的検証について解説する。状態遷移モデルからテスト・ケースを生成することで，効率的かつ網羅的にテストを実行することができる。（進藤　智則＝本誌）吉野　由紀夫キャッツ　ソフトウェア事業部　第一技術部エキスパート　前回までは，組み込みソフトウエアの規模が増大してくると，従来のソース・コードを用いた開発ではなく，ＵＭＬや状態遷移モデルのように抽象度の高…