公开(公告)号：CN120066933A

公开(公告)日：2025-05-30

申请号：CN202510214660.8

申请日：2025-02-26

Applicant: 北京大学

Inventor： 张路 ,  刘逸达 ,  朱明煊 ,  郝丹

IPC: G06F11/3604 ,  G06F11/362 ,  G06F11/3668 ,  G06F8/41

Abstract: 本发明公布了一种编译器测试预言生成及编译器测试方法，属于软件测试技术领域，通过对源代码与编译后的代码中间表示IR进行程序性质一致性验证，从而有效检测编译器在将程序源代码编译为最终可执行代码过程中的程序潜在缺陷。本发明方法能够有效提高编译器在处理复杂分支和控制流的源代码时对编译器的缺陷检测能力；同时，该方法无需构造单次执行的预期输出，减少了测试过程中的人工工作量，提高了测试效率和准确性。

公开(公告)号：CN118778942A

公开(公告)日：2024-10-15

申请号：CN202410768557.3

申请日：2024-06-14

Applicant: 北京大学

Inventor： 梁清源 ,  朱琪豪 ,  孙泽宇 ,  胡俊豪 ,  赵逸凡 ,  陈逸洲 ,  朱明煊 ,  王国庆 ,  张路

IPC: G06F8/33 ,  G06F8/30 ,  G06F11/36 ,  G06N3/08

Abstract: 本发明公开一种自动代码的演化和编辑方法及系统，属于信息技术领域。所述方法包括：构建训练数据集，所述训练数据集由若干个新旧代码对构成；基于代码编辑目标生成损失、代码保留片段掩码损失以及结合去噪自编码的代码编辑损失，在所述训练集上训练一代码演化和编辑模型；其中，所述代码演化和编辑模型是基于Transformer的Encoder‑Decoder框架构建；基于代码演化和编辑模型实现测试代码的演化或编辑。本发明可以在修改旧代码的过程中高效地生成正确的目标代码。