一种基于LLM与SMT求解器的测试用例生成方法

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