HOMELv014 過去の不具合データに基づき、故障が発生しやすいパスを重点的にテストする手法はどれか。 2026年3月13日 過去の不具合実績をモデルの遷移にマッピングし、リスクの高い箇所を重点的に探索する。 独自のドメイン特化言語(DSL)をツールに導入する主な目的はどれか。 多数の変数が組み合わさるモデルで、状態数を抑えるための技術はどれか。