-
题名面向高铁信号系统工程测试的测试建模方法
- 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
[交通运输工程—交通信息工程及控制]
-
-
题名TMS320F2812在全数字开关电源中的应用
被引量：3
- 2
-
-
作者
史增树
张建红
邱忠才
-
机构
西南交通大学
-
出处
《现代电子技术》
2006年第13期97-98,101,共3页
-
文摘
总结了电力电子领域数字控制的发展历程,并对现状和前景提出了分析。目前对于数字控制的研究主要集中在两个方面,其一是产生DPWM的方法,以满足输出电压精确度的要求;其二是能够充分利用数字控制优点的控制算法,以提高系统的稳态和动态特性。另外还简要介绍了TMS320F28x系列DSP的主要性能参数和控制资源,给出了全数字控制的原理图、系统电磁兼容的处理和软件编程,并对PID算法进行了数学描述。
-
关键词
DSP
PID
DPWM
电磁兼容(EMC)
-
Keywords
DSP
PID
DPWM
Electromagnetic Compatibility （EMC）
-
分类号
TP17
[自动化与计算机技术—控制理论与控制工程]
-
