一种有状态协议的规则化状态机模型设计方法

摘要

一种有状态协议的规则化状态机模型设计方法，本发明针对有状态网络协议，对传统模糊测试进行了改进，使其生成的测试用例不是杂乱无章的，而是有针对性，覆盖面广并且高效的。步骤一、获取待测试网络协议的协议规范，通过对协议的格式解析得到协议规则和初步的协议状态机模型；步骤二、通过初步的协议状态机模型和状态规则信息，生成简化状态空间的规则化状态机模型；步骤三、通过协议规则和规则化状态机模型生成结合状态和规则的状态生成树，通过状态生成树简化状态和消息之间的关系，排除无意义的组合；步骤四、生成初始测试用例；步骤五、对初始测试用例进行有规则的变异，得到最终的测试用例集。

主权项

一种有状态协议的规则化状态机模型设计方法，其特征在于，包括以下步骤：步骤一、获取待测试网络协议的协议规范，通过对协议的格式解析得到协议规则和初步的协议状态机模型；步骤二、通过初步的协议状态机模型和状态规则信息，生成简化状态空间的规则化状态机模型；步骤三、通过协议规则和规则化状态机模型生成结合状态和规则的状态生成树，通过状态生成树简化状态和消息之间的关系，排除无意义的组合；步骤四、生成初始测试用例，其中一条测试用例是状态轨迹和消息的组合，测试时不是仅仅针对协议的一个状态进行测试，而是针对协议的一系列状态轨迹进行测试，生成的测试数据除了每一状态对应的消息外，还包括状态轨迹；构造测试数据即将每一状态的消息与测试状态轨迹结合起来；步骤五、对初始测试用例进行有规则的变异，得到最终的测试用例集。