面向安全需求的安全通信协议测试序列生成算法

计算机应用 ›› 2009, Vol. 29 ›› Issue (07): 1828-1831.

面向安全需求的安全通信协议测试序列生成算法

李弋强¹,徐中伟¹,喻钢²

1. 同济大学
2. SH

收稿日期:2009-01-22 修回日期:2009-03-11 发布日期:2009-07-01 出版日期:2009-07-01
通讯作者: 李弋强
基金资助:
国家级基金

Safety requirement oriented test sequence generation algorithm for safety communication protocol

Received:2009-01-22 Revised:2009-03-11 Online:2009-07-01 Published:2009-07-01

摘要/Abstract

摘要：

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

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

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

中图分类号:

TP393.06

李弋强徐中伟喻钢. 面向安全需求的安全通信协议测试序列生成算法[J]. 计算机应用, 2009, 29(07): 1828-1831.

[1]	丁要军蔡皖东. 基于互信息选择聚类集成的网络流量分类方法[J]. 计算机应用, 2013, 33(01): 80-82.
[2]	郭一辰陈靖张黎黄聪会. 大规模无线移动自组织网络混合模拟测试方法[J]. 计算机应用, 2013, 33(01): 101-104.
[3]	牛玲郭渊博刘伟. 基于改进A*算法的无线Mesh网拓扑状态实时监控方法[J]. 计算机应用, 2012, 32(01): 74-77.
[4]	肖宇峰;文军;黄玉清. 基于异构包对序列的网络瓶颈测试方法[J]. 计算机应用, 2005, 25(10): 2258-2260.
[5]	王玉玲，李云，赵为粮，刘占军. 无线ad hoc网络中区分服务存在的问题研究[J]. 计算机应用, 2005, 25(07): 1523-1525.
[6]	李正良，周颢，赵保华. IPv6中OSPF协议的一致性测试系统设计[J]. 计算机应用, 2005, 25(04): 894-897.