[发明专利]基于有限状态机网络协议半合法化模糊测试用例生成方法

权利要求书

1.基于有限状态机网络协议半合法化模糊测试用例生成方法，其特征在于，包括如下步骤：

步骤一：在基于有限状态机的网络协议中，根据网络协议规约，解析协议交互过程，构建基于有限状态机的网络协议模型：

所述基于有限状态机的网络协议模型为P_fsm＝<S₀,S,M,F>，其中：

S₀表示有限状态机的状态集合的初始状态；

S＝{s₀,s₁,s₂,...,s_n-1}，表示整个有限状态机的状态集合，其中s₀～s_n-1表示n个状态；

M＝{m₀,m₁,m₂,…,m_q-1}，表示促使有限状态机发生状态转移的协议消息集合，其中m₀～m_q-1表示q个协议消息；

F为状态转移函数，表示状态转移路径(s_i,m_j,s_k)；i∈[0,n-1],j∈[0,m-1],k∈[0,n-1]；

步骤二：建立针对有限状态机的完整的测试序列，该测试序列为一个由有限状态机中所有状态转移路径组成的集合；

步骤三：构造协议消息m_d变异后的畸形协议消息集合{～m_d1,～m_d2,～m_d3,…,～m_dp}，其中p为m_d变异后的畸形协议消息数量；其中d为正整数且取遍区间[0,m-1]；

其中，在构造协议消息m_d变异后的畸形协议消息集合时，将协议消息采用四层结构表示，四层从上至下分别为：状态表示层、消息类型表示层、消息表示层、子协议域表示层；其中所述状态表示层用于表示在该协议消息m_d所促使的状态转移路径中的前后两个状态，所述消息类型表示层用于表示该协议消息m_d所属的消息类型，包括请求类消息request和应答类消息response，所述消息表示层包括组成协议消息m_d的所有的数据类型，所述子协议域表示层表示按照协议规约进行划分后得到的组成协议消息的各个子结构；对于协议消息m_d，有p个约束条件制约着，在生成协议消息m_d的半合法畸形协议消息时，仅仅改变p个约束条件中的一个、其他约束条件不变，得到一个m_d变异后的畸形协议消息，由此共获得关于m_d的p个变异后的畸形协议消息集合{～m_d1,～m_d2,～m_d3,…,～m_dp}；

步骤四：从m_d的畸形协议消息集合中顺次选取～m_d1至～m_dp中的一个用于替代所述完整的测试序列中的m_d，每次获得一个关于m_d的模糊测试序列，则共获得p个关于m_d的模糊测试序列；

顺次取d＝0,1,……,n-1，获得关于m₀～m_n-1的所有模糊测试序列；

步骤五：将步骤四中所生成的所有的模糊测试序列作为模糊测试用例。

2.如权利要求1所述的基于有限状态机网络协议半合法化模糊测试用例生成方法，其特征在于，在建立基于有限状态机的网络协议模型时，进一步增加L＝{l₀,l₁,l₂,…,l_n-1}作为状态转移路径的标记变量，与状态转移路径一一对应，表示是否已经进行过该状态转移，初始值设定为false；

则在进行一个关于m_d的模糊测试序列的生成过程中，判断当前序列中每条状态转移路径对应的标记变量，若为false，则将该条状态转移路径生成至前序列中，并将其标记变量置为true；

若为true，则在当前序列中不再生成该条状态转移路径，并保持其标记变量为true不变。