[发明专利]C-V2X系统实时分析测试方法、装置及存储介质

权利要求书

1.一种C-V2X系统实时分析测试方法，其特征在于，步骤包括：

根据待测操作构建EFSM模型以作为测试准则，所述EFSM模型为在FSM模型的基础上设置状态迁移的前置条件建立得到，所述状态迁移的前置条件为当前状态转移至下一状态时需要满足的条件；

实时获取待测C-V2X系统的系统日志信息进行实时序列化处理，以抽象为由多个报告构成的报告序列，所述报告为以关键字开始的多个报告元素组成的序列；

将所述报告序列输入至所述EFSM模型中，以驱动所述EFSM模型进行状态迁移；

根据所述EFSM模型是否能够进行状态迁移的结果，判断待测C-V2X系统的日志信息所记录的操作是否符合预设要求，输出最终测试结果。

2.根据权利要求1所述的C-V2X系统实时分析测试方法，其特征在于，所述EFSM模型为一个六元组(Q,i,F,N,T,V)，其中Q表示状态集合，i为初始状态，i∈Q，F为终态集合，F∈Q，N表示待检测报告序列的可数集合，T是状态迁移集合，且T中的每一个元素t是一个四元组(s₁,p,r,s₂)，s₁表示当前状态，p是状态迁移的前置条件，r表示接收到的报告，s₂为迁移后状态，V是变量的集合，且变量与状态迁移的行为相关联。

3.根据权利要求2所述的C-V2X系统实时分析测试方法，其特征在于，所述状态迁移的前置条件为当处于状态s₁时，接收到报告r并且p＝true或空时，才会执行状态迁移，即状态转移到s₂。

4.根据权利要求1所述的C-V2X系统实时分析测试方法，其特征在于，所述判断待测C-V2X系统的日志信息所记录的操作是否符合预设要求包括：从初始状态开始，所述EFSM模型对所述报告序列中每行报告判断是否属于EFSM模型待测试的事件，如果不属于则保持原状态并抛弃该行，如果属于则判断是否能够进行状态迁移，如果能够则进行状态迁移，如果不能够则保持原状态并报告错误信息，如果当前行为报告序列的结尾，且所述EFSM模型还没有达到终态集合中的一个终态，则报告错误信息；当接收到所述报告错误信息时，判定当前报告序列不被接受，即存在不符合预设要求的操作。

5.根据权利要求4所述的C-V2X系统实时分析测试方法，其特征在于，判断当前报告序列对应的状态函数序列的可接受性，以确定当前报告序列的可接受性，所述状态函数为从任意EFSM模型映射到状态集Q_m中指定状态的映射函数，其中如果存在一个状态函数序列是报告序列的一个可接受序列，则判定当前报告序列是被接受的，否则判定是不被接受的。

6.根据权利要求5所述的C-V2X系统实时分析测试方法，其特征在于，当报告序列为空时，只有一个状态函数curr的状态函数序列是部分可接受序列；当报告序列不为空时，以状态函数curr开始的且对于所有m∈M有curr(m)＝i_m的为可接受的状态函数序列，其中，M为EFSM模型集合，m为当前EFSM模型，i_m为当前EFSM模型m的初始状态。

7.根据权利要求6所述的C-V2X系统实时分析测试方法，其特征在于，对于报告序列的一个子集(r,ρ)，r为报告，ρ为报告序列，状态函数序列(curr,curr′,φ)为部分可接受序列的条件是：对r∈N_m，N_m为当前EFSM模型m下待检测报告的可数集合，存在m∈M；或对所有m∈M，则对于r∈N_m，有δ_m(curr(m),r,curr′(m))，δ_m为EFSM模型中的转换关系，或者对于得到curr′(m)＝curr(m)；或序列(curr′,φ)是ρ的部分可接受序列，其中，curr为状态函数，curr′为为不同时刻下的状态函数，φ为状态函数序列。