申请/专利权人:上海华为技术有限公司
申请日:2022-11-30
公开(公告)日:2024-05-31
公开(公告)号:CN118113587A
主分类号:G06F11/36
分类号:G06F11/36
优先权:
专利状态码:在审-实质审查的生效
法律状态:2024.06.18#实质审查的生效;2024.05.31#公开
摘要:本申请公开了一种等价性验证方法及装置,用于辅助用户对不同版本的代码文件进行函数等价性验证,有利于降低人力成本。该方法包括:从不同版本的多个代码文件中收集多个函数的摘要信息,多个代码文件包括第一代码文件和第二代码文件,多个函数包括第一代码文件中的第一函数和第二代码文件中的第二函数,第一函数的摘要信息包括第一函数的每条可执行路径的信息;通过比较获取到的摘要信息确定多个函数的等价性验证结果,多个函数的等价性验证结果包括第一函数和第二函数之间的等价性验证结果。
主权项:1.一种等价性验证方法,其特征在于,包括:从不同版本的多个代码文件中收集多个函数的摘要信息,所述多个代码文件包括第一代码文件和第二代码文件,所述多个函数包括所述第一代码文件中的第一函数和所述第二代码文件中的第二函数,所述第一函数的摘要信息包括所述第一函数的每条可执行路径的信息;通过比较获取到的摘要信息确定所述多个函数的等价性验证结果,所述多个函数的等价性验证结果包括所述第一函数和所述第二函数之间的等价性验证结果。
全文数据:
权利要求:
百度查询: 上海华为技术有限公司 一种等价性验证方法及装置
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。