AssertGPT: LLM-driven assertion generation for programmable networks verification

Ying Yao

doi:10.1016/j.comcom.2026.108508

AssertGPT: LLM-driven assertion generation for programmable networks verification

2026-03-31

0

PRE

AI

DOI：10.1016/j.comcom.2026.108508

原文链接

原文求助

摘要

En 中文

可编程网络的动态性和复杂性需要严格的验证，以确保其实际运行行为与预期设计规范一致，防止昂贵的误配置、性能瓶颈和安全漏洞。基于断言的验证（ABV）对于实现这一目标至关重要。然而，当前的ABV工作依赖于手动断言生成，这延长了验证周期，并因其劳动密集性引入了部署障碍，限制了其在实际实施中的可扩展性。尽管大型语言模型（LLMs）凭借其出色的自然语言理解能力，在自动化工程任务方面展现出变革性潜力，但它们在网络验证中的应用仍处于探索阶段。

Keyword:

programmable networks

assertion-based verification

large language models

network verification

automated assertion generation

AssertGPT: LLM-driven assertion generation for programmable networks verification

摘要

期刊

机构

引用论文