MBTツールの主な機能に含まれるものはどれか。

MBTツールは定義されたモデルからテストケースやテストスクリプトを生成する機能を持つ。