モデルベーステスト
model-based testing
ソフトウェアテスト（software test）
ユースケース（use case）
モデル駆動型アーキテクチャ（MDA : Model-Driven Architecture）
モデル駆動工学（MDE : model-driven engineering）
ドメイン固有言語、ドメイン特化言語（DSL : Domain Specific Language）
ドメイン固有モデリング（DSM : Domain-specific modelling）
オブジェクト指向分析設計（OOAD : object-oriented analysis and design）
モデルベーステスト - Wikipedia