[发明专利]基于并行扩展有限状态机的协议层次化测试生成方法

权利要求书

1.一种基于并行扩展有限状态机的协议层次化测试生成方法，包括：

步骤1，将待测试的网络设备的协议规范描述为一并行扩展有限状态机模型；

步骤2，将所述并行扩展有限状态机模型中各个组件模型间的变量使用情况描述为一状态机依赖图；

步骤3，根据所述状态机依赖图，采用自底向上的可达图生成算法生成组件状态机可达图；

步骤4，根据所述组件状态机可达图生成组件状态机本地测试集；

步骤5，根据状态机依赖图，采用自顶向下的生成算法将所述组件状态机本地测试集生成组件状态机并行测试集。

2.如权利要求1所述的方法，其特征在于，

所述并行扩展有限状态机模型是由n个组件状态机组成的集合，用Ms表示，Ms={M₁,M₂,…,M_n}；

各组件状态机用于描述各协议进程的规范，各组件状态机用M_i表示，i=0,1,…,n，M_i是一个七元组，M_i＝(S,s₀,V_I,V_E,I,O,T)：

其中，S是M_i的有限状态集合；

s₀∈S，是M_i的初始状态；

V_I=(V_i1,V_i2,…V_ik,…,V_in)，其中V_ik是所有定义与使用均在M_i内部的变量，称为内部变量，k=1,2,…,n，n为正整数，V_I是M_i所有内部变量的集合；

V_E=(V_e1,V_e2,…V_ek,…,V_en)，其中V_ek是所有定义在M_i外部，但是在M_i内部被使用的变量，称为外部变量，k=1,2,…,n，n为正整数，V_E是M_i所有外部变量的集合；

I=(I₁,I₂,…I_k,…,I_n)，其中I_k是M_i的一个输入符号，k=1,2,…,n，n为正整数，I是M_i所有输入符号的集合，I为非空集合；

O=(O₁,O₂,…O_k,…,O_n)，其中O_k是M_i的一个输出符号，k=1,2,…,n，n为正整数，O是M_i所有输出符号的集合，O为非空集合；

T=(T₁,T₂,…T_k,…,T_n)是M_i所有变迁的集合，T为非空集合，其中T_k是M_i的一个变迁，k=1,2,…,n，n为正整数，T_k是一个六元组，T_k＝(s_start,s_end,I_k,O_k,P,A)：

其中，s_start∈S，是T_k的初始状态；

s_end∈S，是T_k的末状态；

I_k∈I，是T_k的输入符号；

O_k∈O，是T_k的输出符号；

P是关于V_I中的内部变量、V_E中的外部变量、输入I_k和一些常量的谓词表达式，P说明了T_k执行的条件；

A是T_k执行时的行为序列，A包括变量赋值行为和输出行为中的一项或多项，A中的多项行为按顺序执行。