Safety requirement oriented test sequence generation algorithm for safety communication protocol
面向安全需求的安全通信协议测试序列生成算法

The testing of safety communication protocol is the most important part in the simulation testing of safety-critical system, in which generating an effective and comprehensive sequence acts as the key issue. In this paper, a new algorithm to generate safety test sequence was proposed, and definitions of safety factor and safety model of EFSM were given. Compared with traditional algorithms, the new method performs better and achieves higher quality of safety testing. The proposed method has been successfully applied in safety simulation testing of communication protocol in train control system.