Abstract:

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.

Key words: communication protocol testing;Extended Finite State Machine (EFSM);Unique Input/Output (UIO) sequence

摘要：

安全苛求系统仿真测试中，安全通信协议测试是重要的组成部分,而完备有效的测试序列生成是安全通信协议测试中的关键。面向安全需求，提出安全因子的定义，通过建立带安全因子的安全EFSM模型，设计了一种新的基于最小安全因子的协议安全性测试序列生成算法，该算法与传统的算法相比具有较高的安全性测试效率，能确保安全性测试的完备性。此方法已成功应用到高速铁路客运专线列车运行控制系统中的安全通信协议仿真测试中。

关键词: 通信协议测试;扩展有限状态机;唯一输入输出序列