一种大模型辅助的自动化程序验证方法与系统

AITNT
正文
推荐专利
一种大模型辅助的自动化程序验证方法与系统
申请号:CN202510894855
申请日期:2025-06-30
公开号:CN120909897A
公开日期:2025-11-07
类型:发明专利
摘要
本发明公开了一种大模型辅助的自动化程序验证方法与系统,本发明方法包括针对待验证程序执行数据规模关联性分析以判断是否能够数据规模优化,如果能够数据规模优化则执行数据规模优化、使用验证工具对优化结果进行验证;针对待验证程序执行缺陷分析以判断是否存在缺陷,如果存在缺陷,则根据对应的缺陷,生成反例对反例进行验证;否则使用验证工具进行验证,且在方法执行的过程中,数据规模优化与缺陷分析均借助大模型辅助分析。本发明使用了大模型辅助进行数据规模优化与缺陷分析,旨在减少验证过程中的计算资源消耗,缩短验证时间,提升验证的准确度,尤其是提升复杂的程序验证的效率。
技术关键词
程序验证方法 规模 缺陷分析 数据 变量 程序验证系统 动态内存分配 逻辑 微处理器 可读存储介质 计算机程序产品 编程 语义特征 源程序 自然语言 指令 数值
系统为您推荐了相关专利信息
1
一种抗干扰的EDR信号提取呼吸率的方法及算法电路
算法电路 信号 运动强度检测 加法器 间距
2
一种页岩油储层地质和工程双甜点量化评价方法及系统
量化评价方法 剪切模量 储层地质 甜点 页岩油
3
一种天线移相器表面缺陷检测方法及系统
天线移相器 表面缺陷检测方法 热阻 红外热像仪 预警模型
4
一种水轮机调速器的频率振荡诊断方法
水轮机调速器 诊断方法 频率 时间序列模型 功率传感器
5
交叉验证的调度模型性能评估方法及系统
性能指标信息 性能评估方法 数据 性能评估系统 参数优化算法
添加客服微信openai178,进AITNT官方交流群
驱动智慧未来:提供一站式AI转型解决方案
沪ICP备2023015588号