文件名称：nice:NICE SDN测试工具
文件大小：4.71MB
文件格式：ZIP
更新时间：2024-06-06 13:24:18
Python
好的 测试OpenFlow控制器应用程序的一种NICE方法 NICE是通过模型检查和符号执行的组合来测试用于NOX控制器平台的OpenFlow控制器应用程序的工具。 具有OpenFlow功能的交换机的出现带来了令人兴奋的新网络功能，但存在编程错误的风险，这些错误使通信不那么可靠。 由单个控制器程序管理网络的集中式编程模型似乎减少了发生错误的可能性。 但是，系统具有固有的分布式和异步性，事件发生在不同的交换机和终端主机上，不可避免的延迟会影响与控制器的通信。 在本文中，我们提出了有效，系统的技术来测试未修改的控制器程序。 我们的NICE工具应用模型检查来探索整个系统（控制器，交换机和主机）的状态空间。 考虑到数据包的多样性，大型系统状态以及许多可能的事件顺序，可伸缩性是主要挑战。 为了解决这个问题，我们提出了一种新颖的方法来通过事件处理程序的符号执行来增强模型检查（以识别在控制器上执行代码