モデル内のガード条件「x >= 10」から生成すべきテスト値として適切なものはどれか。

2026年3月13日

境界値分析では、条件の境界となる値とその前後の値をテストデータとして選択する。

実行中のシステムとモデルの同期がズレた場合の状態を何と呼ぶか。

モデルからパスを抽出するために「深さ優先探索（DFS）」を使う特徴はどれか。