HOMELv014 同じ初期状態と入力に対して、常に同じ遷移を辿るモデルの性質を何と呼ぶか。 2026年3月13日 決定性のあるモデルはテスト結果の再現性が高く、デバッグや回帰テストに適している。 開発が進むにつれてモデルを徐々に拡張していく手法の利点はどれか。 TCP/IPなどの通信手順の正当性を確認するためにMBTで重視されるカバレッジはどれか。