基于大语言模型的测试预言自动生成方法与系统

本发明提供一种基于LLM的测试预言生成系统，属软件测试自动化领域。针对人工编写低效、LLM逻辑失真及时序验证缺失问题，采用检索增强（代码/缺陷/契约三元组约束）、置信度自检（三重评估）和状态序列建模（探针捕获动态轨迹）技术，实现高效、精准的预言生成。主要应用于金融、电商等系统测试，提升断言生成速度200倍，逻辑错误率降至7%，时序缺陷捕获率达82%。