TCP/IPなどの通信手順の正当性を確認するためにMBTで重視されるカバレッジはどれか。

2026年3月13日

遷移の組み合わせ（Aの後にBが来る等）を網羅することで、複雑な通信シーケンスの不備を検出する。

同じ初期状態と入力に対して、常に同じ遷移を辿るモデルの性質を何と呼ぶか。

具現化された値ではなく、論理式を用いてモデル内のパスを記録する手法はどれか。