「モデルベーステスト(MBT)」のツールが自動生成するものはどれか。

MBTツールは、システム挙動を定義したモデルから、パスを解析してテストケースを自動生成する。