一种基于大语言模型和符号执行工具的定向测试用例生成方法

本发明属于软件工程相关技术领域，具体涉及一种基于大语言模型和符号执行工具的定向测试用例生成方法，包括：基于待测试程序P与测试目标代码分支T，生成提示词p，通过大语言模型生成测试用例i；采用i对P进行测试，若T被覆盖，则完成生成；否则，将当前测试中P的代码覆盖信息累计添加进入当前p，重新生成测试用例i并测试，当重新次数达到预设重试上限m时T仍未被覆盖，则将m个测试用例i作为输入模板，分别将各输入模板中的程序字面量修改为符号执行工具的符号化变量，构建符号执行工具的一个测试入口函数f；将f、P以及T同步输入符号执行工具，生成对应测试用例j，对P进行测试，完成测试用例生成。本发明能提升软件测试覆盖率。