基于自动机模型的IPv6邻居发现协议一致性测试：理论、方法与实践

一、引言

1.1研究背景与意义

随着互联网的迅猛发展，IPv4地址枯竭问题日益严峻，IPv6作为IPv4的后继版本应运而生。IPv6拥有更为广阔的地址空间，能够满足全球互联网用户爆发式增长的需求，同时在安全性和QoS保障能力等方面表现更为出色。如今，IPv6的应用已取得显著进展，全球IPv6用户数量大幅提升，在欧洲、美国和亚太地区，IPv6的采用率尤为突出，我国IPv6活跃用户也已达到7.94亿，在全体网民总数中的比例由2017年初的0.51%提高至72.70%。众多国家将IPv6