HOMELv005 モデルベースドテスティング(MBT)の利点はどれか。 2026年1月25日 抽象化したモデルから論理的に網羅されたテストを導出できる。 品質コスト(CoQ)における「評価コスト」に該当するものはどれか。 リスク対策後の「残存リスク」に対する正しい姿勢はどれか。