(DSML)を用いた開発手法ではテストの効率化については何も言及されていなかった。今回はDSMLからモデルベーステスト手法を用いてテストケースを自動生成することによりテスト工程を効率化する手法を提案する。DSMLモデルの形式が静的か動的か、データフローか状態マシンかといった種別判定を行い、対応するMBTツール用のテストモデルを生成する。これを実現するために状態マシン型のDSMLモデルから状態遷移テストモデルを生成するテンプレートを開発し、その形態は可変点つき状態遷移図とした。ケーススタディとして信号機システムのDSMLのドメインエンジニアリングおよびアプリケーションエンジニアリングのテストに適用し、テンプレート作成コストが大きいものの個々のテスト対象に対しては従来手法の8%以下の工数でテストを行うことができた。そのためテスト対象が増えるにつれて本手法が有効となる。Engineering。