アルゴリズム的なテスト導出

ウィキペディア小見出し辞書

アルゴリズム的なテスト導出

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/10/21 06:03 UTC 版)

「モデルベーステスト」の記事における「アルゴリズム的なテスト導出」の解説

モデルベーステストの主な有効性は、自動化の可能性にある。モデルを機械が読み取ることができ、十分に形式的であれば、基本的にテストケースを機械的に抽出することができるはずである。