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

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

【技术实现步骤摘要】

本专利技术涉及计算机
，尤其涉及一种基于有限状态机的网络通信协 议测试序列生成方法及装置。
技术介绍
网络通信协议是网络设备之间在进行信息传递，以及信息管理时需要遵守的规则，常见的网络通信协议包括TCP/IP协议、IPX/SPX协议、NetBEUI 协议等。网络通信协议可以通过文本来描述，也可以通过基于图表的有限状态 机(FSM)来表示。在进行网络通信的过程中，网络设备之间需要遵循网络通信协议才能进行 数据的交互。但在实际过程中，并不确定网络设备之间是能够正确的遵循该网 络通信协议，因此，需要对网络设备进行一致性测试。并且可以采用基于有限 状态机的一致性测试，即通过有限状态机生成测试序列，根据该测试序列对网 络设备进行一致性测试。有限状态机包括一组状态，其中该一组状态中包括一个初始状态，每个状 态在输入的激励信号下，实现该状态的动作并产生输出信号，例如将某变量设 置为特定值或调用某函数进行特定输出，该输出信号即为下 一状态的输入信 号。通常只有满足每个状态的特定事件发生后才会进行状态的跳转。下面以802.1x为例说明网络通信协议中的有限状态机，以及基于有限状态机 的一致性测试的主要内容。图l为802.1x协议中客户端supplciant状态机，在该 supplciant状态机中包括7个有限的状态，其中每个方格表示一个状态，方格的上 半部为状态名称，下半部为跳转该状态后所做的操作。该7个状态分别为静默 (HELD)状态、未连接(DISCONNETTED)状态、连接(CONNECTING)状态、认证(AUTHENTIC ANTED )状态、队列等待(ACQUIRED)状态、下线 (LOGOFF)状态、认证(AUTHENTICATING)状态。其中DISCONNECTED状 态为初始状态。在该图1中指向每个状态的箭头上方标注的文字为跳转到该状态的 条件，从每个状态引出的箭头上标注的文字为跳转到下一状态的条件。图2A为HELD状态的示意图，在该图2A跳转到HELD状态的条件，以 下称为输入跳转条件，包括收到eapfail报文并且非初始或端口不可用状态， 不是用户主动下线或^皮动下线(eapfail&&(! intialze|| ! por- tenable)&& ! userloggoff&&! logoffsent )。 一个指向该状态的箭头就代表一个输入跳转条件。 跳转到该HELD状态后所做的操作包括将变量heldWhile、eapfail、eapsuccess、 suppstatus分别设置为等号右边的值，即使heldWhile = heldPeriod ， suppstatus=unauthorized, eapfail = false, eapsu- -ccess=false。 由该状态跳转到 下一状态的条件，以下称为输出条件，包括进入HELD状态超时(heldwhile: =0)和reqid,当heldwhile= =0时，跳转到CONNECTING状态，当收到reqid 时，跳转到ACQUIRED状态。两个由该状态指出的箭头就代表有两个输出条 件。在基于有限状态机对网络设备进行一致性测试时，需要对网络通信系统进 行测试，确定该网络通信系统中的网络设备之间的通信过程，是否与状态机定 义的协议一致，例如有限状态机A为网络通信系统B需要遵循的网络通信协 议，或者说根据该进行测试的网络通信系统B能够自动导出有限状态机A,对 于A与B之间的 一致性测试，其主要内容包括1、 A中的所有状态，在B中是否能够全部实现；2、 对于A中每个状态的输入跳转条件，在B中该相应状态的跳转是否符 合A的要求；3、 对于A中每个状态的输入跳转条件，在B中该相应的状态跳转后所产 生的输出是否符合A的要求。目前，基于状态机的网络通信协议一致性测试序列的生成方法暂时还没7有，并且由于有限状态机中各状态之间的跳转错综复杂，如单单CONNECTING 状态就有5个输入跳转条件和3个输出条件，因此如何简化有限状态机中各状 态之间的跳转关系，并针对第2条的测试生成有效的测试序列就显得尤为困难。
技术实现思路
有鉴于此，本专利技术实施例提供一种基于有限状态机的网络通信协议测试序 列生成方法及装置，用以提供一种有效的简化有限状态机中各状态之间跳转关 系，并提供一种一致性测试的测试序列步骤化的生成方法。本专利技术实施例提供的一种基于有限状态机的网络通信协议测试序列生成 方法，包4#:根据有限状态机中的初始状态，及各状态之间的连接关系，确定有限状态 机中初始状态与每个第一状态之间对应的每条连接路径，其中每条连接路径中 包括至少两个状态；根据所述每条连接路径中初始状态及第一状态之间包括的状态的数量，选 择包括状态数量最多的连接路径；确定位于所述选择的连接路径之外的每个第二状态，根据该每个第二状态 与该选择的连接路径中每个状态的连接关系，将该每个第二状态连接到所述选 择的连接路径上；根据所述选择的连接路径上的每个状态的输入跳转条件，及所述选择的连 接路径中每个状态之间的连接关系，生成对应所述选择的连接路径的测试序 列。本专利技术实施例提供的一种基于有限状态机的网络通信协议测试序列生成 装置，包括连接路径确定模块，用于根据有限状态机中的初始状态，及各状态之间的 连接关系，确定有限状态机中初始状态与每个第一状态之间对应的每条连接路 径，其中每条连接路径中包括至少两个状态；选择模块，用于才艮据所述每条连接路径中初始状态及第一状态之间包括的状态的数量，选择包括状态数量最多的连接路径；连接模块，用于确定位于所述选择的连接路径之外的每个第二状态，根据 该每个第二状态与该选择的连接路径中每个状态的连接关系，将该每个第二状态连接到所述选择的连接路径上；生成模块，用于根据所述选择的连接路径上的每个状态的输入跳转条件， 及所述选择的连接路径中每个状态之间的连接关系，生成对应所述选择的连接 路径的测试序列。本专利技术实施例提供了 一种基于有限状态机的网络通信协议测试序列生成 方法及装置，该方法中确定该有限状态机中初始状态与每个第一状态之间的连 接路径，选择包含状态最多的连接路径，并将该选择的连接路径之外的第二状 态连接到该连接路径上，从而实现了对有限状态机中各状态的跳转关系的筒 化，根据该选择的连接路径上每个状态的输入跳转条件，生成对应该选择的连 接路径的测试序列，本专利技术实施例将网络通信协议的一致性测试序列的生成步 骤化，根据上述提供的各个步骤，生成测试序列，从而提高了网络通信协议一 致性测试的测试效率。附图说明图1为802.1x协议中客户端supplciant状态机； 图2A为HELD状态的示意图2B为本专利技术实施例提供的基于有限状态机的网络通信协议测试序列的 生成过程；图3为本专利技术实施例提供的依据图1对各状态之间的连接关系的图表表示 方式；图4为本专利技术实施例提供的将第二状态连接到第四连接路径上的第四连接 路径结构示意9图5为本专利技术实施例提供的第二状态与连接路径的连接结构示意图； 图6为本专利技术实施例提供的基于有限状态机的网络通信协议测试序列生成 的装置结构示意图。具体实施例方式在基于有限状态机的网络通信协议的测试过程中，当有限本文档来自技高网...

【技术保护点】
一种基于有限状态机的网络通信协议测试序列生成方法，其特征在于，包括：根据有限状态机中的初始状态，及各状态之间的连接关系，确定有限状态机中初始状态与每个第一状态之间对应的每条连接路径，其中每条连接路径中包括至少两个状态；根据所述每条连接路径中初始状态及第一状态之间包括的状态的数量，选择包括状态数量最多的连接路径；确定位于所述选择的连接路径之外的每个第二状态，根据该每个第二状态与所述选择的连接路径中每个状态的连接关系，将该每个第二状态连接到所述选择的连接路径上；根据所述选择的连接路径上的每个状态的输入跳转条件，及所述选择的连接路径中每个状态之间的连接关系，生成对应所述选择的连接路径的测试序列。

【技术特征摘要】
1、一种基于有限状态机的网络通信协议测试序列生成方法，其特征在于，包括根据有限状态机中的初始状态，及各状态之间的连接关系，确定有限状态机中初始状态与每个第一状态之间对应的每条连接路径，其中每条连接路径中包括至少两个状态；根据所述每条连接路径中初始状态及第一状态之间包括的状态的数量，选择包括状态数量最多的连接路径；确定位于所述选择的连接路径之外的每个第二状态，根据该每个第二状态与所述选择的连接路径中每个状态的连接关系，将该每个第二状态连接到所述选择的连接路径上；根据所述选择的连接路径上的每个状态的输入跳转条件，及所述选择的连接路径中每个状态之间的连接关系，生成对应所述选择的连接路径的测试序列。2、 如权利要求1所述的方法，其特征在于，所述确定有限状态机中初始 状态与每个第 一状态之间对应的每条连接路径包括根据各状态之间的连接关系，及各状态的输入跳转条件和输出条件，确定 每个状态是否为连接;洛径上的第 一状态；根据确定的第一状态，确定初始状态到该第一状态的连接路径。3、 如权利要求2所述的方法，其特征在于，所述确定每个状态是否为连 接路径上的第一状态包括当判断该状态的输出条件为其自身的输入跳转条件时，则判断该状态为对 应该输出条件的连接路径上的第一状态；或，当状态的输出条件为与其连接的另 一状态的输入跳转条件，并且该另 一状 态在该连接路径中进行过是否为第 一状态的判断时，则确定该状态为连接路径 上的第一状态；或，当状态不存在输出条件时，则判断该状态为连接路径上的第 一状态。4、 如权利要求1所述的方法，其特征在于，所述生成对应所述选择的连 接路径的测试序列包括根据所述选择的连接路径上初始状态与第一状态之间的状态的输入跳转 条件，确定第一组测试序列；并根据连接在所述选择的连接路径上的每个第二状态的输入跳转条件，确定 第二组测试序列。5、 如权利要求4所述的方法，其特征在于，所述确定第一组测试序列包括在所述选择的连接路径的初始状态和第一状态之间的任意状态中，判断每 个状态的每个输入跳转条件，是否为与其连接的状态输出条件，其中该与其连 接的状态为所述选择的连接路径中与该状态连接，且与初始状态位置临近的状态；当判断结果为是时，根据跳转到该与其连接的状态的每条路径，确定该状 态中对应该输入跳转条件的跳转到该状态的路径，否则，根据该状态的该输入跳转条件，确定跳转到该状态的路径； 根据跳转到第 一状态的每条路径，生成对应的第 一组测试序列。6、 如权利要求4所述的方法，其特征在于，所述确定第...

【专利技术属性】
技术研发人员：薛素芬，
申请(专利权)人：福建星网锐捷网络有限公司，
类型：发明
国别省市：35[中国|福建]