HOMELv017 「モデルベースドテスティング(MBT)」ツールを使用する際の注意点はどれか。 2026年1月25日 モデルが実際のシステムの挙動とズレていると、生成されるテストケースも無効になる。 リスクの「定量的分析」で算出される、リスクの期待値の計算式はどれか。 テストプロセス改善において「標準化」を行う最大の目的はどれか。