解説２　＜テスト設計支援ツール＞〜ソフトウエアの検証にモデルを使うテスト・ケース設計を支援
日経エレクトロニクス　第976号　2008.4.21

この記事の情報
掲載誌	日経エレクトロニクス　第976号（2008.4.21）
ページ数	7ページ　（全8881字）
形式	PDFファイル形式　（863kb）
雑誌掲載位置	101〜107ページ目

ソフトウエア・テストのテスト設計を支援するツールが，少しずつ組み込み機器の開発現場で使われ始めている。ソフトウエアの振る舞いや仕様を「モデル」として与え，ソース・コードがそのモデル通りに動作するかどうかを確かめる，いわゆる「モデル・ベース・テスト（ＭＢＴ）」だ。図１　ツールの画面例左はカナダＵｎｉｖｅｒｓｉｔｙ　ｏｆ　Ｏｔｔａｗａの「ＴＣｏｎｆｉｇ」，右は米Ｔ−ＶＥＣ　Ｔｅｃｈｎｏｌｏｇｉｅｓ，　…