モデルベーステスト
特にモデル駆動工学やOMGのモデル駆動型アーキテクチャでは、テスト対象システムの開発以前に(あるいは並行して)モデルが構築される。このモデルも完全なシステムから構築される。これまでモデル構築はほとんど人間が行っていたが、例えばソースコードからモデルを自動的に生成する試みもなされている。新たなモデルを生成する重要な方法の1つとしてモデル変換言語やドメイン固有言語を使ったモデル変換がある。