公开(公告)号：CN110633084B

公开(公告)日：2020-10-02

申请号：CN201910861206.6

申请日：2019-09-12

Applicant: 北京大学

Inventor： 姜佳君 ,  任路遥 ,  熊英飞 ,  张令明

IPC: G06F8/41

Abstract: 本发明涉及一种基于单个样例的代码转换推导方法和装置。该方法包括：基于修改前和修改后的样例代码片段，提取代码超图；基于修改前和修改后的样例代码片段，提取代码修改的操作序列；依据代码修改的操作序列，并通过统计分析开源项目代码中的属性频率，对代码超图进行化简，由化简之后的代码超图和代码修改的操作序列共同组成代码转换模板；给定待修改的代码片段并提取其代码超图，然后通过与代码转换模板进行匹配得到修改后的代码片段。本发明可以仅通过一个代码修改的例子来推导出、提取出一般化的代码转换，有效避免了必须依赖于使用大量的相关代码修改来进行推导，可以更有效地推导出合理的代码转换，适用于多种应用场景。

公开(公告)号：CN109376080A

公开(公告)日：2019-02-22

申请号：CN201811128264.X

申请日：2018-09-27

Applicant: 北京大学

Inventor： 熊英飞 ,  邹达明 ,  梁晶晶 ,  张路

IPC: G06F11/36

Abstract: 本发明提供一种时间适配的自动化缺陷定位方法和装置，其能使软件行业从业人员在程序调试实际工作中进行更高效的缺陷定位并提高定位精准度。本发明的时间适配的自动化缺陷定位方法包括：测量选定的不同现有自动化缺陷定位方法的执行时间，并按照执行时间将这些选定的方法划分为由快至慢的不同级别；执行最快级别方法的组合，或者慢级别方法与较其快速的各级别方法的组合，分别对各组合的输出结果进行分数归一化处理，然后进行训练以建立各组合的排序学习模型；在具体程序调试场景中，依次执行由快至慢的各级别选定的方法，当软件开发和维护人员请求缺陷定位结果时，根据当前执行完毕的级别，使用各组合的排序学习模型自动综合结果分数并进行排序。

公开(公告)号：CN104750563B

公开(公告)日：2017-11-07

申请号：CN201310728361.3

申请日：2013-12-26

Applicant: 北京大学

Inventor： 高庆 ,  熊英飞 ,  张路 ,  谢冰 ,  梅宏

IPC: G06F11/07

Abstract: 一种基于控制流图的内存泄漏自动修复方法，应用于计算机程序的内存泄露检测和自动修复，包括如下步骤：第一步：制作计算机程序的控制流图；第二步：根据所述控制流图进行内存泄露检测和修复；第三步：利用在控制流图中记录的代码位置信息，将添加到图中的修复代码映射回原计算机程序代码中。开发者可以使用本发明所述的方法自动修复计算机程序的内存泄漏，而不必担心修复错误或引入新错误。

公开(公告)号：CN104699595B

公开(公告)日：2017-07-28

申请号：CN201310655851.5

申请日：2013-12-06

Applicant: 北京大学

Inventor： 张洁 ,  陈俊洁 ,  郝丹 ,  熊英飞 ,  谢冰 ,  梅宏

IPC: G06F11/36 ,  G06F9/445

Abstract: 一种面向软件升级的软件测试方法，所述方法基于等式描述的蜕变关系自动构造。在软件升级前，测试人员针对现有软件，构造每个程序的蜕变关系；所述程序指的是实现特定函数计算功能的程序代码；在软件升级后，针对修改后的程序，测试人员产生n个一定范围内的随机数作为测试用例，然后将每个测试用例和其在修改后程序中相应的输出代入修改之前程序构造出的蜕变关系式中，查看蜕变关系式是否成立，若修改后的程序不符合之前所构造出来的蜕变关系，则说明软件在升级过程中存在错误。通过本发明，测试人员可以将构造出的蜕变关系应用到蜕变测试中，从而验证软件版本升级过程中程序的正确性。

公开(公告)号：CN105335246A

公开(公告)日：2016-02-17

申请号：CN201510708750.9

申请日：2015-10-27

Applicant: 北京大学

Inventor： 高庆 ,  张汉生 ,  王杰 ,  熊英飞 ,  张路 ,  梅宏

IPC: G06F11/07 ,  G06F11/36

CPC classification number: G06F11/0793 ,  G06F11/3612

Abstract: 本发明涉及计算机软件技术领域，公开了一种基于问答网站分析的程序崩溃缺陷自动修复方法，包括：根据程序发生崩溃时的崩溃踪迹，获取多个相关网页；其中，所述相关网页中包含描述所述崩溃的缺陷代码以及修复所述崩溃的修复代码；在每个所述相关网页中，提取所述缺陷代码的片段以及修复代码的片段；根据所述缺陷代码片段以及修复代码片段生成用于修复所述崩溃的编辑脚本；根据所述崩溃踪迹以及缺陷代码，确定所述程序源代码中有错误代码的位置，应用所述编辑脚本修复所述错误代码。本发明可根据崩溃踪迹在相关网页上自动搜索修复方案，并生成相应的编辑脚本对崩溃进行修复，摆脱了在修复过程中对操作人员的依赖，实现自动修复，且修复精度较高。

公开(公告)号：CN103500126A

公开(公告)日：2014-01-08

申请号：CN201310517763.9

申请日：2013-10-28

Applicant: 北京大学

Inventor： 黄罡 ,  武义涵 ,  张颖 ,  熊英飞 ,  梅宏

IPC: G06F11/07

Abstract: 本发明公开了一种云计算平台的自动化容错配置方法。本方法为：1）云计算平台容错配置系统采集云计算平台的运行时信息，运行时信息的载体为运行时软件体系结构；2）云计算平台容错配置系统根据用户需求与当前运行时信息从容错机制库中选择一容错机制；3）云计算平台容错配置系统根据选择的容错机制对该云计算平台的运行时软件体系结构进行配置；4）云计算平台管理系统将3）配置过程中运行时软件体系结构发生变化的部分同步到该云计算平台中。本发明可系统化的为云计算平台提供自适应的容错配置，且节约了云计算平台资源、容错性能得到大大提高。