HOMELv003 モデルから膨大なテストパスが生成される場合の対処法はどれか。 2026年3月13日 カバレッジ基準やリスクベースの優先順位付けを用いて実行するテストを選択する。 MBTモデルの抽象化レベルを決定する際に最も考慮すべき点はどれか。 オンラインMBT(On-the-fly)方式の特徴はどれか。