一种程序的终止性判断方法、系统、设备及介质

AITNT
正文
推荐专利
一种程序的终止性判断方法、系统、设备及介质
申请号:CN202510020290
申请日期:2025-01-07
公开号:CN119415407B
公开日期:2025-04-01
类型:发明专利
摘要
本公开涉及计算机技术领域,提供了一种程序的终止性判断方法、系统、设备及介质,所述方法包括:获取程序代码后,进行语法解析,基于语法节点构建抽象语法树;在抽象语法树中,基于表达式或语句的依赖关系,在语法节点间构建单向边;对于语法为循环含义的语法节点A,在语法节点A与其循环体中的子语法节点间建立回边;进而得到有向抽象语法树图;将有向的抽象语法树编码为特征图,输入图注意力网络,输出第一向量;将特征图的邻接矩阵输入卷积神经网络,输出第二向量;对两个向量加权求和并归一化,得出非终止概率估计结果。该方法能够有效识别程序中的循环结构,提升对终止性的判断准确度。
技术关键词
性判断方法 节点 抽象语法树 语句 程序 注意力 ResNet网络 编码器 表达式 计算机存储介质 数据获取模块 判断系统 处理器通信 指令 语义 关系 存储器
系统为您推荐了相关专利信息
1
一种基于视觉定位矩阵的集群规模扩展方法
规模扩展方法 视觉设备 集群 双通道传输架构 重构矩阵
2
数据处理方法、装置、设备和存储介质
数据处理方法 分块 数值 有效值 正态分布模型
3
机器人复合抓手
机器人复合抓手 铁桶 夹爪机构 夹爪气缸 控制电磁阀
4
一种同一变压器不同能管平台储能柜协同运行方法
中央协调控制器 协同运行方法 储能柜 状态空间模型 平台
5
异常取现交易的识别方法及装置、电子设备、存储介质
识别方法 资金 异常信号 账户关联信息 嵌入特征
添加客服微信openai178,进AITNT官方交流群
驱动智慧未来:提供一站式AI转型解决方案
沪ICP备2023015588号