HOMELv011 モデルに意図的にエラー状態を挿入してテストを行う手法はどれか。 2026年3月13日 モデルの一部を変更(ミュート)し、テストケースがその変更を検出できるかを確認してテストの質を測る。 抽象モデルをより具体的な実装に近いモデルへ変換するプロセスを何と呼ぶか。 MBTモデルにおいて、すべての状態で常に真でなければならない条件はどれか。