论文部分内容阅读
防火墙是设置在被保护网络和外部网络之间的一道屏障。网络通信需要防火墙根据特定安全策略下进行监控和过滤。防火墙是否有效起到防护作用需要通过防火墙实现和安全策略配置的一致性测试。本文提出了一种改进的防火墙一致性测试方法,引入策略分段的思想,对非原子策略规则有选择的产生测试例,缩减了网络地址空间,将指数级测试例数目O(2101rpmn2)降低为多项式级O(Mpmn2),减少了产生的测试例的数量,有效提高了测试效率。