铁路信号系统软件测试建模方法  

Modeling Method for Testing Railway Signal System Software

作　　者：李耀 张晓霞 郭进[2] 张亚东[2] LI Yao;ZHANG Xiaoxia;GUO Jin;ZHANG Yadong(School of Optoelectronic Science and Engineering,University of Electronic Science and Technology of China,Chengdu 611731,China;School of Information Science and Technology,Southwest Jiaotong University,Chengdu 611756,China)

机构地区：[1]电子科技大学光电科学与工程学院,四川成都611731 [2]西南交通大学信息科学与技术学院,四川成都611756

出　　处：《西南交通大学学报》2022年第2期392-400,424,共10页Journal of Southwest Jiaotong University

基　　金：国家自然科学基金(61703349)。

摘　　要：针对铁路信号系统软件测试模型不能系统地描述测试需求的问题,提出风险时间状态机建模方法.首先,分析铁路信号系统软件测试建模的特点,并提出建模需求;然后,以有限状态机理论为研究基础,在有限状态机的变迁和状态中分别扩展出时钟和风险等级元素,提出风险时间状态机建模方法,满足功能逻辑、时间约束和风险等级3个方面的建模需求,采用Z规格说明语言给出风险时间状态机的形式化定义和格局转移机制;最后,以计算机联锁系统中的道岔转换功能为例,建立风险时间状态机测试模型,并与时间自动机建模方法进行了对比,结果表明,建模方法上,所建立风险时间状态机比时间自动机节省62%的变迁数,描述能力更强,能够满足铁路信号系统软件测试的建模需求.As the testing model of railway signal system software fails to describe the test requirements systematically,a risk timed statechart(RTSC)modeling method is proposed.First,the characteristics of testing railway signal system software are analyzed,and its modeling requirements are proposed.Then,based on the finite state machine(FSM)theory,the clock and risk level elements are extended respectively in the transition and state of the FSM,and the RTSC modeling method is proposed to meet the modeling requirements of the functional logic,clock constraint and risk level.The formal definition and configuration mechanism of the RTSC are expressed by Z notation.Finally,the switching function of computer-based interlocking system is used as an example to build the RTSC testing model and the proposed method is compared with the timed automata modeling method.The results show that in contrast to the timed automata modeling method,the RTSC saves 62%of transition numbers and has stronger description ability,which can meet the modeling requirements of the railway signal system software testing.

关 键 词：铁路信号系统软件 建模方法 时钟约束 风险等级 风险时间状态机 Z语言 

分 类 号：U283[交通运输工程—交通信息工程及控制]