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

权利要求书

1.一种基于有限状态机的网络通信协议测试序列生成方法，其特征在于，包括：

根据有限状态机中各状态之间的连接关系，及各状态的输入跳转条件和输出条件，确定每个状态是否为连接路径上的第一状态，其中，当判断状态的输出条件为其自身的输入跳转条件时，则判断该状态为对应该输出条件的连接路径上的第一状态，或，当状态的输出条件为与其连接的另一状态的输入跳转条件，并且该另一状态在对应该输出条件的连接路径中进行过是否为第一状态的判断时，则确定该状态为连接路径上的第一状态，或，当状态不存在输出条件时，则判断该状态为连接路径上的第一状态；

根据有限状态机中的初始状态，及各状态之间的连接关系，确定有限状态机中初始状态与每个第一状态之间对应的每条连接路径，其中每条连接路径中包括至少两个状态；

根据所述每条连接路径中初始状态及第一状态之间包括的状态的数量，选择包括状态数量最多的连接路径，有限状态机中有部分状态并不包含在所述选择的连接路径内，将该部分状态作为第二状态；

确定位于所述选择的连接路径之外的每个第二状态，根据该每个第二状态与所述选择的连接路径中每个状态的连接关系，将该每个第二状态连接到所述选择的连接路径上；

根据所述选择的连接路径上初始状态与第一状态之间的状态的输入跳转条件，确定第一组测试序列，并根据连接在所述选择的连接路径上的每个第二状态的输入跳转条件，确定第二组测试序列。

2.如权利要求1所述的方法，其特征在于，所述确定第一组测试序列包括：

在所述选择的连接路径的初始状态和第一状态之间的任意状态中，判断每个状态的每个输入跳转条件，是否为与其连接的状态输出条件，其中该与其连 接的状态为所述选择的连接路径中与该状态连接，且与初始状态位置临近的状态；

当判断结果为是时，根据跳转到该与其连接的状态的每条路径，确定该状态中对应该输入跳转条件的跳转到该状态的路径，

否则，根据该状态的该输入跳转条件，确定跳转到该状态的路径；

根据跳转到第一状态的每条路径，生成对应的第一组测试序列。

3.如权利要求1所述的方法，其特征在于，所述确定第二组测试序列包括：

根据该连接到该选择的连接路径上的每个第二状态，判断该每个第二状态中的状态的输入跳转条件，是否为与其连接的状态的输出条件，其中该与其连接的状态包括该第二状态中与该状态连接的，且与初始状态位置临近的状态；

当判断结果为是时，根据跳转到与其连接的状态每条路径，确定该状态中对应该输入跳转条件的跳转到该状态的路径，

否则，根据该状态的该输入跳转条件，确定跳转到该状态的路径；

根据跳转到每个第二状态中的最终状态的每条路径，生成对应的第二组测试序列。

4.一种基于有限状态机的网络通信协议测试序列生成装置，其特征在于，该装置包括：

连接路径确定模块，用于根据有限状态机中的初始状态，及各状态之间的连接关系，确定有限状态机中初始状态与每个第一状态之间对应的每条连接路径，其中每条连接路径中包括至少两个状态，其中，所述连接路径确定模块包括用于根据各状态之间的连接关系，及各状态的输入跳转条件和输出条件，确定每个状态是否为连接路径上的第一状态的第一状态确定单元，以及用于根据确定的第一状态，确定初始状态到该第一状态的连接路径的路径确定单元；所述第一状态确定单元包括：第一确定子单元、第二确定子单元和第三确定子单元，所述第一确定子单元用于当判断状态的输出条件为其自身的输入跳转条件 时，则判断该状态为对应该输出条件的连接路径上的第一状态，所述第二确定子单元用于当状态的输出条件为与其连接的另一状态的输入跳转条件，并且该另一状态在对应该输出条件的连接路径中进行过是否为第一状态的判断时，则确定该状态为连接路径上的第一状态，所述第三确定子单元用于当状态不存在输出条件时，确定该状态为连接路径上的第一状态；

选择模块，用于根据所述每条连接路径中初始状态及第一状态之间包括的状态的数量，选择包括状态数量最多的连接路径；

连接模块，用于确定位于所述选择的连接路径之外的每个第二状态，根据该每个第二状态与该选择的连接路径中每个状态的连接关系，将该每个第二状态连接到所述选择的连接路径上，其中，第二状态是有限状态机中不包含在所述选择的连接路径内的部分状态；

生成模块，包括用于根据所述选择的连接路径上初始状态与第一状态之间的状态的输入跳转条件，确定第一组测试序列的第一生成单元，以及用于根据连接在所述选择的连接路径上的每个第二状态的输入跳转条件，确定第二组测试序列的第二生成单元。