基于LLM和RAG的5G安全需求提取及断言生成技术

本发明涉及一种基于LLM和RAG的5G安全需求提取及断言生成技术，其结构如下：一、规范文档预处理模块，将3GPP规范文档按安全过程层级拆分，映射至对应标签，解决知识碎片化问题；二、RAG知识库构建模块，用RAGF low工具解析文档切片，划分为文本块，通过嵌入模型向量化存入数据库，采用分层索引实现高效检索；三、LLM语义理解与断言生成模块，基于DeepSeek模型，结合提示词框架、知识库与信令字母表，将自然语言需求转化为逻辑表达式；四、断言后处理模块，对LTL断言进行语法检查、规范符合性验证、简化及逻辑冲突检测。该技术实现了安全需求自动化提取及断言生成，提升了效率与准确率，覆盖多方面安全需求，为5G终端协议安全测试提供了可靠方案。