[发明专利]一种有状态协议的规则化状态机模型设计方法

权利要求书

1.一种有状态协议的规则化状态机模型设计方法，其特征在于，包括以下步骤：

步骤一、获取待测试网络协议的协议规范，通过对协议的格式解析得到协议规则和初步的协议状态机模型；

步骤二、通过初步的协议状态机模型和状态规则信息，生成简化状态空间的规则化状态机模型；

步骤三、通过协议规则和规则化状态机模型生成结合状态和规则的状态生成树，通过状态生成树简化状态和消息之间的关系，排除无意义的组合；

步骤四、生成初始测试用例，其中一条测试用例是状态轨迹和消息的组合，测试时不是仅仅针对协议的一个状态进行测试，而是针对协议的一系列状态轨迹进行测试，生成的测试数据除了每一状态对应的消息外，还包括状态轨迹；构造测试数据即将每一状态的消息与测试状态轨迹结合起来；

步骤五、对初始测试用例进行有规则的变异，得到最终的测试用例集。

2.如权利要求1所述的一种有状态协议的规则化状态机模型设计方法，其特征在于，其中规则化状态机模型用M＝<S₀,S,I,O,F,V>来表示，其中：

1)S₀表示初始状态，是整个状态空间的开端；

2)S表示整个状态空间所有状态的集合，规则化状态机是一个有限状态机，因此状态空间状态的数量也是有限个；

3)I表示输入测试数据的数据格式集合，集合中每一个元素I_k代表第k个输入数据的数据格式信息，其中k表示大于等于0，小于集合中元素总数量的数。

4)O表示输出测试数据的数据格式集合，集合中每一个输出O_k表示第k个输出数据的数据格式信息，其中k表示大于等于0，小于集合中元素总数量的数；

5)F是状态迁移函数，表示状态间的迁移关系；

6)V是用来表示协议状态规则的变量，V包括所有能够表示状态特性的属性。

3.如权利要求1或2所述的一种有状态协议的规则化状态机模型设计方法，其特征在于，状态规则树是一种结合规则化状态机模型和协议规范描述的分层树，形式化描述为一个7元组T＝(S,M,Sub,H,F₁,F₂,F₃)，其中：

1)S表示的是状态集合，表示的是有状态协议的状态空间；

2)M表示消息集合，表示有状态协议规定的所有协议消息；

3)Sub表示子消息集合，表示有状态协议规定的所有协议子消息，在有状态协议规范中一条消息由多个子消息组成；

4)H表示消息头集合，表示有状态协议中所有的消息头；

5)F₁＝S×M，表示状态与消息的映射关系；

6)F₂＝M×Sub，表示消息与子消息的映射关系；

7)F₃＝Sub×H，表示子消息与消息头的映射关系。