Testing Modeling Method for Engineering Testing of High-Speed Railway Signaling System
-
摘要:
高铁信号系统工程测试关注系统中各设备间的复杂行为关系和状态同步，工程测试的测试建模方法缺少复杂行为交互和同步机制，针对此问题，提出基于扩展有限状态机的高铁信号系统工程测试建模方法和测试用例生成方法. 首先，分析高铁信号系统工程测试的特点，提出复杂事件交互和状态同步的测试建模需求，以有限状态机理论为基础，扩展出状态事件和层次性，满足信号系统工程测试中复杂行为关系和状态同步的建模需求，采用
Z 规格说明语言给出扩展有限状态机的形式化定义，定义扩展有限状态机的格局和同步机制；然后，提出将扩展有限状态机转化为时间自动机的算法，利用时间自动机的测试用例生成算法自动生成高铁信号系统工程测试的测试用例；最后，以高铁信号系统工程测试中的进路控制为例，建立扩展有限状态机模型并生成测试用例，通过变异分析对生成的测试用例进行评估. 结果表明：测试用例在检测状态变异和事件表达式变异时的变异评分均为1，具有良好的覆盖度，能够满足高铁信号系统工程测试的需求.Abstract:The engineering testing of a high-speed railway signaling system (HSRSS) focuses on the complex behavior relationship and state synchronization among various equipment in the system. Since the testing modeling method for engineering testing lacks complex behavior interaction and synchronization mechanism, the engineering testing modeling method and test case generation method of HSRSS based on an extended finite state machine (EFSM) were proposed. First, the engineering testing characteristics of HSRSS were analyzed, and the testing modeling requirements for complex event interaction and state synchronization were proposed. Based on the theory of finite state machine, the state events and hierarchy were extended to meet the modeling requirements for complex behavior relationships and state synchronization in engineering testing of HSRSS. The formal definition of EFSM was given by using
Z specification language. The pattern and synchronization mechanism of EFSM were defined. Then, the algorithm of transforming the EFSM into a timed automata (TA) was put forward, and the test case generation algorithm of TA was used to automatically generate test cases for engineering testing of HSRSS. Finally, with the route control in engineering testing of HSRSS as an example, an EFSM model was established, and test cases were generated. In addition, the generated test cases were evaluated through mutation analysis. The result shows that the test cases have a mutation score of 1 when testing state mutation and signal expression mutation, and they have good coverage, which can meet the requirements of engineering testing of HSRSS. -
纤维增强复合材料（FRP）轻质、高强，且热膨胀系数与混凝土相近，可与混凝土变形协调，具有裁剪不易松散变形、易于浸溃、施工便捷等优点[1-2]. 超高性能混凝土（UHPC）是一种高强、高韧和高耐久性的新型水泥基复合材料，具有优异的力学性能和耐久性[3-4]. 用FRP侧向约束UHPC，可以充分发挥UHPC和FRP的优点，提高核心UHPC的强度和变形能力[5].
Lam等[6]对18个FRP约束UHPC短柱进行了轴压试验研究发现，在FRP约束下UHPC短柱的极限强度和应变显著提高. Guler[7]对碳纤维增强复合材料（CFRP）、玻璃纤维增强复合材料（GFRP）和芳纶纤维增强复合材料（AFRP）约束UHPC圆柱进行了轴向加载，并对不同纤维增强复合材料对UHPC圆柱极限强度和应变的提升程度做了对比分析. Wang等[8]对FRP约束UHPC的轴压性能进行研究，并比较FRP对UHPC、高强混凝土和普通混凝土约束性能，结果表明，由于FRP约束的UHPC具有超高强度和独特的微观结构，比FRP约束的NSC和HSC表现出更多的脆性. 邓宗才等[9-10]对FRP约束UHPC圆柱进行轴心抗压试验，结果表明，约束比和侧向约束刚度是影响试件极限强度和极限应变的关键参数，FRP的约束作用对核心UHPC的强度和延性具有提高效果. 黄美珍[11]基于细观力学方法对UHPC本构模型受钢纤维掺量的影响进行研究发现，适量的钢纤维能够显著提高UHPC的峰值应变与轴心抗压强度. 田会文等[12]利用LS-DYNA建立FRP约束UHPC圆柱细观有限元模型，研究FRP厚度、纤维缠绕角度和钢纤维体积掺量对其轴压性能的影响，结果表明，FRP显著提高核心UHPC的极限强度和延性.
目前，国内外对FRP约束UHPC圆形短柱轴心受压力学性能的研究大多都是基于FRP层数、混凝土强度等变量的研究，对钢纤维影响短柱轴压性能的研究相对较少. 同时，现有研究多集中于单一变量对短柱轴压性能的影响，对多个变量耦合作用的研究较少，且缺少多个变量下短柱轴压性能的对比分析. 此外，现有研究中对FRP约束UHPC本构模型的理论分析也有待深入.
为此，本文以FRP层数、FRP种类和钢纤维体积掺量为变量，研究FRP约束UHPC圆形短柱的轴压性能及变量的影响规律；并在考虑钢纤维体积掺量的影响下，提出FRP约束UHPC圆形短柱抗压强度和极限应变的计算模型，并进一步给出FRP约束UHPC的本构模型.
1. 试验方案
1.1 试件设计
试验共设计制作21组FRP约束UHPC圆形短柱和3组UHPC圆形短柱，所有试件的高度均为200 mm，直径均为100 mm. 试件编号见表1，表中：首字母“P”代表无约束试件，“G”表示GFRP约束UHPC圆形短柱，“C”表示CFRP约束UHPC圆形短柱，N为试件的峰值荷载；ɛy为试件的轴向极限应变.
表 1 试件编号及试验结果Table 1. Specimen numbering and experimental results试件
编号钢纤维掺量/% FRP 层数/层 N/kN ɛy 试件
编号钢纤维掺量/% FRP 层数/层 N/kN ɛy P1 1 805.0 0.0024 G32 3 2 1392.2 0.0088 P2 2 874.2 0.0029 G33 3 3 1511.9 0.0120 P3 3 917.3 0.0029 G34 3 4 1657.5 0.0148 G11 1 1 1197.1 0.0044 C11 1 1 1312.9 0.0056 G12 1 2 1318.1 0.0063 C12 1 2 1546.4 0.0087 G13 1 3 1409.6 0.0082 C13 1 3 1787.3 0.0138 G14 1 4 1532.8 0.0106 C21 2 1 1336.0 0.0073 G21 2 1 1239.3 0.0061 C22 2 2 1675.7 0.0125 G22 2 2 1351.6 0.0080 C23 2 3 1931.9 0.0176 G23 2 3 1469.5 0.0109 C31 3 1 1375.4 0.0084 G24 2 4 1620.4 0.0136 C32 3 2 1696.8 0.0145 G31 3 1 1283.1 0.0075 C33 3 3 2065.1 0.0210 1.2 材料性能
UHPC的配合比见表2. 根据T/CECS864−2021《超高性能混凝土试验方法标准》[13]对UHPC进行抗压强度试验，试件制作时浇筑3组边长为100 mm、钢纤维体积掺量分别为1%、2%和3%的UHPC立方体，立方体的尺寸符合GB/T 50081—2016《普通混凝土拌合物性能试验方法标准》[14]的有关规定. 测得3组立方体的平均抗压强度分别为129.2、144.5、153.3 MPa. FRP力学性能指标见表3.
表 2 UHPC的配合比Table 2. Mix proportion of UHPCkg/m3 名称 水胶比 水泥 硅灰 石英砂 粉煤灰 配合比 0.15 1.00 0.32 1.46 0.30 表 3 FRP的性能指标Table 3. Performance index of FRP型号 抗拉强度/MPa 弹性模量/GPa 伸长率/% GFRP 2381 114 2.7 CFRP 3961 240 1.8 1.3 加载方案及测点布置
试验采用的加载设备为200 t压力试验机，如图1. 加载前，应先进行预压，以保证试件轴心受压，并对位移传感器和应变片进行检查和校正；正式加载时，加载速率控制为1.5 kN/s；当荷载达到试件计算强度的90%时，加载速率控制为0.5 kN/s；直到试件破坏后，卸载.
试件应变测点的布置如图2所示，在试件的中部布置4个轴向应变片测量其轴向应变，并将4个环向应变片垂直于轴向应变片布置，用以测量试件的环向应变. 此外，轴向位移通过固定装置两侧的位移传感器获得，荷载由数据采集系统自动采集.
2. 试验结果及分析
2.1 试件破坏特征
2.1.1 GFRP约束UHPC的破坏特征
GFRP约束UHPC圆形短柱的破坏形态如 图3（a）～（d）所示. 在加载初期，试件变形微小，导致GFRP未对其产生约束作用；随着荷载的增加，GFRP发出噼啪裂开的声音；当荷载接近极限强度的90%时，UHPC圆形短柱中部的GFRP逐渐断裂；当试件加载至极限强度时，爆裂声响加剧，试件中部的GFRP断裂频率加快，直至整节断裂，试件破坏.
2.1.2 CFRP约束UHPC的破坏特征
CFRP约束UHPC圆形短柱的破坏形态如图3（e）～（h）所示. 在加载初期，试件无明显变形，CFRP未对其产生约束作用；随着荷载的逐步增加，偶尔听到CFRP破裂的声音，且UHPC圆形短柱中部开始膨胀，CFRP对其约束力也逐渐增强；直至荷载达到试件极限强度的90%时，试样发生显著变形，CFRP从拐角处逐渐断裂，开始与UHPC圆形短柱剥离；当试件加载至极限强度时，CFRP发出爆响，随即被拉断，试件强度急剧下降，此时，UHPC圆形短柱表面产生纵向裂缝，且裂缝贯通至整个试件，轴向应变和环向应变迅速增大，试件破坏.
由图3可知，随着FRP层数增加，其断裂面积逐渐减小. 钢纤维沿裂缝面被拔出，但由于钢纤维在UHPC内部多向分布，发挥了桥接作用，有效阻止了混凝土内部裂缝的扩大和延伸，因此，试件内部的UHPC并没有完全破碎. 钢纤维能够在一定程度上改善FRP约束UHPC圆形短柱的脆性破坏.
2.2 荷载-应变曲线
图4为FRP约束UHPC圆形短柱的荷载-应变曲线（应变大于0为轴向应变，小于0为环向应变）. 从图中可以看出，荷载-轴向应变曲线可分为3个阶段：在加载初期，各试件荷载-应变曲线的变化趋势基本相同，此时试件变形较小，FRP对UHPC圆形短柱产生的约束作用不明显，约束试件的荷载-轴向应变曲线与未约束试件的相似，均呈线性增长；随着荷载的进一步增大，UHPC圆形短柱中部开始膨胀，FRP产生的约束应力随之增加，试件的强度不断提高，此阶段的约束应力不断变化，试件的曲线呈非线性发展；在加载后期，FRP对UHPC圆形短柱的约束应力达到极限，试件的荷载-轴向应变曲线基本呈水平发展趋势，该阶段为试件的强化阶段，对比发现，FRP提高了UHPC圆形短柱的强度和变形能力.
FRP约束UHPC圆形短柱的荷载-环向应变曲线同样可分为3个阶段：在初期加载阶段，其与荷载-轴向应变曲线相似，FRP基本没有对试件产生明显的约束作用，曲线呈线性增长趋势，同时，各约束试件在此阶段的荷载-环向应变曲线基本重合，未受到FRP层数的影响；随着荷载的增加，约束试件的中部开始膨胀，环向应变的增长速率加快，同时，UHPC圆形短柱承受较大荷载，FRP的约束力不断增加，此阶段约束试件的荷载-环向应变曲线呈非线性增长；随着荷载的持续增加，FRP的约束应力达到极限，环向应变迅速增大，直至试件破坏.
2.3 荷载-应变曲线影响因素分析
2.3.1 约束比
定义FRP对UHPC圆形短柱的约束应力与无约束UHPC圆形短柱抗压强度的比值为约束比[10]. 不同约束比下试件的承载及变形性能如表1和图4所示. 可以看出：试件C12、C22和C32的极限强度相较于C11、C21和C31分别提高了17.8%、25.4%和23.4%，极限应变分别提高了55.4%、71.2%和72.6%；试件G12、G22和G32的极限强度相较于G11、G21和G31分别提高了10.1%、9.1%和8.5%，极限应变分别提高了43.2%、31.1%和17.3%. 由此可得，随着FRP层数的增加，试件的轴向极限强度和极限应变均得到提高，但极限应变的提高幅度更加明显.
钢纤维体积掺量为1%时，被1层、2层和3层CFRP缠绕包裹的UHPC圆形短柱的极限强度比同条件下的GFRP缠绕包裹的分别提高了9.7%、7.8%和7.2%；钢纤维体积掺量为2%时，上述条件下试件的极限强度分别提高了17.3%、24%和21.9%，极限应变分别提高了38.1%、56.3%和64.8%. 可以看出，CFRP对UHPC圆形短柱极限强度和极限应变的改善程度要明显优于GFRP. 此外，FRP层数和种类的改变实质上反映的是约束应力的改变，由此可见，约束比是影响试件荷载-应变曲线的关键因素.
2.3.2 钢纤维体积掺量
不同钢纤维掺量下试件的极限强度及变形性能如表1和图4所示. 由不同钢纤维体积掺量下FRP约束UHPC圆形短柱的荷载-轴向应变曲线可知：随着钢纤维体积掺量的增加，荷载-轴向应变曲线在加载前期并没有受到影响；但在加载后期，试件的极限强度及极限应变均有一定幅度的提高. 而根据试件的荷载-环向应变曲线发现：钢纤维体积掺量为2%和3%时，试件在相同荷载下的环向应变明显比钢纤维体积掺量为1%的试件小，说明钢纤维的体积掺量越大，核心混凝土的极限强度和延性越大. 由此可知，随着加载荷载的增加，钢纤维在UHPC圆形短柱中产生了防止其自身横向膨胀的纤维约束力，在加载后期明显抑制了UHPC圆形短柱的横向变形；且钢纤维体积掺量越大，产生的约束作用越强.
3. FRP约束UHPC的本构模型
3.1 受力机理
在加载初期，FRP材料并未产生明显的约束作用. 随着荷载的持续增加，UHPC圆形短柱在受压状态下内部逐渐出现微裂纹，试件的变形逐渐增大并产生侧向膨胀，环向应变迅速增长，此时外包FRP开始参与工作，对核心混凝土提供有效约束，使核心混凝土处于三向受力状态，并限制其裂缝的产生和发展. 随着荷载继续增加，混凝土进入裂缝扩展阶段，其内部裂缝及侧向变形快速增大，FRP产生的约束应力不断提高，直至其达到极限抗拉强度，发生断裂，此时FRP约束UHPC圆形短柱的轴压荷载达到峰值. FRP约束UHPC圆形短柱受力状态如图5所示，图中：fccc、fcoc（εccc、εcoc）分别为约束试件、非约束试件的峰值应力（极限应变），σr为径向应力，σ为短柱的轴向应力，ε为短柱的环向应变.
3.2 抗压强度和极限应变计算公式
根据已有研究[15-16]可知，FRP是高性能单向材料，抗拉不抗压，因此在理论分析时仅考虑FRP的环向抗拉强度. 当FRP达到其极限抗拉强度时，将不会再对混凝土产生约束作用[17]，FRP约束UHPC圆形短柱时，其侧向受力均匀连续，如图6所示. 图中：ff为FRP的极限抗拉强度，θ 为约束力方向与x轴之间夹角的大小.
根据平衡原理积分可得侧向约束力为
∫π0d/2flsinθdθ=2fft， (1) 式中：fl为FRP对UHPC的约束力，如式（2）；d为UHPC 圆形短柱的直径；t为FRP的总厚度.
fl=2fft/d. (2) 考虑到钢纤维对UHPC圆形短柱轴压性能的影响，引入纤维约束力，如式（3）.
flf=α1Vflfdfτbond, (3) 式中：α1为纤维影响系数，取值参考文献[18]；Vf为钢纤维掺量；lf为钢纤维的长度；df为钢纤维的直径；τbond为基体黏结强度.
通过改变试件的约束比及钢纤维体积掺量，研究其对试件峰值参数的影响，各试件的峰值荷载及其对应的轴向极限应变如表1所示. 以试件约束比（fL/fco，其中：fL为FRP约束力fl与钢纤维约束力flf之和，fco为非约束柱的极限强度）为控制因素，通过对试验数据进行回归分析，得到FRP约束UHPC峰值应力及峰值应变拟合曲线，如图7所示.
图7中：y=（fccc/fcoc）−1，x=fL/fcoc，代入方程最终得FRP约束UHPC的极限抗压强度计算公式，如式（4）；y1=（ɛccc/ɛcoc）−1，代入方程得到极限应变的计算公式，如式（5）.
fccc/fcoc=1+2.45(fL/fcoc)0.92, (4) εccc/εcoc=1+21.75(fL/fcoc)1.62. (5) 3.3 计算值与试验值对比分析
为更好地验证所提出模型的合理性，收集文献[10,19-20]中的试验数据进行验证. 表4为文献中FRP约束UHPC柱极限强度及峰值应变的计算值与试验值的对比，其中，fcc和ɛcc分别为极限强度和极限应变的试验值.
表 4 试件极限强度和极限应变计算值与试验值对比Table 4. Comparison between calculated and test results of ultimate strength and ultimate strain of specimens参考文献 试件编号 Vf/% fcc/MPa ɛcc fccc/MPa ɛccc fccc/fcc ɛccc/ɛcc 文献[10] 2 130.7 0.0078 175.2 0.0082 1.340 1.047 2 180.8 0.0116 217.2 0.0155 1.201 1.332 2 148.8 0.0073 185.3 0.0097 1.245 1.325 2 162.3 0.0094 211.1 0.0102 1.301 1.085 2 156.5 0.0065 172.7 0.0078 1.103 1.202 2 191.4 0.0104 211.8 0.0144 1.107 1.382 文献[19] 2 226.6 0.0086 264.8 0.0075 1.168 0.874 2 273.5 0.0106 281.8 0.0090 1.030 0.853 2 298.9 0.0115 298.2 0.0107 0.998 0.934 2 254.1 0.0068 267.4 0.0077 1.052 1.138 2 372.2 0.0105 319.7 0.0133 0.859 1.263 文献[20] UHPC-1C 1 168.0 0.0068 178.1 0.0057 1.060 0.836 UHPC-2C 1 180.8 0.0073 194.2 0.0071 1.074 0.970 UHPC-3G 1 171.5 0.0076 195.0 0.0072 1.137 0.942 UHPC-5G 1 182.0 0.0073 214.5 0.0094 1.178 1.291 通过上述计算方法所得极限强度计算值与试验值比值的平均值与标准差分别为1.124和0.123，极限应变计算值与试验值比值的平均值与标准差分别为1.098和0.191，这表明计算方法得到的极限应力、极限应变的计算值与试验值较为吻合，考虑钢纤维体积掺量影响后所得的计算公式能够较好地预测FRP约束UHPC的峰值应力和应变.
3.4 本构模型
通过对已有模型分析，选用Mander[21]本构方程作为FRP约束UHPC圆形短柱的主动约束模型，将fcc和ɛcc代入Mander[21]本构方程，以此得到FRP约束UHPC的本构模型，如式（6）所示.
σ=fccxcr/(r−1+xrc)， (6) 式中：xc = ɛc/ɛcc，ɛc为约束柱的轴向应变；r =Ec/（Ec−Esec），Esec为约束柱达到极限强度时的割线模量，Esec =fcc/ɛcc，Ec为UHPC的弹性模量.
从21个约束试件中选取6个试件，分别采用Lam模型[22]、Zohrevand模型[19]、邓宗才模型[10]和本文建立的模型，计算得到相应的应力-应变全过程曲线，与试验结果进行对比，如图8所示.
图8中：曲线的前期阶段，所有模型与试验结果无较大差异，后期阶段则差异化明显. 综合对比下，本文建立的模型与试验结果吻合程度较好.
4. 结 论
1） 随着FRP层数的增加，UHPC圆形短柱的极限抗压强度和极限应变均提高，但极限应变的提高幅度更加明显. 试件C12、C22和C32的极限强度相较于试件C11、C21和C31分别提高了17.8%、25.4%和23.4%，极限应变分别提高了55.4%、71.2%和72.6%；试件G12、G22和G32的极限强度相较于试件G11、G21和G31分别提高了10.1%、9.1%和8.5%，极限应变分别提高了43.2%、31.1%和17.3%.
2） 钢纤维可在一定程度上改善FRP约束UHPC圆形短柱的脆性特征；适量的钢纤维还可提高试件的极限抗压强度与极限应变. 试件C31的极限强度和极限应变比试件C21（C11）的分别提高了2.9%和15.1%（4.7%和50.0%）.
3） 相同层数及钢纤维体积掺量下，CFRP对UHPC圆形短柱极限抗压强度和极限应变的提升幅度比GFRP更高. 试件C11、C12和C13的极限应变分别比试件G11、G12和G13的提高了27.3%、19.7%和12.0%.
4） 分析了FRP约束UHPC圆形短柱的受力机理，在考虑钢纤维体对UHPC约束的影响下，提出了FRP约束UHPC圆形短柱抗压强度和极限应变的计算模型，并进一步给出了FRP约束UHPC的本构模型，计算结果与试验结果吻合较好.
-
表 1 Droute事件含义
Table 1. Meaning of events in Droute
事件 含义 事件 含义 e10 进路占用 e11 进路空闲 e12 进路红光带 e13 进路检查通过 e20 道岔正确 e21 超限绝缘相邻区段空闲 e30 敌对进路满足 e31 灯丝正常 e41 向 TCC 发送进路 e42 向 RBC 发送 SA e43 取消进路 e44 延迟解锁 e45 分段解锁 
下载: 导出CSV
表 2 Droute状态含义
Table 2. Meaning of states in Droute
状态 含义 状态 含义 s11 进路处于占用状态 s12 进路处于空闲状态 s13 进路处于红光带状态 s21 道岔位置处于非法状态 s22 道岔位置处于合法状态 s24 超限绝缘相邻区段处于占用状态 s25 超限绝缘相邻区段处于空闲状态 s31 敌对进路处于建立状态 s32 敌对进路处于未建立状态 s34 灯丝处于故障状态 s35 灯丝处于正常状态 s41 进路处于建立状态 s42 进路处于取消状态
下载: 导出CSV
表 3 Droute与Droute_TA 对比
Table 3. Comparison between Droute and Droute
个 模型 构件数 状态数 变迁数 事件/变量数 Droute 1 19 29 13 DTA 7 25 47 22
下载: 导出CSV
表 4 Droute测试用例（部分）
Table 4. Test cases of Droute （part）
测试用例 主要内容 1 a） 进路区段空闲，道岔位置正确，超限绝缘相邻区段占用；b） 超限绝缘相邻区段空闲，进路上区段红光带，进路不能锁闭 2 进路空闲、超限绝缘相邻区段空闲、道岔位置正确、敌对进路未建立，进路锁闭，信号机开放 3 a） 进路空闲，超限绝缘相邻区段空闲，道岔位置正确，进路锁闭，信号尚未开放；b） 敌对进路未建立，灯丝正常，但进路占用，信号不能开放 4 a） 进路锁闭后，向 TCC 发送联锁进路；b） 进路锁闭后，向 RBC 发送 SA 信息 5 进路锁闭后，灯丝断丝，信号不能开放 6 列车在进路内正常运行，进路分段解锁 7 接近区段占用，接车进路解锁时需延时 3 min
下载: 导出CSV
表 5 测试用例评估
Table 5. Test case evaluation
变异算子 变异描述 变异体数量/个 发现变异体数量/个 变异评分 迁移变异 增加或减少迁移 20 12 0.6 状态变异 增加或减少状态 10 10 1.0 事件表达式变异 改变事件表达式内容 15 15 1.0
下载: 导出CSV
-
[1] 上官伟,胡福威,袁敏,等. 基于弹复力效应的列控车载设备可靠性分析方法[J]. 铁道学报,2018,40(6): 75-82. doi: 10.3969/j.issn.1001-8360.2018.06.010SHANGGUAN Wei, HU Fuwei, YUAN Min, et al. Reliability analysis method for on-board equipment of train control system based on resilience effect[J]. Journal of the China Railway Society, 2018, 40(6): 75-82. doi: 10.3969/j.issn.1001-8360.2018.06.010 [2] 齐凡瑞,李强. 列控系统RBC测试序列优化生成方法[J]. 北京交通大学学报,2022,46(2): 11-19,28. doi: 10.11860/j.issn.1673-0291.20210139QI Fanrui, LI Qiang. Optimal generation method of RBC test sequence for train control system[J]. Journal of Beijing Jiaotong University, 2022, 46(2): 11-19,28. doi: 10.11860/j.issn.1673-0291.20210139 [3] 梁茨,郑伟,李开成,等. 基于路径优化算法的测试序列自动生成及验证[J]. 铁道学报,2013,35(6): 53-58. doi: 10.3969/j.issn.1001-8360.2013.06.009LIANG Ci, ZHENG Wei, LI Kaicheng, et al. Automated generation of test cases and sequences based on path optimization algorithm[J]. Journal of the China Railway Society, 2013, 35(6): 53-58. doi: 10.3969/j.issn.1001-8360.2013.06.009 [4] 赵显琼,郑伟,唐涛. 一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用[J]. 铁道学报,2012,34(5): 70-80. doi: 10.3969/j.issn.1001-8360.2012.05.012ZHAO Xianqiong, ZHENG Wei, TANG Tao. Model-based formal approach for generating test cases and test sequences automatically by example of the ETCS-2[J]. Journal of the China Railway Society, 2012, 34(5): 70-80. doi: 10.3969/j.issn.1001-8360.2012.05.012 [5] 赵晓宇,杨志杰,吕旌阳. 基于有色Petri网的车载设备模式转换测试序列生成方法[J]. 中国铁道科学,2017,38(4): 115-123. doi: 10.3969/j.issn.1001-4632.2017.04.16ZHAO Xiaoyu, YANG Zhijie, LÜ Jingyang. Test sequence generation method of mode transition for on-board equipment based on colored petri net[J]. China Railway Science, 2017, 38(4): 115-123. doi: 10.3969/j.issn.1001-4632.2017.04.16 [6] 王硕,张亚东,郭进,等. 列控中心自动化测试测试用例生成方法[J]. 北京交通大学学报,2020,44(5): 49-54. doi: 10.11860/j.issn.1673-0291.20200052WANG Shuo, ZHANG Yadong, GUO Jin, et al. Generation method of test cases for automated testing of TCC[J]. Journal of Beijing Jiaotong University, 2020, 44(5): 49-54. doi: 10.11860/j.issn.1673-0291.20200052 [7] LV J D, AHMAD E, TANG T. Non-deterministic delay behavior testing of Chinese train control system using UPPAAL-TRON[J]. IEEE Intelligent Transportation Systems Magazine, 2021, 13(3): 58-82. doi: 10.1109/MITS.2019.2953536 [8] 魏柏全,吕继东,陈柯行,等. 基于TAIO变异的CTCS-3列控系统测试案例生成方法[J]. 西南交通大学学报,2020,55(5): 937-945,962. doi: 10.3969/j.issn.0258-2724.20180078WEI Baiquan, LÜ Jidong, CHEN Kexing, et al. Mutation timed automata with input and output-based method of generating test suites for Chinese train control system level 3[J]. Journal of Southwest Jiaotong University, 2020, 55(5): 937-945,962. doi: 10.3969/j.issn.0258-2724.20180078 [9] LI C L, LI K C, TANG T, et al. Model-based generation of safety test-cases for Onboard systems[C]//2013 IEEE International Conference on Intelligent Rail Transportation Proceedings. Beijing: IEEE, 2013: 191-196. [10] 吕继东,朱晓琳,王海峰,等. 基于UPPAAL-TRON的高速铁路列控系统非确定性时延一致性测试研究[J]. 铁道学报,2016,38(1): 54-64. doi: 10.3969/j.issn.1001-8360.2016.01.009LV Jidong, ZHU Xiaolin, WANG Haifeng, et al. Online conformance testing of non-determinism time delay in high-speed train control system using UPPAAL-TRON[J]. Journal of the China Railway Society, 2016, 38(1): 54-64. doi: 10.3969/j.issn.1001-8360.2016.01.009 [11] 曹雅鑫. 基于UML状态图的列控中心轨道电路编码功能测试用例生成方法研究[D]. 成都:西南交通大学,2017. [12] 郑伟,唐涛,吕继东,等. 基于IECP的CTCS-3列控车载TSM曲线完备性测试用例集生成方法研究[J]. 铁道学报,2020,42(5): 72-83. doi: 10.3969/j.issn.1001-8360.2020.05.010ZHENG Wei, TANG Tao, LÜ Jidong, et al. Method of generating completeness test suit based on IECP for CTCS-3 train control TSM profile[J]. Journal of the China Railway Society, 2020, 42(5): 72-83. doi: 10.3969/j.issn.1001-8360.2020.05.010 [13] LV J D, LU W L, WANG T, et al. The search-based mutation testing of the Chinese train control system level 3 on board a train control system[J]. IEEE Intelligent Transportation Systems Magazine, 2022, 14(5): 41-58. doi: 10.1109/MITS.2021.3069900 [14] SUN Y J, LI K C, YUAN L, et al. Safety test case generation of train-ground transmission function for CTCS based on fault models[C]//2019 IEEE Intelligent Transportation Systems Conference (ITSC). Auckland: IEEE, 2019: 3355-3360. [15] 李耀,张晓霞,郭进,等. 高铁信号系统安全关键功能测试建模方法[J]. 西南交通大学学报,2022,57(1): 28-35,45. doi: 10.3969/j.issn.0258-2724.20200378LI Yao, ZHANG Xiaoxia, GUO Jin, et al. Testing modeling method for safety critical function of high-speed railway signal system[J]. Journal of Southwest Jiaotong University, 2022, 57(1): 28-35,45. doi: 10.3969/j.issn.0258-2724.20200378 [16] 李耀,张晓霞,郭进,等. 铁路信号系统软件测试建模方法[J]. 西南交通大学学报,2022,57(2): 392-400,424. doi: 10.3969/j.issn.0258-2724.20200530LI Yao, ZHANG Xiaoxia, GUO Jin, et al. Modeling method for testing railway signal system software[J]. Journal of Southwest Jiaotong University, 2022, 57(2): 392-400,424. doi: 10.3969/j.issn.0258-2724.20200530 [17] AMMANN P, OFFUTT J. Introduction to Software Testing[M]. New York: Cambridge University Press, 2017. [18] 吴彪. 基于EFSM的测试用例自动生成方法的研究[D]. 杭州:浙江理工大学,2016. [19] MIKK E, LAKHNECH Y, PETERSOHN C, et al. On formal semantics of statecharts as supported by STATEMATE[C]//Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods. Ilkley: [s. n.], 1997: 1 -12. [20] 朱雪阳,唐稚松. Statecharts的组合语义与求精[J]. 软件学报,2006,17(4): 670-681. doi: 10.1360/jos170670ZHU Xueyang, TANG Zhisong. Compositional semantics and refinement of statecharts[J]. Journal of Software, 2006, 17(4): 670-681. doi: 10.1360/jos170670 [21] SOLIMAN D, THRAMBOULIDIS K, FREY G. Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications[J]. Annual Reviews in Control, 2012, 36: 338-345. doi: 10.1016/j.arcontrol.2012.09.015 [22] LI Y, ZHANG X X, ZHANG Y D, et al. Towards A test paths generation method for CTCS level transition[J]. MATEC Web of Conferences, 2020, 325: 1001-1005. doi: 10.1051/matecconf/202032501001 [23] 李兰心,王海峰,齐志华,等. 基于SCADE模型的车载ATP测试用例生成方法[J]. 铁道学报,2020,42(9): 102-110. doi: 10.3969/j.issn.1001-8360.2020.09.013LI Lanxin, WANG Haifeng, QI Zhihua, et al. SCADE model-based method of test cases generation for onboard ATP system[J]. Journal of the China Railway Society, 2020, 42(9): 102-110. doi: 10.3969/j.issn.1001-8360.2020.09.013 [24] 魏柏全. 基于TAIO变异分析的新型列控系统安全功能测试评价研究[D]. 北京:北京交通大学,2018. 期刊类型引用(2)
1. 钟吴君，李培强，涂春鸣. 基于EEMD-CBAM-Bi LSTM的牵引负荷超短期预测. 电工技术学报. 2024(21): 6850-6864 . 
百度学术2. 吴磊，舒洋浩，周斌彬，张凌云，戴朝华. 基于配置与能量管理协同的铁路光储系统经济性提升策略. 铁道科学与工程学报. 2024(11): 4711-4723 . 百度学术其他类型引用(3)
-
下载:
下载:
百度学术
点击查看大图
计量
- 文章访问数: 320
- HTML全文浏览量: 77
- PDF下载量: 70
- 被引次数: 5