恭喜浙江金网信息产业股份有限公司郭辉获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网恭喜浙江金网信息产业股份有限公司申请的专利一种面向信创平台的智能代码改写及其验证方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119025091B 。
龙图腾网通过国家知识产权局官网在2025-05-13发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202411505085.9,技术领域涉及:G06F8/30;该发明授权一种面向信创平台的智能代码改写及其验证方法是由郭辉;胡明光;裴高翔;沈铖涛;董明;姚拓中;叶宏武;李利杰设计研发完成,并于2024-10-28向国家知识产权局提交的专利申请。
本一种面向信创平台的智能代码改写及其验证方法在说明书摘要公布了:本发明公开了一种面向信创平台的智能代码改写及其验证方法,属于计算机代码编写技术领域,其包括对源代码进行标签标注;根据标签标注划分源代码功能模块,以使每个功能模块对应一个图像处理类型,并根据目标信创平台获取目标源代码模块;对目标图像处理类型的源代码模块进行代码解析,将解析后的代码输入到转换模型中,进行代码转换,生成对应的Java代码序列;对转换模型生成的Java代码序列进行静态验证,若静态验证通过,则根据目标图像处理类型进行自动化测试,直至输出可执行目标图像处理类型的Java代码。
本发明授权一种面向信创平台的智能代码改写及其验证方法在权利要求书中公布了:1.一种面向信创平台的智能代码改写及其验证方法,其特征在于,包括:对源代码进行标签标注,并利用自然语言处理技术提取代码注释和文档字符串中的文本信息进行辅助标签标注;根据标签标注划分源代码功能模块,以使每个功能模块对应一个图像处理类型,并根据目标信创平台获取目标图像处理类型的源代码模块;对目标图像处理类型的源代码模块进行代码解析,将解析后的代码输入到转换模型中,进行代码转换,以生成对应的Java代码序列;对转换模型生成的Java代码序列进行静态验证,若静态验证通过,则根据目标图像处理类型进行自动化测试,直至输出可执行目标图像处理类型的Java代码;所述代码转换的具体步骤包括:基于大模型构建转换模型,并根据目标图像处理类型构造损失函数,将源代码模块的输入序列输入至转换模型,通过转换模型将源代码编程语言转换为Java;进行代码重构与代码优化,优化代码结构和逻辑;所述损失函数的构造,包括:构造交叉熵损失,用于衡量预测结果与真实标签之间的差异,交叉熵损失计算公式如下:,其中,是代码节点数量,是类别数量,是真实标签,是转换模型预测的概率;构造代码编辑距离损失,用于衡量转换后的代码与原始代码之间的相似度,代码编辑距离损失计算公式如下:,其中,是样本数量,是原始节点代码,是转换后节点的代码,是计算代码片段之间的编辑距离的函数。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人浙江金网信息产业股份有限公司,其通讯地址为:315000 浙江省宁波市海曙区后河巷20号15幢;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。