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

AITNT
正文
推荐专利
一种大模型辅助的自动化程序验证方法与系统
申请号:CN202510894855
申请日期:2025-06-30
公开号:CN120909897A
公开日期:2025-11-07
类型:发明专利
摘要
本发明公开了一种大模型辅助的自动化程序验证方法与系统,本发明方法包括针对待验证程序执行数据规模关联性分析以判断是否能够数据规模优化,如果能够数据规模优化则执行数据规模优化、使用验证工具对优化结果进行验证;针对待验证程序执行缺陷分析以判断是否存在缺陷,如果存在缺陷,则根据对应的缺陷,生成反例对反例进行验证;否则使用验证工具进行验证,且在方法执行的过程中,数据规模优化与缺陷分析均借助大模型辅助分析。本发明使用了大模型辅助进行数据规模优化与缺陷分析,旨在减少验证过程中的计算资源消耗,缩短验证时间,提升验证的准确度,尤其是提升复杂的程序验证的效率。
技术关键词
程序验证方法 规模 缺陷分析 数据 变量 程序验证系统 动态内存分配 逻辑 微处理器 可读存储介质 计算机程序产品 编程 语义特征 源程序 自然语言 指令 数值
系统为您推荐了相关专利信息
1
数字人引导的自助入住流程系统及方法
智能交互界面 声音采集模块 客房管理 自然语言 分析模块
2
基于深度学习的颞下颌关节偏斜确定方法及系统
关键特征点 面部 多模态图像配准 特征提取网络 深度神经网络
3
一种英语写作流自动评估系统
自动评估系统 主题关键词 语义关联度 语义向量 主题语义
4
一种呼吸患者康复评估系统
康复评估系统 特征值 人工智能模型 患者 随机森林模型
5
数据中心设备维护方法及装置
数据中心设备 历史故障数据 故障预测模型 历史运行数据 机房设备运维
添加客服微信openai178,进AITNT官方交流群
驱动智慧未来:提供一站式AI转型解决方案
沪ICP备2023015588号