ソフトウエア・テストのテスト設計を支援するツールが，少しずつ組み込み機器の開発現場で使われ始めている。ソフトウエアの振る舞いや仕様を「モデル」として与え，ソース・コードがそのモデル通りに動作するかどうかを確かめる，いわゆる「モデル・ベース・テスト（MBT）」だ。

　組み込みソフトウエアの検証（テスト）において，今まで以上にモデルを活用しようとする動きが広がってきた。それが「モデル・ベース・テスト（MBT：model based testing）」である。ソフトウエアの分析や設計に，その設計図となる「モデル」が活用されているのと同じく，ソフトウエアの検証においてもモデルを活用するものだ。