1.一种网络策略校验系统，其特征在于，包括输入端、网络策略校验单元和输出端；所述输入端，用于输入网络拓扑、网络策略及待验证的约束；所述网络策略校验单元，用于接收所述网络拓扑、网络策略及待验证的约束，并基于获取的网络设备的配置文件输出网络校验结果；所述输出端，用于输出约束满足信息、错误定位信息和/或错误修复建议；网络策略校验单元包括输入解析模块、包头表达模块、策略表达模块、操作行为表达模块和约束校验模块；所述输入解析模块，用于基于获取的网络设备的配置文件得到标准化的网络策略表达；所述包头表达模块，用于存储表达和记录包头的数据结构；所述策略表达模块，用于接收所述标准化的网络策略表达，将表达和记录策略的类构建策略集并对策略集执行预处理函数；所述操作行为表达模块，用于基于执行预处理函数的策略集得到网络的操作行为描述抽象类的策略应用端口；所述约束校验模块，用于通过调用所述操作行为描述抽象类的策略应用端口得到网络校验结果；所述输入解析模块，具体用于通过预先定义的接口实现不同网络设备的配置文件解析类，并将不同厂商的网络设备配置转化为预先定义的标准化的数据结构并格式化输出文件，以得到标准化的网络策略表达；所述配置文件包括包头表达模式配置、策略粒度配置和转发函数配置；修改静态的所述配置文件适于不同的网络校验算法以满足网络策略校验工具的定制，包括：通过所述包头表达模式配置使得所述包头表达模块的抽象类接口实现新的包头表达类以完成包头表达模块的重构；通过所述策略粒度配置使得新的预处理函数插入到所述策略表达模块的指定位置以完成策略表达模块的预处理；通过所述转发函数配置使得所述操作行为表达模块的抽象类的接口实现新的操作行为表达抽象类。
2.一种网络策略校验方法，其特征在于，包括：获取网络拓扑、网络策略及待验证的约束；基于所述网络拓扑、网络策略、待验证的约束及网络设备的配置文件得到网络校验结果；基于所述网络校验结果得到约束满足信息、错误定位信息和/或错误修复建议；所述基于所述网络拓扑、网络策略、待验证的约束及网络设备的配置文件得到网络校验结果，包括：基于获取的网络设备的配置文件得到标准化的网络策略表达；接收所述标准化的网络策略表达，并基于存储表达和记录包头的数据结构将表达和记录策略的类构建策略集并对策略集执行预处理函数；基于执行预处理函数的策略集得到网络的操作行为描述抽象类的策略应用端口；通过调用所述操作行为描述抽象类的策略应用端口得到网络校验结果所述基于获取的网络设备的配置文件得到标准化的网络策略表达，包括：通过预先定义的接口实现不同网络设备的配置文件解析类，并将不同厂商的网络设备配置转化为预先定义的标准化的数据结构并格式化输出文件，以得到标准化的网络策略表达；所述配置文件包括包头表达模式配置、策略粒度配置和转发函数配置；修改静态的所述配置文件适于不同的网络校验算法以满足网络策略校验工具的定制，包括：通过所述包头表达模式配置使得包头表达模块的抽象类接口实现新的包头表达类以完成包头表达模块的重构；通过所述策略粒度配置使得新的预处理函数插入到策略表达模块的指定位置以完成策略表达模块的预处理；通过所述转发函数配置使得操作行为表达模块的抽象类的接口实现新的操作行为表达抽象类。
3.一种电子设备，包括存储器、处理器及存储在存储器上并可在处理器上运行的计算机程序，其特征在于，所述处理器执行所述程序时实现如权利要求2所述的网络策略校验方法的步骤。
4.一种非暂态计算机可读存储介质，其上存储有计算机程序，其特征在于，该计算机程序被处理器执行时实现如权利要求2所述的网络策略校验方法的步骤。
