Method for generating test suite based on user-defined faults in EFSM model
基于EFSM用户自定义故障模型的测试集生成

This paper presented a method for test generation based on user-defined faults for EFSM specifications. The algorithm used appropriate slices of the specification EFSM in order to avoid state space explosion when converting EFSM model to FSM model, these slices were much smaller than the given specification, meanwhile got the shortest test suite. Finally, the article gave a simple protocol to be verified. The experiment proves that the algorithm is effective to generate shortest EFSM test suite.