通信プロトコルのテストにMBTが適している理由はどれか。

モデルの記述ミスや論理的矛盾を自動でチェックするプロセスを何と呼ぶか。