HOMELv012 モデル内の変数の「定義（def）」から「使用（use）」までのパスを網羅する基準はどれか。 2026年3月13日 変数が書き換えられてから、それが参照されるまでの全経路を網羅する高度なカバレッジ基準である。 テスト生成時に特定の状態を「通過禁止」に設定する手法を何と呼ぶか。 外部システムが未完成の場合にMBTを継続するために行うことはどれか。
