[发明专利]一种高速列车运行控制系统功能的动态测试方法

权利要求书

1.一种高速列车运行控制系统功能的动态测试方法，其特征在于该方法包括以下步骤：

(1)建立一个高速列车运行控制系统功能的测试模型：A_p＝(M，W，B)，其中，

M为根据高速列车运行控制系统的功能规范构造的有限状态自动机，

W是有限状态自动机M的状态转移权重向量，用于表示动态测试过程中状态转移的执行代价，W＝[w₁，…，w_i，…，w_n]，其中，n是状态转移个数，w_i表示状态转移t_i的执行代价，定义：正常状态转移的执行代价为1，错误状态转移的执行代价为∞，有限状态自动机M的初始权重向量为W＝[1，…，1，…，1]，

B是有限状态自动机M的状态转移标识向量，B＝[b₁，…，b_j，…，b_n]，b_j为{-1，0，1}中的一个值，定义b_j＝0，表示状态转移t_j已经被测试过，且可根据测试结果判断状态转移t_j的正确性，b_j＝-1，表示状态转移t_j已经被测试过，且不可根据测试结果判断状态转移t_j的正确性，b_j＝1表示状态转移t_j未被测试过，有限状态自动机M的初始标识向量为B＝[1，…，1，…，1]；

(2)将上述根据高速列车运行控制系统的功能规范构造的有限状态自动机M作为高速列车运行控制系统功能动态测试的参考模型；

(3)根据上述测试模型，对高速列车运行控制系统的功能进行动态测试，包括以下步骤：

(3-1)根据有限状态自动机M中状态转移引导序列的长度，对所有状态转移由短到长依次进行编号，得到t₁，t₂，…t_n；

(3-2)从对高速列车运行控制系统的功能进行动态测试开始至测试结束，依次进行：

(3-2-1)在测试过程的时刻k生成一个测试序列ts_k＝ts_pre；t_k；ts_post，其中t_k为被测状态转移，ts_pre为被测状态转移t_k的引导序列，ts_post为被测状态转移t_k的尾状态验证序列，

(3-2-2)根据上述测试序列，分别向上述参考模型和被测高速列车运行控制系统输入与功能测试相关的信号，分别得到参考模型的测试输出o₁，…，o_l，…，o_m和被测高速列车运行控制系统的测试输出

(3-2-3)将上述参考模型的测试输出o₁，o₂，…，o_m与被测高速列车运行控制系统的测试输出进行比较：

若参考模型的测试输出与被测高速列车运行控制系统的测试输出相同，则判断被测状态转移为正确；

若参考模型的测试输出与被测高速列车运行控制系统的测试输出不相同，则对测试序列ts_k进行错误定位，得到被测状态转移的判断结果；

(3-2-4)根据上述判断结果，若被测状态转移为正确，则被测状态转移的权重值不变，并将被测状态转移的标识值赋值为b_k＝0，若被测状态转移为错误，则将被测状态转移的权重值赋值为无穷大w_k＝∞，并将被测状态转移的标识值赋值为b_k＝0，若被测状态转移为不可根据测试结果判断状态转移的正确性，则被测状态转移的权重值不变，并将被测状态转移的标识值赋值为b_k＝-1；

(3-2-5)若所有被测的状态转移标识值均为0，或对标识值不为0的被测的状态转移已经不存在可执行测试序列，则停止动态测试过程。

2.如权利要求1所述的方法，其特征在于其中所述的步骤(3-2-3)的错误定位方法包括以下步骤：

(2-1)定义：参考模型的测试输出与被测高速列车运行控制系统的测试输出不一致的情况为一个症状，即从一个测试序列tsk中识别出所有症状，得到一个症状集为：

S_k＝{s_k，1，…，s_k，g，…s_k，h}；

(2-2)对上述症状集中的每个症状s_k，g：确定相应的冲突集为：

C_k，g＝{c¹_k，g，…，c^u_k，g，…，c^p_k，g}；

其中，c^u_g，k是一个冲突，冲突的定义为：被测高速列车运行控制系统的一个功能与参考模型中相应的状态转移不相符；

(2-3)根据上述冲突集得到测试序列ts_k的初始诊断候选集IDS：

IDS_k＝C_k，1∩C_k，2∩…∩C_k，h

根据冲突c^u_k，g中状态转移的历史输出，删除上述初始诊断候选集IDS中与历史输出不相符的诊断候选，并根据冲突cⁱ_k，j中状态转移的历史尾状态，删除上述初始诊断候选集IDS中与历史尾状态不相符的诊断候选，得到最终诊断集FDS，若最终诊断集FDS中存在一个诊断候选，则判断该诊断候选中包含的状态转移为错误，若最终诊断集FDS中存在多个诊断候选，则不可根据测试结果判断状态转移的正确性，采用产生症状的状态转移序列t_k，v，t_k，v+1…，t_k，v+j描述测试序列的错误信息，定义产生症状的状态转移序列Fss_k＝t_k，v，t_k，v+1…，t_k，v+j为错误子序列；

(2-4)若不可根据测试结果判断状态转移的正确性，则将上述错误子序列添加到错误子序列集合中：

FssS_k＝FssS_k-1∪{Fss_k}。