[发明专利]基于变量依赖的并行扩展有限状态机的协议测试生成方法

权利要求书

1.一种基于变量依赖的并行扩展有限状态机的协议测试生成方法，其特征在于，所述方法是在网络操作环境中对于一个被测试的网络设备依次执行以下步骤实现的：

步骤1：在计算机中，把被测试的网络设备的协议规范描述为一个并行扩展有限状态机模型Ms；

步骤2：采用忽略变量依赖的扩展有限状态机测试生成技术生成组件状态机抽象测试集；

步骤3：针对外部变量，生成可执行化外部前导序列；

步骤4：采用链接外部前导序列的方法对组件状态机抽象测试集进行可执行化处理；

步骤5：生成关于外部变量的跨状态机抽象测试集；

步骤6：将经过步骤4处理的组件状态机抽象测试集与步骤5生成的跨状态机抽象测试集合并，删除重复或被包含的测试序列，得到协议状态机的抽象测试集。

2.如权利要求1所述的方法，其特征在于，步骤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，TR，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为非空集合；

TR＝(TR₁，TR₂，...TR_k，...，TR_n)，其中TR_k是M_i的一个时钟，k＝1，2，...，n，n为正整数，TR_k能够被M_i的任意变迁读取，TR是M_i所有时钟的集合；

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、一些常量和时钟超时事件的谓词表达式；

A是T_k执行时的行为序列，A包括变量赋值行为、输出行为以及时钟创建行为中的一项或多项，A中的行为顺序执行。