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. -
固定辙叉是道岔重要组成部分，广泛应用于我国重载和提速铁路. 固定辙叉区轮轨动力相互作用异常剧烈，关键钢轨部件磨耗磨损等病害较区间线路更加频发[1-6]. 我国固定辙叉平均使用寿命仅为美国的40%，欧洲的60%，造成其服役寿命相对较低的主要原因之一是轮载过渡区辙叉钢轨总承载面积相对欧美较小[7].
辙叉区不规则的钢轨廓形是影响轮载过渡区钢轨承载面积的直接因素. 为此，国内外学者从钢轨廓形参数优化角度进行了大量研究：王树国等[7]从理论分析、动力仿真和现场试验角度对辙叉心轨顶宽、查照间隔和护轨轮缘槽宽度等参数进行优化；徐井芒等[8-9]提出基于轮轨廓形净差值的心轨廓形优化方法；曹洋等[10]针对固定辙叉轮载过渡段轮轨匹配性能对心轨关键断面廓形进行优化；沈钢等[11]采用粒子群算法求解优化模型对心轨顶面降低值参数进行优化；张鹏飞等[12]研究翼轨加高值对列车过岔动力特性的影响；Wan等[13-14]采用数值模拟和现场试验分析辙叉区各轮轨动力响应的权重大小，并结合多目标优化方法提出固定辙叉心轨廓形设计方法.
上述文献研究主要针对辙叉廓形单一几何参数，通过调整局部廓形进行优化设计，并未从固定辙叉几何特征控制参数角度探寻廓形参数化设计方法并分析各参数对辙叉钢轨廓形的影响. 因此，本文基于B样条理论，采用DOE （design of experiments）方法，分析各关键控制参数对心轨廓形变化的影响权重，对实现固定辙叉区钢轨廓形参数化设计具有重要意义.
1. 固定辙叉廓形特征参数
在固定辙叉中，有害空间引起轨距线不连续，且翼轨和心轨廓形呈连续不规则变化. 然而，固定辙叉平面布置、心轨各关键断面廓形以及翼轨断面几何特征具有如下规律：对于任意心轨和翼轨断面，轨顶横坡和轨头侧面纵坡不变；沿辙叉走行方向，心轨和翼轨高度分段线性变化，心轨断面宽度线性增大；心轨和翼轨轮缘槽宽度一定；距轨距测量点标准轨头半宽35.5 mm处的翼轨顶面高度以及翼轨宽度可精确确定. 以60 kg/m钢轨12号固定辙叉[15]为例，心轨轨顶横坡为1∶20，轨头侧面纵坡为1∶5；翼轨工作边纵坡为1∶5，轨顶横坡为1∶20，非工作边侧面纵坡1∶20，如图1所示，W为翼轨轨头宽度.
由此可见，虽然辙叉钢轨轨头宽度和高度沿辙叉方向不断变化，但仍存在保持不变的设计参数，分别为各断面处心轨和翼轨轨头宽度和高度、轨顶横坡、轨头侧面坡度. 本文将以上参数统称为固定辙叉钢轨全断面廓形特征参数，为后文中不断重构更新辙叉钢轨廓形提供了设计依据.
2. 辙叉钢轨廓形参数化拟合方法
2.1 B样条曲线理论
辙叉区钢轨各断面廓形是由多段不同曲率圆弧组成的复杂曲线，整个廓形需保持连续平滑. B样条曲线在计算机辅助设计中具有广泛应用[16]，可通过较少的轮廓关键控制顶点实现达到期望逼近精度的廓形拟合，且具有连续平滑性和强凸包性. 因此，通过B样条曲线拟合辙叉钢轨廓形，对利用辙叉廓形特征参数进行廓形参数化设计具有明显优势. 已有相关研究将其应用于钢轨廓形设计：Yang等[17]采用B样条理论，选取实测廓形33个控制点建立磨耗钢轨廓形曲线，对不同打磨方式钢轨廓形进行磨耗预测；温士明[18]运用B样条曲线对钢轨廓形进行参数化描述，提出钢轨打磨目标廓形优化方法；刘建桥[19]结合遗传算法和B样条曲线，以降低钢轨磨耗为目标确定钢轨优化廓形；唐彦玲等[20]通过B样条曲线对钢轨廓形进行参数化描述，结合遗传算法对曲线地段钢轨廓形进行设计；王亮等[21]采用B样条曲线和NSGA-Ⅱ算法对控制点权因子寻优计算，对钢轨打磨区域轨头廓形进行设计；林凤涛等[22]采用B样条理论对高速铁路辙叉钢轨廓形拟合，基于标准辙叉廓形设置16个控制点设计了钢轨经济性打磨廓形；史振帅[23]以道岔转辙器区域直尖轨为研究对象，采用NURBS理论对道岔直尖轨打磨廓形进行设计重构. 已有文献虽实现了钢轨廓形重构，但仍是通过标准或实测钢轨廓形的稠密离散点数据进行廓形拟合，且大多针对区间线路和可动心辙叉，对固定辙叉钢轨廓形研究较少.
在B样条方法中，任意曲线可用式（1）表示.
C(t)=n−1∑v=0Bv,d(t)Qv, (1) 式中：Qv为序号v的廓形关键控制点；n为控制点Qv个数，依次连接控制点可以构成一个特征多边形；t为节点，t0≤t≤tm-1，T=（t0，t1，…，tv，…tm-1），T为节点向量，m=n + d + 1，m为节点个数，d为B样条曲线的阶数；Bv,d(t)为由递归方程表示的d−1次B样条基函数，如式（2）所示.
{Bv,d(t)=t−tvtv+d−tvBv,d−1(t)+tv+d+1−ttv+d+1−tv+1Bv+1,d−1(t),Bv,0={1，tv⩽t⩽tv+1,0，t<tv或t>tv+1. (2) 根据B样条曲线理论与相关工程应用情况可知，采用3次样条可保证拟合曲线2阶导数连续，满足工程实际需要，因此，本文采用3次非均匀B样条曲线拟合辙叉钢轨廓形.
2.2 关键控制点确定
依据心轨和翼轨廓形关键几何特征参数可确定B样条曲线拟合廓形所需关键控制点，由各控制点组成心轨和翼轨廓形拟合控制多边形，如图2所示. 由于心轨断面廓形轴对称，因此只选取心轨中心轴一侧进行廓形参数化说明.
在图2（a）中，心轨廓形拟合的关键控制点为{N1,N2…,Ni}，Ni=(xi，yi)，i =1，2，…，8. 其中：N1为心轨轨顶高度控制点；N2、N3用来调节心轨顶面平直段廓形范围；N4、N6、N8用来调节心轨轨头复合圆弧段廓形；N5为轨顶横坡和侧面纵坡交点；N7为心轨宽度控制点；P为△N4N5N6中垂线与N4N6的交点，为确定控制点N8的辅助点，N8位于N5P的连线上.
在图2（b）中，翼轨廓形拟合的关键控制点为{W1,W2,…,Wj}，j=1，2，…，9. 其中：W1和W9为翼轨轨头宽度控制点；W3为轨顶横坡和翼轨工作边纵坡交点；W5为翼轨高度控制点；W7为轨顶横坡和翼轨非工作边纵坡交点；W2、W4、W6、W8用来调节翼轨轨头两侧复合圆弧段廓形；kW1、kW2、kW3分别为翼轨工作边纵坡、轨顶横坡和非工作边纵坡斜率；hW为翼轨高度；wW为标准轨头宽度的一半，即35.5 mm.
由于心轨和翼轨廓形参数化方法一致，且心轨廓形变化较翼轨复杂，因此，以心轨为例详细说明辙叉钢轨廓形参数化过程. 采用向量法确定各控制点间关系，如式（3）.
{N4N5|N4N5|=(1，k1),N5N6|N5N6|=(1，k2),N4N5=λ1N1N5,N1N2=λ2N1N4,N5N6=λ3N5N7,N2N3=λ4N2N4,N5N8=λ5N5P, (3) 式中：λ1、λ2、λ3、λ4、λ5分别为调节控制点N4、N2、N6、N3、N8位置的比例系数，为可变参数，记为λs∈[0，1]，其中，s=1,2,…，5，λ5用来调节心轨轨头复合圆弧段廓形，简称心轨复合圆弧段比例系数；k1、k2分别为心轨轨顶横坡和侧面纵坡斜率.
当其他控制点一定时，心轨轨头复合圆弧段廓形主要由控制点N8位置决定，为了保持心轨轨头廓形凸曲线的特点，N8取值需在N5P范围内. 依据向量法求三角形垂点P，如式（4）所示.
P=N4+N4N5•N4N6|N4N6|•|N4N6|•(N6−N4). (4) 结合式（3）、（4），根据定比分点原理确定各关键控制点坐标，如式（5）所示.
{(x1,y1)=(0,h),(x2,y2)=(1−λ2)(x1,y1)+λ2(x4,y4)+(0，Δ),(x3,y3)=(1−λ4)(x2,y2)+λ4(x4,y4),(x4,y4)=λ1(x1,y1)+(1−λ1)(x5,y5),(x5,y5)=(h+k2wk2−k1,h+k1(h+k2w)k2−k1),(x6,y6)=(1−λ3)(x5,y5)+λ3(x7,y7),(x7,y7)=(w,0),(x8,y8)=(1−λ5)(x5,y5)+λ5(xp,yp), (5) 式中： (xp，yp)为点P坐标；Δ为心轨平直段廓形修正系数，通过调整Δ使控制点N2与N1在同一水平线上；h为x处心轨高度，x为心轨任意断面距辙叉理论尖端的距离；w为x处心轨轨头半宽.
由式（3）～（5）可知，心轨任意断面廓形各控制点坐标可表示为各特征参数和比例系数的函数. 翼轨同理，则固定辙叉全断面廓形控制点可表示为
{Ni=fcp(h,w,k1,k2,Δ,[λs]),Wj=gwp(hW,wW,kW1,kW2,[λt]), (6) 式中：fcp(·)、gwp(·)分别为求解心轨和翼轨任意断面所有控制点的函数；λt为翼轨控制点调节比例系数，记为λt∈[0，1]，其中，t为其对应的比例系数编号.
综上所述，关键控制点确定所涉及的参数具体包括两类，一类是与廓形相关的有实际物理意义的特征参数，另一类是B样条曲线几何控制点调节比例系数. 为方便后续分析，将上述两类参数统称为辙叉钢轨廓形关键控制参数.
2.3 廓形拟合
以60 kg/m钢轨12号固定辙叉钢轨为例，采用B样条曲线进行廓形构建，心轨和翼轨控制点分布及拟合廓形分别如图3所示.
由图3可知：各控制点位置随心轨轨顶高度和宽度的变化而改变，从而实现心轨廓形连续变化；本文不考虑翼轨高度和轨头宽度的变化，因此翼轨拟合廓形唯一.
在此基础上，结合辙叉区心轨和翼轨走行方向变化，可进一步确定辙叉三维廓形，考虑一侧翼轨的固定辙叉三维廓形如图4所示.
由图4可知，虽然固定辙叉钢轨廓形复杂多变，心轨和翼轨沿辙叉走行方向廓形不断变化，但结合辙叉结构设计中各关键断面的关键控制参数，基于B样条方法可快速确定沿辙叉走行方向的任意截面廓形，该方法可极大拓展以固定辙叉廓形优化设计为基础的轮轨动力仿真以及轮轨接触关系等的研究.
3. 心轨廓形参数试验设计分析方法（DOE）分析
3.1 评价指标
心轨廓形关键控制参数调整会改变心轨廓形，廓形面积差可以直观量化地表达心轨整体廓形的变化情况；与此同时，不同参数对心轨轨头廓形和心轨侧面廓形变化影响程度不同，而心轨轨头廓形变化量和侧面廓形变化量可以更细致地反映各参数对心轨轨头和侧面廓形的单独影响. 因此，为分析各关键控制参数对心轨廓形的影响，选取ΔS以及D1、D2评价各方案廓形与标准廓形的贴合度，如式（7）所示. 本文借鉴《铁路线路修理规则》中对钢轨垂磨和侧磨的定义，选取心轨轨头顶面和侧面某一位置处廓形距离偏差量来定义D1和D2.
{ΔS=|Scase−Sstd|,D1=|Ycase−Ystd|,D2=|Xcase−Xstd|, (7) 式中：Scase为各方案廓形曲线与X坐标轴围成的面积；Sstd为采取表1参数确定的标准廓形与X坐标轴围成的面积；ΔS为各方案廓形与标准廓形面积差，反映心轨整体廓形的变化程度；Ycase和Ystd分别为距心轨中心轴2w/3处，各方案廓形曲线与标准廓形曲线纵坐标值；Xcase和Xstd分别为距心轨顶面h/2处各方案廓形曲线与标准廓形曲线横坐标值；D1和D2分别为各方案廓形与标准廓形在垂向和横向上的廓形偏差.
表 1 DOE全阶乘方案设计Table 1. DOE full factorial scheme design方案 k1 k2 λ5 方案 1 1/30 1/6 1/4 方案 2 1/30 1/6 1/2 方案 3 1/30 1/4 1/4 方案 4 1/30 1/4 1/2 方案 5 1/10 1/6 1/4 方案 6 1/10 1/6 1/2 方案 7 1/10 1/4 1/4 方案 8 1/10 1/4 1/2 标准 1/20 1/5 1/3 在DOE分析中，为明确各关键控制参数在所选合理取值范围内对心轨廓形变化的影响权重E，除了对D1、D2及ΔS各自的均值进行分析，还需对E进行分析，如式（8）所示.
E=I+−I−V+b−V−b3∑b=1I+−I−V+b−V−b×100%, (8) 式中：$I^ -$和$I^ +$分别为各控制参数分别取2个水平（−和 + ）时的各贴合度指标均值，$ V_b^ + $和$ V_b^ - $分别为各关键参数的2个水平值（−和 + ）.
3.2 方案设置
在工程实践中，心轨轨头顶面和轨头侧面复合圆弧部分更易发生严重磨耗[24]，k1和k2分别对心轨顶面廓形和轨头侧面廓形起控制作用，比例系数λ5能够调整控制点N8的位置，从而实现轨头侧面复合圆弧段廓形的调整. 因此，采用DOE全阶乘设计方法对心轨廓形关键控制参数k1、k2及λ5进行方案设计. 依据《道岔设计手册》60 kg/m钢轨12号道岔[15]中的心轨标准设计参数，在一定范围内对各参数调整取值进行方案设计，以满足心轨整体廓形符合工程实际. 各方案参数取值如表1.
3.3 重构廓形轮轨匹配特征
轮轨接触点分布规律是轮轨廓形匹配的最直观反映[25]. 选取LMA型车轮踏面，以心轨20 mm断面和50 mm断面为例，分析轮对不同横移量下各方案轮轨接触点分布规律，进一步验证该参数化设计方法的合理性. 各方案心轨拟合廓形如图5所示，各方案轮轨接触点分布情况如图6所示.
图 6 心轨关键断面车轮踏面接触点变化规律Figure 6. Contact point variations on wheel tread for key nose rail sections由图5可知：各方案心轨廓形与标准廓形贴合度良好，说明取得了较好的钢轨廓形重构效果. 所建立的钢轨廓形B样条曲线构造方法为后文参数分析中不断重构更新钢轨廓形奠定了基础.
由图6可知：各方案拟合廓形轮轨接触点分布规律均与现有标准廓形一致；在心轨顶宽20 mm断面，各方案轮轨接触点位置基本一致，仅接触点发生突变对应的横移量有极小差别，说明在心轨顶宽较小时，各参数对轮轨接触点分布影响较小；在心轨顶宽50 mm断面，与标准廓形方案相比，方案1～4中轮轨接触点分布偏向于车轮踏面外侧，变化规律差别较小；而方案5～8则偏向于车轮踏面轮缘侧，变化规律也基本相近；随着心轨顶宽增大，参数k1对轮轨接触点分布的影响较k2和λ5大.
3.4 DOE分析
固定辙叉钢轨廓形影响轮轨匹配性能，因此，明确各控制参数对辙叉钢轨廓形影响权重，对辙叉钢轨廓形参数化设计中的参数调整优化具有重要意义. 以心轨20 mm断面和50 mm断面为例，通过DOE设计方法分析各控制参数对心轨廓形变化的影响效果及影响权重. 图7、8所示为心轨各控制参数对D1、D2和ΔS变化范围的影响. 图9为反映各控制参数对心轨廓形绝对影响效应的Pareto图. 图10为各控制参数对心轨廓形变化的影响权重.
由图7、8可知：在心轨20 mm断面，k2和λ5对ΔS、D1和D2变化范围均影响较大，k1对三者影响较小；在心轨50 mm断面，k1对ΔS、D1影响较大，对D2影响较小，k2和λ5对ΔS、D1和D2影响相当. 说明当心轨轨头宽度较小时，心轨整体廓形变化、心轨顶面和侧面廓形均主要受k2和λ5影响，k1影响较小；随着心轨轨头宽度增大，k1对心轨整体廓形和顶面廓形影响增大，对侧面廓形影响较小；k2和λ5对心轨各部位廓形影响效果相当.
由图9可知：在心轨20 mm断面，k1和λ5对ΔS影响效应较大，各参数对D1和D2影响效应相当且均较小；在心轨50 mm断面，各参数对ΔS影响效应最大，D1次之，对D2影响很小，其中，k1对ΔS影响效应最大，k2和λ5对ΔS影响效应相当；各参数对D1影响效应相当.
由图10可知：1） 在心轨20 mm断面，k1和λ5对ΔS和D1影响权重较小，而k2影响较大. 其中，ΔS对应的E分别为21.08%、56.89%和22.02%，D1对应的E分别为8.42%、61.95%、29.63%. 说明在心轨20 mm断面，k1和λ5对心轨整体廓形和顶面廓形的影响权重远不及k2，主要原因是在心轨轨头宽度较小时，侧面高度相对较大，心轨侧面廓形对心轨廓形变化起主导作用. 2） 在心轨50 mm断面，k1、k2和λ5对ΔS和D1的影响权重依次减小. 其中，ΔS对应的E分别为55.90%、33.38%、10.72%，D1对应的E分别为64.81%、26.71%、8.48%，说明随着心轨轨头宽度增大，各关键控制参数在方案所选取值范围内时，k1对心轨顶面和心轨整体廓形的影响权重逐渐明显，k2和λ5的影响逐渐减弱. 3） 在心轨20 mm断面，k1、k2和λ5对心轨侧面廓形偏差D2对应的E分别为9.93%、76.82%、13.25%；在心轨50 mm断面，k1、k2和λ5对心轨侧面廓形偏差D2对应的E分别为14.09%、66.04%、19.87%；由此可见，由于不同心轨轨头宽度对应的高度变化不大，因此，无论心轨宽度大小，心轨侧面廓形主要受k2影响较大，受λ5影响次之，受k1影响最小.
4. 结 论
1） 基于B样条理论，提出了一种考虑固定辙叉全断面钢轨廓形几何特征的参数化设计方法，该方法利用B样条曲线定义工业产品几何形状的优势，通过固定辙叉钢轨全断面廓形关键特征参数确定任意断面廓形控制点，进而实现钢轨廓形参数化重构；提出了钢轨重构廓形贴合度评价指标和关键控制参数对廓形贴合度影响权重指标，可直观量化地反映廓形参数变化对心轨廓形的影响.
2） 在心轨20 mm和50 mm断面，各方案心轨重构廓形与标准廓形贴合度良好，不同横移量下轮轨接触点分布规律符合实际. 各参数对轮轨接触点变化规律与心轨顶面宽度有关，在心轨顶宽较小时，各参数对轮轨接触点变化影响较小，在心轨顶宽较大时，k1对轮轨接触点分布的影响较k2和 λ5大.
3） 当心轨轨头宽度较小时，心轨整体廓形、心轨顶面和侧面廓形变化范围主要受k2和λ5影响，k1影响较小；k2对各部分廓形变化影响权重较大，k1和λ5影响较小；随着心轨轨头宽度的增大，k1对心轨整体廓形和顶面廓形变化范围和影响权重均逐渐增大，k2和λ5的影响逐渐减弱. 由此可见，各控制参数对心轨各部分廓形影响权重不同，通过考虑各控制参数对钢轨各部分廓形的影响权重，有针对性地重点考虑相应的控制参数进行廓形方案设计，避免了经验—性能计算—修正等反复试凑的传统设计过程，使辙叉廓形设计更具有针对性和可预测性.
-
表 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. -
下载:
下载:
点击查看大图
计量
- 文章访问数: 321
- HTML全文浏览量: 78
- PDF下载量: 71
- 被引次数: 0