首页 专利交易 科技果 科技人才 科技服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

【发明公布】用于源代码中的循环体结构的迭代次数的方法及装置_支付宝(杭州)信息技术有限公司_202410143479.8 

申请/专利权人:支付宝(杭州)信息技术有限公司

申请日:2024-02-01

公开(公告)日:2024-04-30

公开(公告)号:CN117951025A

主分类号:G06F11/36

分类号:G06F11/36;G06F9/448;G06F9/32

优先权:

专利状态码:在审-实质审查的生效

法律状态:2024.05.17#实质审查的生效;2024.04.30#公开

摘要:本说明书实施例提供了用于确定程序形式化验证时的源代码中的循环体结构的迭代次数的方法及装置。在该方法中,将源代码提供给迭代次数预测模型来预测源代码中的循环体结构的迭代次数以及迭代次数预测的推理逻辑;对推理逻辑进行逻辑推理正确性校验;以及响应于逻辑推理正确性校验成功,将所预测出的循环体结构的迭代次数确定为针对源代码的程序形式化验证时的循环体结构的迭代次数。

主权项:1.一种用于确定程序形式化验证时的源代码中的循环体结构的迭代次数的方法,包括:将源代码提供给迭代次数预测模型来预测所述源代码中的循环体结构的迭代次数以及迭代次数预测的推理逻辑;对所述推理逻辑进行逻辑推理正确性校验;以及响应于所述逻辑推理正确性校验成功,将所预测出的循环体结构的迭代次数确定为针对所述源代码的程序形式化验证时的所述循环体结构的迭代次数。

全文数据:

权利要求:

百度查询: 支付宝(杭州)信息技术有限公司 用于源代码中的循环体结构的迭代次数的方法及装置

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。