软件定义网络(SDN)为网络的管理提供了高度的可扩展性。随着网络规模的扩大,网络规则的频繁更新,SDN交换机需要频繁地在控制层和数据层之间切换,为交换机的正确性留下了隐患。SDN交换机正确性的关键是交换机中流表的正确性,本文在分析和研究了现有SDN交换机的正确性测试方法之后,发现有一种流表错误目前仍未解决。该错误是由交换机规则优先级导致的转发错误,当交换机上的规则发生优先级错误时,已有的测试方法均无法准确地检测。本文在该问题上提出了新的假设,扩大了正确性测试的覆盖度,解决了这个问题。其次,本文通过理论证明了正确性测试中的一个关键步骤(生成单个测试包)是一个NP难度的问题。在此基础上,提出了高效的正确性检测算法和故障定位算法来生成整个流表的测试数据集。实践表明,这些算法能够有效地减少数据包生成过程的复杂度。本文设计了实验系统和网络,通过包含了OpenFlow交换机,控制器及虚拟主机在内的测试系统,对检测算法的正确性进行了验证。并且,通过实验系统,本文很好地验证了本文设计的检测算法和故障定位算法的有效性和的性能。