龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
摘要：本发明涉及一种基于需求精化与一致性验证的代码生成方法，属于软件工程领域。包括：基于原始需求、知识库、提示词模板生成精化需求；基于精化需求、提示词模板生成模式设计，基于模式设计、知识库生成精化性质规约并对其进行语法及一致性验证；基于验证后的精化性质规约及其对应的精化需求生成原始代码，基于大语言模型对原始代码进行验证‑修改在环操作，迭代生成验证后的代码。该方法通过对原始需求进行精化及性质规约一致性验证，生成验证后的精化需求与精化性质规约，继而生成PLC代码，通过验证‑修改在环操作修复代码语法及功能错误，解决了目前PLC代码自动生成方法没有进行需求精化处理，导致生成的代码错误多、功能无法满足用户需求的问题。
主权项：1.一种基于需求精化与一致性验证的代码生成方法，其特征在于，所述方法包括以下步骤：构建用例设计知识库以及用例设计提示词模板，基于原始需求文档、用例设计知识库、用例设计提示词模板生成精化需求文档；构建性质规约知识库以及模式设计提示词模板，基于原始需求文档生成原始性质规约文档，基于精化需求文档、模式设计提示词模板生成模式设计文档，基于模式设计文档、性质规约知识库生成精化性质规约文档并对其进行语法验证以及原始性质规约文档与精化性质规约文档的一致性验证，得到验证后的精化性质规约文档及其对应的精化需求文档；基于验证后的精化性质规约文档及其对应的精化需求文档生成原始代码，判断原始代码语法与功能的正确性，若不正确则基于大语言模型对原始代码进行修改直到其代码语法与功能全部正确或达到最大修改次数，得到验证后的代码。
全文数据：
权利要求：
百度查询： 北京航空航天大学 一种基于需求精化与一致性验证的代码生成方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号