[发明专利]用于高速铁路列车控制系统功能测试的建模方法

权利要求书

1.一种用于高速铁路列车控制系统功能测试的建模方法，其特征在于该方法包括以下步骤：

(1-1)建立一个高速铁路列车控制系统功能测试的三元组系统无关模型：

PIM：：＝(θ，D，V)，

其中：θ为改变高速铁路列车控制系统状态的抽象测试动作集合，

D为高速铁路列车控制系统测试流程的描述信息，

V为改变高速铁路列车控制系统状态的参数集合；

(1-2)建立一个高速铁路列车控制系统功能测试的四元组系统相关模型为：

PSM：：＝(B，S，D^s，V^s)

其中：B为高速铁路列车控制系统功能测试过程中的基本动作，包括发送信号、接收信号、等待信号、对参数赋值和终止测试，

S为高速铁路列车控制系统功能测试过程中的流程动作，包括条件判断、测试步骤循环、测试步骤依次进行和测试步骤同时进行，流程动作的结构形式为：流程开始动作、多个基本动作、流程结束或开始动作、多个基本动作、流程结束或开始动作，依次循环后最后为流程结束动作，

D^s为高速铁路列车控制系统功能测试过程中包含了测试系统实现信息的测试流程描述信息，

V^s为高速铁路列车控制系统功能测试过程中包含了测试系统实现信息的改变高速铁路列车控制系统状态的参数集合；

(1-3)通过下述变换，将上述三元组系统无关模型变换成四元组系统相关模型：

Λ=σbσs0ξ00fd0rr0fv]]>

按照上式，则：

PSM＝PIM×Λ

其中：

σ_b是从抽象测试动作集合θ中提取基本动作，并在基本动作中加入消息和属性信息，消息为按照被测功能的业务含义划分的业务域的集合，属性为业务域的内容，

σ_s是从抽象测试动作集合θ中提取流程动作，

r为用户设定的改变高速铁路列车控制系统状态的参数集合V的引用关系的向量，形式为(1 0 1 1 … 0)，其中，1表示需要对应的参数，0表示不需要对应的参数，

f_d是将高速铁路列车控制系统测试流程的描述信息D变换为与系统相关的标准化格式信息，

f_v是将高速铁路列车控制系统测试流程的参数集合V变换为与系统相关的标准化格式参数，

ξ为由用户设定的抽象测试动作集合θ的引用关系的向量，形式为(1 0 1 1 … 0)，其中，1表示需要对应的抽象测试动作，0表示不需要对应的抽象测试动作。

2.如权利要求1所述的建模方法，其特征在于其中所述的步骤(1-3)中，从抽象测试动作集合θ中提取基本动作和提取流程动作，包括以下步骤：

(2-1)将抽象测试动作集合θ中的动作按顺序装入队列Q，设动作R为该队列中的第一个动作，设流程动作S为空，设动作集合C为空，取出队列Q中动作R的下一个动作，记为I；

(2-2)对队列Q进行判断，若I为空，则表明队列Q中无抽象测试动作，转至步骤(2-8)，若I不为空，则转至步骤(2-3)；

(2-3)对取出的动作R进行判断，若动作R是流程开始动作，则转至步骤(2-4)，若动作R不是流程开始动作，则将R放入集合C中，并使动作R成为动作I，使动作I成为队列Q中的下一个动作，转至步骤(2-2)；

(2-4)对动作I进行判断，若动作I是流程开始动作，则转至步骤(2-5)，若动作I不是流程开始动作，则转至步骤(2-6)；

(2-5)将动作集合C中的动作放入流程动作S中，并使动作集合C为空，重复步骤(2-1)至步骤(2-8)，重复过程中，改变步骤(2-1)的初始状态，使动作R’成为动作I，设动作集合C’为空，在步骤(2-2)至(2-8)中，使用R’、C’替代R、C，并根据步骤(2-6)返回的位置偏移量，使动作I成为队列Q中从动作I开始向后偏移该量的动作；

(2-6)对动作I进行判断，若动作I是流程结束动作，则将动作集合C中的动作放入流程动作S中，使动作集合C为空，并将动作I与动作R在队列Q中的位置偏移量返回至步骤(2-5)，动作I不是流程结束动作，则转至步骤(2-7)；

(2-7)将动作I放入动作集合C，使动作I成为队列Q中与动作I相邻的下一个动作，转至步骤(2-2)；

(2-8)对队列Q进行判断，若队列Q中还剩多个动作，则结束动作提取，若队列Q中只剩一个动作，则将该动作放入流程动作S中，再结束动作提取。