モデルからテストスイートを作成するプロセスを何と呼ぶか。

モデルに定義された経路や条件に基づいてテストケースを抽出することをテスト導出と呼ぶ。