一种大语言模型增强的功能测试用例自动生成方法及装置

本发明公开一种大语言模型增强的功能测试用例自动生成方法及装置，该方法步骤包括：步骤S1.对被测试程序进行符号执行，生成测试用例；步骤S2.对被测试程序的自然语言描述的功能需求进行功能划分，生成对应的子功能描述和形式化规约；步骤S3.将生成的测试用例和划分的形式化规约进行匹配，如果匹配成功则为测试用例自动生成功能标注，如果匹配不成功则转入步骤S4；步骤S4.使用大语言模型对匹配不成功的目标测试用例进行增强，以生成用例对应的子功能的功能描述和形式化规约，以及对目标形式化规约进行增强以生成对应的测试用例。本发明能够提升规约与多样化测试用例之间的兼容性和适应性，同时提升测试的自动化程度和测试效率。