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

2026年3月13日

DFSは一つの遷移を末端まで探索するため、特定の長いシナリオを生成するのに適している。

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

特定のMBTツールに依存しないモデル交換形式として知られるのはどれか。