计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2010年
34期
59-61,91
,共4页
杨世玉%徐中伟%喻钢%张盛
楊世玉%徐中偉%喻鋼%張盛
양세옥%서중위%유강%장성
有限状态机%唯一输入输出序列%铁路信号安全协议%时间约束%收敛边
有限狀態機%唯一輸入輸齣序列%鐵路信號安全協議%時間約束%收斂邊
유한상태궤%유일수입수출서렬%철로신호안전협의%시간약속%수렴변
铁路信号安全协议(RSSP-1)是实现高速铁路安全运行的保障.协议一致性测试的核心是生成完备有效的测试序列.针对铁路信号安全协议的实时性要求,提出了带时间约束的FSM(Finite State Machine)模型,并在此模型基础上生成状态的UIO(Unique Input/Output sequences)序列,最后采用基于收敛边的算法生成了较其他算法更短的一致性测试序列,从而提高了测试效率.
鐵路信號安全協議(RSSP-1)是實現高速鐵路安全運行的保障.協議一緻性測試的覈心是生成完備有效的測試序列.針對鐵路信號安全協議的實時性要求,提齣瞭帶時間約束的FSM(Finite State Machine)模型,併在此模型基礎上生成狀態的UIO(Unique Input/Output sequences)序列,最後採用基于收斂邊的算法生成瞭較其他算法更短的一緻性測試序列,從而提高瞭測試效率.
철로신호안전협의(RSSP-1)시실현고속철로안전운행적보장.협의일치성측시적핵심시생성완비유효적측시서렬.침대철로신호안전협의적실시성요구,제출료대시간약속적FSM(Finite State Machine)모형,병재차모형기출상생성상태적UIO(Unique Input/Output sequences)서렬,최후채용기우수렴변적산법생성료교기타산법경단적일치성측시서렬,종이제고료측시효솔.
