针对OpenFlow网络中流表配置错误引起的转发回路、路由黑洞和访问控制规则失效等问题，提出一种并行的基于MapReduce的OpenFlow网络属性验证算法。通过在map阶段划分规则等价类，在reduce阶段为规则等价类构建基于交换机端口谓词的网络转发图并分析可达性，实现对网络属性的并行验证。同时，通过采用原子谓词将传统可达性分析中的规则匹配域多维集合运算转换为整数集合运算，以进一步提高可达性分析效率；此外，基于原子谓词的谓词表达方式可消除交换机端口谓词集合中的冗余项，降低存储开销。最后，通过理论分析和仿真实验验证了算法的正确性及在时间和存储开销方面的优越性。