[发明专利]网络调度策略的评估方法、框架、装置及电子设备

权利要求书

1.一种网络调度策略的评估方法，其特征在于，包括：

基于统计模型检验理论建立软件定义网络SDN的时间自动机网络模型，所述时间自动机网络模型的设计约束为验证属性；

根据所述SDN的网络调度策略，对所述时间自动机网络模型进行模拟运行，生成模拟运行结果；

根据所述验证属性对所述模拟运行结果进行处理，生成所述网络调度策略的统计数据；

利用所述统计数据，对所述网络调度策略进行分析评估。

2.根据权利要求1所述的方法，其特征在于，所述SDN包括控制器、主机、交换机和监测器；所述基于统计模型检验理论建立软件定义网络SDN的时间自动机网络模型，包括：

基于统计模型检验理论，分别建立所述控制器的第一时间自动机模型、所述主机的第二时间自动机模型、所述交换机的第三时间自动机模型以及所述监测器的第四时间自动机模型，组成时间自动机网络模型；

所述时间自动机网络模型中的各时间自动机模型之间通过广播信道通信，同时共享全局时钟，并且各时间自动机模型可以读取共享变量。

3.根据权利要求2所述的方法，其特征在于，所述第一时间自动机模型包括第一空闲状态和第一决策状态，所述第一时间自动机模型用于：

当所述控制器接收到所述主机或所述交换机的路由规则请求时，所述控制器根据所述网络调度策略，生成路由规则，并从所述第一空闲状态进入所述第一决策状态；

在所述第一决策状态下，所述控制器将所述路由规则发送至请求路由规则的所述主机或所述交换机，并跳转到所述第一空闲状态。

4.根据权利要求2所述的方法，其特征在于，所述第二时间自动机模型包括第一起始状态、第二空闲状态和第二决策状态，所述第二时间自动机模型用于：

对所述主机进行参数初始化，生成第一时间，并将所述主机从所述第一起始状态跳转到所述第二空闲状态；

在所述主机的时钟到达所述第一时间时，生成数据包并跳转到所述第二决策状态，在所述第二决策状态下，判断所述数据包的目的地址是否在所述主机的地址信息表中；

若所述目的地址在所述主机的地址信息表中，则向所述目的地址发送所述数据包，并生成第二时间，进入所述第二空闲状态。

5.根据权利要求4所述的方法，其特征在于，所述第二时间自动机模型还包括第一等待状态，所述第二时间自动机模型还用于：

若所述数据包的目的地址不在所述主机的地址信息表中，则所述主机向所述控制器发送路由规则请求，并进入所述第一等待状态；

所述主机在所述第一等待状态下，等待接收所述控制器发送的路由规则，所述路由规则中包括所述数据包的目的地址。

6.根据权利要求5所述的方法，其特征在于，

若所述主机接收到所述控制器发送的所述路由规则，则更新所述主机的地址信息表，并进入所述第二决策状态。

7.根据权利要求4所述的方法，其特征在于，所述第二时间自动机模型还包括第三决策状态，所述第二时间自动机模型还用于：

在所述第二空闲状态下，所述主机接收所述数据包，并跳转到所述第三决策状态，所述主机在所述第三决策状态下处理所述数据包，并广播通知消息至所述监测器。

8.根据权利要求2所述的方法，其特征在于，所述第三时间自动机模型包括第二起始状态、第三空闲状态和第四决策状态；所述第三时间自动机模型用于：

在所述第二起始状态下初始化交换机参数，并使所述交换机跳转到所述第三空闲状态；

所述交换机在所述第三空闲状态下接收所述数据包并进入所述第四决策状态；

所述交换机在所述第四决策状态下判断所述数据包的目的地址是否在所述交换机的地址信息表中；

若所述目的地址在所述交换机的地址信息表中，所述交换机向所述目的地址转发所述数据包，并回到所述第三空闲状态，等待下一个数据包。