技术特征：
1.一种网络调度策略的评估方法，其特征在于，包括：基于统计模型检验理论建立软件定义网络sdn的时间自动机网络模型，所述时间自动机网络模型的设计约束为验证属性；根据所述sdn的网络调度策略，对所述时间自动机网络模型进行模拟运行，生成模拟运行结果；根据所述验证属性对所述模拟运行结果进行处理，生成所述网络调度策略的统计数据；利用所述统计数据，对所述网络调度策略进行分析评估。2.根据权利要求1所述的方法，其特征在于，所述sdn包括控制器、主机、交换机和监测器；所述基于统计模型检验理论建立软件定义网络sdn的时间自动机网络模型，包括：基于统计模型检验理论，分别建立所述控制器的第一时间自动机模型、所述主机的第二时间自动机模型、所述交换机的第三时间自动机模型以及所述监测器的第四时间自动机模型，组成时间自动机网络模型；所述时间自动机网络模型中的各时间自动机模型之间通过广播信道通信，同时共享全局时钟，并且各时间自动机模型可以读取共享变量。3.根据权利要求2所述的方法，其特征在于，所述第一时间自动机模型包括第一空闲状态和第一决策状态，所述第一时间自动机模型用于：当所述控制器接收到所述主机或所述交换机的路由规则请求时，所述控制器根据所述网络调度策略，生成路由规则，并从所述第一空闲状态进入所述第一决策状态；在所述第一决策状态下，所述控制器将所述路由规则发送至请求路由规则的所述主机或所述交换机，并跳转到所述第一空闲状态。4.根据权利要求2所述的方法，其特征在于，所述第二时间自动机模型包括第一起始状态、第二空闲状态和第二决策状态，所述第二时间自动机模型用于：对所述主机进行参数初始化，生成第一时间，并将所述主机从所述第一起始状态跳转到所述第二空闲状态；在所述主机的时钟到达所述第一时间时，生成数据包并跳转到所述第二决策状态，在所述第二决策状态下，判断所述数据包的目的地址是否在所述主机的地址信息表中；若所述目的地址在所述主机的地址信息表中，则向所述目的地址发送所述数据包，并生成第二时间，进入所述第二空闲状态。5.根据权利要求4所述的方法，其特征在于，所述第二时间自动机模型还包括第一等待状态，所述第二时间自动机模型还用于：若所述数据包的目的地址不在所述主机的地址信息表中，则所述主机向所述控制器发送路由规则请求，并进入所述第一等待状态；所述主机在所述第一等待状态下，等待接收所述控制器发送的路由规则，所述路由规则中包括所述数据包的目的地址。6.根据权利要求5所述的方法，其特征在于，若所述主机接收到所述控制器发送的所述路由规则，则更新所述主机的地址信息表，并进入所述第二决策状态。7.根据权利要求4所述的方法，其特征在于，所述第二时间自动机模型还包括第三决策
状态，所述第二时间自动机模型还用于：在所述第二空闲状态下，所述主机接收所述数据包，并跳转到所述第三决策状态，所述主机在所述第三决策状态下处理所述数据包，并广播通知消息至所述监测器。8.根据权利要求2所述的方法，其特征在于，所述第三时间自动机模型包括第二起始状态、第三空闲状态和第四决策状态；所述第三时间自动机模型用于：在所述第二起始状态下初始化交换机参数，并使所述交换机跳转到所述第三空闲状态；所述交换机在所述第三空闲状态下接收所述数据包并进入所述第四决策状态；所述交换机在所述第四决策状态下判断所述数据包的目的地址是否在所述交换机的地址信息表中；若所述目的地址在所述交换机的地址信息表中，所述交换机向所述目的地址转发所述数据包，并回到所述第三空闲状态，等待下一个数据包。9.根据权利要求8所述的方法，其特征在于，所述第三时间自动机模型还包括第二等待状态，所述第三时间自动机模型还用于：若所述数据包的目的地址不在所述交换机的地址信息表中，则所述交换机向所述控制器发送路由规则请求，并进入所述第二等待状态，所述交换机在所述第二等待状态下，等待接收所述控制器发送的路由规则，所述路由规则中包括所述数据包的目的地址。10.根据权利要求9所述的方法，其特征在于，若所述交换机接收到所述控制器发送的所述路由规则，则更新所述交换机的地址信息表，并进入所述第四决策状态。11.根据权利要求2所述的方法，其特征在于，所述第四时间自动机模型用于：通过所述监测器接收所述主机广播的通知消息，并在接收到所述通知消息后，统计所述sdn的所述模拟运行结果。12.根据权利要求1-11任一项所述的方法，其特征在于，所述验证属性为：在时间t1内，吞吐量达到t1个单位的概率p1；或者，在吞吐量达到t2个单位时，时间不大于t2的概率p2。13.根据权利要求12所述的方法，其特征在于，所述模拟运行结果包括所述sdn在时间t1内的吞吐量，或者，所述sdn在吞吐量为t2个单位时的时间。14.一种网络调度策略的评估框架，其特征在于，包括：sdn的时间自动机网络模型、uppaal-统计模型检验smc和数据处理模块，所述时间自动机网络模型的设计约束为验证属性，所述时间自动机模型用于根据所述sdn的网络调度策略模拟运行，生成模拟运行结果；所述uppaal-smc用于根据所述验证属性对所述模拟运行结果进行处理，生成所述网络调度策略的统计数据；所述数据处理模块用于利用所述统计数据，对所述网络调度策略进行分析评估。15.一种网络调度策略的评估装置，其特征在于，包括：建立模块，用于基于统计模型检验理论建立软件定义网络sdn的时间自动机网络模型，所述时间自动机网络模型的设计约束为验证属性；运行模块，用于根据所述sdn的网络调度策略，对所述时间自动机网络模型进行模拟运行，生成模拟运行结果；
生成模块，用于根据所述验证属性对所述模拟运行结果进行处理，生成所述网络调度策略的统计数据；评估模块，用于利用所述统计数据，对所述网络调度策略进行分析评估。16.一种电子设备，其特征在于，包括：处理器，以及与所述处理器通信连接的存储器；所述存储器存储计算机执行指令；所述处理器执行所述存储器存储的计算机执行指令，以实现如权利要求1至13中任一项所述的网络调度策略的评估方法。17.一种计算机可读存储介质，其特征在于，所述计算机可读存储介质中存储有计算机执行指令，所述计算机执行指令被处理器执行时用于实现如权利要求1至13中任一项所述的网络调度策略的评估方法。18.一种计算机程序产品，其特征在于，包括计算机执行指令，该计算机执行指令被处理器执行时实现权利要求1至13中任一项所述的网络调度策略的评估方法。
技术总结
本申请提供一种网络调度策略的评估方法、框架、装置及电子设备，该方法包括：基于统计模型检验理论建立软件定义网络SDN的时间自动机网络模型，时间自动机网络模型的设计约束为验证属性；根据SDN的网络调度策略，对时间自动机网络模型进行模拟运行，生成模拟运行结果；根据验证属性对模拟运行结果进行处理，生成网络调度策略的统计数据；利用统计数据，对网络调度策略进行分析评估。实现了对SDN的网络调度策略进行有效的定量分析评估。策略进行有效的定量分析评估。策略进行有效的定量分析评估。
技术研发人员：顾璠 江旻 杨杨 徐为恺
受保护的技术使用者：深圳前海微众银行股份有限公司
技术研发日：2021.12.02
技术公布日：2022/3/15