HOMELv015 多数の変数が組み合わさるモデルで、状態数を抑えるための技術はどれか。 2026年3月13日 個々の変数の値を状態として扱うのではなく、論理的に意味のある範囲にグループ化して状態数を削減する。 過去の不具合データに基づき、故障が発生しやすいパスを重点的にテストする手法はどれか。 モデル内に「出口のない状態(シンク状態)」が存在しないか確認する目的はどれか。