Text this: 利用逆向判定性缩短EFSM的测试序列的长度