MBTを採用することで得られる品質上の利点はどれか。

状態遷移を表現するためにMBTでよく使われるモデルはどれか。