-
题名面向高铁信号系统工程测试的测试建模方法
- 1
-
-
作者
史增树
李耀
郭进
张亚东
-
机构
西南交通大学信息科学与技术学院
成都信息工程大学软件工程学院
-
出处
《西南交通大学学报》
EI
CSCD
北大核心
2024年第5期1023-1033,共11页
-
基金
中国铁路总公司科技研究开发计划(N2018G062,K2018G011)
中央高校基本科研业务费专项资金(2682022ZTPY084)。
-
文摘
高铁信号系统工程测试关注系统中各设备间的复杂行为关系和状态同步,工程测试的测试建模方法缺少复杂行为交互和同步机制,针对此问题,提出基于扩展有限状态机的高铁信号系统工程测试建模方法和测试用例生成方法.首先,分析高铁信号系统工程测试的特点,提出复杂事件交互和状态同步的测试建模需求,以有限状态机理论为基础,扩展出状态事件和层次性,满足信号系统工程测试中复杂行为关系和状态同步的建模需求,采用Z规格说明语言给出扩展有限状态机的形式化定义,定义扩展有限状态机的格局和同步机制;然后,提出将扩展有限状态机转化为时间自动机的算法,利用时间自动机的测试用例生成算法自动生成高铁信号系统工程测试的测试用例;最后,以高铁信号系统工程测试中的进路控制为例,建立扩展有限状态机模型并生成测试用例,通过变异分析对生成的测试用例进行评估.结果表明:测试用例在检测状态变异和事件表达式变异时的变异评分均为1,具有良好的覆盖度,能够满足高铁信号系统工程测试的需求.
-
关键词
高铁信号系统
工程测试
有限状态机
Z语言
时间自动机
-
Keywords
high-speed railway signaling system
engineering testing
finite state machine
Z language
timed automata
-
分类号
U284
[交通运输工程—交通信息工程及控制]
-
-
题名基于复杂网络理论的高铁信号系统危险致因评价方法
被引量：7
- 2
-
-
作者
刘金涛
郑伟
李克平
吴道华
-
机构
北京交通大学国家轨道交通安全评估研究中心
北京交通大学轨道交通控制与安全国家重点实验室
-
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2021年第7期87-94,共8页
-
基金
中央高校基本科研业务费(2021QY007)
国家自然科学基金(61803019,61803020)
北京市自然科学基金(8202039)。
-
文摘
针对现有网络拓扑评价方法难以适应高铁信号系统危险致因网络有向异质特征的问题,形式化定义高铁信号系统危险致因网络;通过邻接矩阵,给出危险致因网络建模方法;利用邻接矩阵,从因果路径长度、因果可达性、致因类型角度,分别定义最短路径矩阵、可达矩阵、致因类型矩阵。在上述各类结构矩阵基础上,提出因果作用强度、因果节点数、因果紧密度、因果中介性等四类新的拓扑特征指标,实现对危险致因的多角度评价。以我国高铁信号系统的典型系统危险及其致因为例,对危险致因进行建模和评价分析。分析过程表明,基于复杂网络结构和拓扑特征的评价方法适用于高铁信号系统的危险致因评价工作。
-
关键词
高铁信号系统
复杂网络
系统危险
致因评价
拓扑分析
-
Keywords
high-speed railway signaling system
complex network
system hazard
causal factors evaluation
topological analysis
-
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
U238
[交通运输工程—道路与铁道工程]
-
