HOMELv009 実行中のシステムとモデルの同期がズレた場合の状態を何と呼ぶか。 2026年3月13日 システムの実際の状態とモデル上の状態が一致しなくなることで、テストの継続が不可能になる。 入力条件の複雑な論理関係をモデル化するのに適した手法はどれか。 モデル内のガード条件「x >= 10」から生成すべきテスト値として適切なものはどれか。