基于有限状态机的网络通信协议测试序列生成方法及装置

摘要

本发明公开了一种基于有限状态机的网络通信协议测试序列生成方法及装置，用以提供一种有效的进行一致性测试的测试序列生成方法。该方法确定该有限状态机中初始状态与每个第一状态之间的连接路径，选择包含状态最多的连接路径，并将该选择的连接路径之外的第二状态连接到该连接路径上，根据该连接路径上每个状态的输入跳转条件，生成对应该连接路径的每个测试序列，本发明实施例将网络通信协议的一致性测试序列的生成步骤化，根据上述提供的各个步骤，生成测试序列，从而提高了网络通信协议一致性测试的测试效率。

主权项

一种基于有限状态机的网络通信协议测试序列生成方法，其特征在于，包括：根据有限状态机中各状态之间的连接关系，及各状态的输入跳转条件和输出条件，确定每个状态是否为连接路径上的第一状态，其中，当判断状态的输出条件为其自身的输入跳转条件时，则判断该状态为对应该输出条件的连接路径上的第一状态，或，当状态的输出条件为与其连接的另一状态的输入跳转条件，并且该另一状态在对应该输出条件的连接路径中进行过是否为第一状态的判断时，则确定该状态为连接路径上的第一状态，或，当状态不存在输出条件时，则判断该状态为连接路径上的第一状态；根据有限状态机中的初始状态，及各状态之间的连接关系，确定有限状态机中初始状态与每个第一状态之间对应的每条连接路径，其中每条连接路径中包括至少两个状态；根据所述每条连接路径中初始状态及第一状态之间包括的状态的数量，选择包括状态数量最多的连接路径，有限状态机中有部分状态并不包含在所述选择的连接路径内，将该部分状态作为第二状态；确定位于所述选择的连接路径之外的每个第二状态，根据该每个第二状态与所述选择的连接路径中每个状态的连接关系，将该每个第二状态连接到所述选择的连接路径上；根据所述选择的连接路径上初始状态与第一状态之间的状态的输入跳转条件，确定第一组测试序列，并根据连接在所述选择的连接路径上的每个第二状态的输入跳转条件，确定第二组测试序列。