买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉成都信息工程大学申请的专利一种基于LLM与SMT求解器的测试用例生成方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120492357B 。

龙图腾网通过国家知识产权局官网在2025-09-12发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510940877.7，技术领域涉及：G06F11/3668；该发明授权一种基于LLM与SMT求解器的测试用例生成方法是由白崧言;高琳;李飞设计研发完成，并于2025-07-09向国家知识产权局提交的专利申请。

本一种基于LLM与SMT求解器的测试用例生成方法在说明书摘要公布了：本发明涉及软件测试技术领域，公开了一种基于LLM与SMT求解器的测试用例生成方法，通过以搜索型测试为核心驱动，在出现覆盖停滞时，借助LLM对执行路径进行语义分析，并生成描述目标路径条件的逻辑表达式，考虑到LLM在逻辑推理上的局限性，系统进一步引入SMT解器对LLM输出的逻辑表达式进行校验与推理，最终生成可行的测试输入，提升测试效率与覆盖率。整个过程形成一个语义理解与逻辑求解协同的闭环优化流程该方法不仅提升了路径覆盖的效率与精度，还具备良好的适配性与通用性，适用于多种语言和复杂程序结构，有效提高了自动化测试的智能化水平与工程实用价值。有效缓解了大语言模型在复杂路径约束推理中的准确性不足问题。

本发明授权一种基于LLM与SMT求解器的测试用例生成方法在权利要求书中公布了：1.一种基于LLM与SMT求解器的测试用例生成方法，其特征在于，所述方法包括以下步骤： S1：在利用SBST生成测试用例的过程中，当系统在每一轮测试用例执行完成后，执行覆盖停滞检测； S2：根据覆盖停滞检测结果中的未覆盖分支，执行静态路径分析，结合CFG和广度优先算法，搜索从程序开始节点到未覆盖分支的最短路径，捕捉路径构造过程中的分支关联信息； S3：利用LLM，基于所述最短路径的路径信息和所述分支关联信息封装的结构化输入，生成能够触发最短路径对应分支的SMT-LIB表达式； S4：利用SMT求解器对LLM输出的SMT-LIB表达式进行求解，根据求解结果，生成新的测试用例； 其中，步骤S4，具体包括： S41：利用SMT求解器对LLM输出的SMT-LIB表达式进行求解，校验SMT-LIB表达式是否可满足，若是，返回SMT-LIB表达式中的具体变量赋值作为测试数据，利用所述测试数据生成新的测试用例； S42：若否，返回步骤S3，利用LLM对生成的SMT-LIB表达式进行优化，重新利用SMT求解器对LLM输出的SMT-LIB表达式进行求解； 其中，步骤S42，具体包括： S421：当SMT-LIB表达式在SMT求解器中运行报错时，将错误信息作为反馈返回给LLM，以使LLM对生成SMT-LIB表达式进行优化，修复SMT-LIB表达式中的格式错误、未声明变量或逻辑冲突； S422：重新利用SMT求解器对LLM输出的SMT-LIB表达式进行求解； S423：当SMT在SMT求解器中运行正常但生成的测试用例未能触达目标分支时，基于当前的SMT-LIB表达式与路径覆盖信息以及SMT求解器返回的变量赋值结果，生成用于指导LLM优化SMT-LIB表达式的结构化输入； S434：利用LLM基于所述结构化输入针对未能触达目标分支对生成的SMT-LIB表达式进行优化，重新利用SMT求解器对LLM输出的SMT-LIB表达式进行求解。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人成都信息工程大学，其通讯地址为：610225 四川省成都市西南航空港经济开发区学府路1段24号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。