%0 Journal Article
%T Safety requirement oriented test sequence generation algorithm for safety communication protocol<br>面向安全需求的安全通信协议测试序列生成算法
%A LI Yi-qiang
%A XU Zhong-wei
%A YU Gang
%A TAN Yuan
%A <br>李弋强
%A 徐中伟
%A 喻钢
%A 谭渊
%J 计算机应用
%D 2009
%I 
%X 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.
%K 通信协议测试
%K 扩展有限状态机
%K 唯一输入输出序列
%K 安全因子
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=AD247BF153E1252D03101EE3C0A4636E&yid=DE12191FBD62783C&vid=771469D9D58C34FF&iid=DF92D298D3FF1E6E&sid=A84288F223082930&eid=A7D9E4E50C1328C9&journal_id=1001-9081&journal_name=计算机应用&referenced_num=1&reference_num=4