网络变更的预校验方法是什么
变更预校验是在下发前用可判定手段发现错误，把「上线后才发现」尽量前移。常见手段有几类：语法与语义校验（配置能否被平台解析、引用对象是否存在）、模型化校验（用数据模型约束必填项与取值范围）、影响面推演（是否会切断管理通道、是否可能形成路由环路）、仿真或试点验证、以及容量与许可检查。预校验不追求百分之百覆盖，目标是把高风险错误在提交前拦住。
基本信息
| 校验类型 | 语法校验、语义与引用校验、影响面推演、仿真验证、容量与许可检查 |
|---|---|
| 执行时机 | 渲染完成后、下发之前 |
| 输出分类 | 阻断项与告警项 |
| 典型局限 | 无法覆盖运行期动态行为与环境差异 |
典型使用场景
- 拦截配置语法与关键字错误
- 检查引用对象（地址组、策略名、接口）是否存在
- 评估变更是否会切断管理通道
- 验证路由策略变更不会形成环路或黑洞
- 确认设备表项、会话与许可容量是否足够
预校验清单示意
预校验清单示意
# 按风险从高到低逐项校验
# 1) 语法与解析：配置能否被目标平台解析通过
# 2) 引用完整性：引用的对象、接口、策略是否已存在
# 3) 影响面：是否触及管理通道、路由、认证等关键面
# 4) 容量与许可：表项、会话、许可余量是否足够
# 5) 试点验证：在实验环境或单台设备先跑一遍
# 阻断项必须为零才允许下发，告警项需人工确认校验类型与覆盖边界
| 校验类型 | 能拦住的错误 | 覆盖不到的情况 |
|---|---|---|
| 语法校验 | 拼写、关键字与结构错误 | 语义自相矛盾的合法配置 |
| 引用校验 | 悬空引用与不存在的对象 | 引用的对象在后续变更中被删除 |
| 影响面推演 | 管理通道与转发中断 | 多因素交织的边界场景 |
| 仿真验证 | 大部分逻辑错误 | 仿真与生产环境的行为差异 |
预校验的价值取决于能否阻断：若结果只是打印出来而流程仍可继续，实际效果接近没有校验。建议把高风险规则设为阻断项，其余设为需要人工确认的告警项。
预校验无法覆盖动态行为与状态依赖，例如路由收敛过程、邻居超时、高负载下的表项表现。因此预校验通过不等于可以跳过分批推进与回滚准备。