李斌
- 作品数：18 被引量：26H指数：3
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家科技重大专项中国科学院战略性先导科技专项载人航天领域预先研究项更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于相似度分析的源代码版本演化注释复用方法
- 本发明公开了一种基于相似度分析的源代码版本演化注释复用方法。本方法为：1)查找目标源代码的新版本，生成该新版本的标识符信息并写入复用库；2)对该目标源代码与该新版本进行文本相似度分析，将该目标源代码中与该新版本相同的代码...
- 李斌贾荻陈晨余海贺也平
- 文献传递
- 基于已有实例的Linux驱动程序前向移植接口补丁推荐被引量：2
- 2021年
- Linux内核版本频繁升级对驱动程序带来的关联影响程度和影响范围都很大,为了修复这种关联影响带来的驱动程序调用内核接口的不一致性错误,不断修改旧版本驱动代码进行前向移植是一个持续和紧迫的问题.驱动演化辅助理解、驱动移植中间库辅助适配和驱动移植辅助信息等方面的已有研究,通过检索语句级别的辅助信息提高了驱动移植的效率.但是已有方法仅关注了检索辅助信息本身却并没有区分其中包含的有效补丁素材,因此还需要人工分析和手工构造适配性补丁.为了克服上述限制,提出了一种全新的方法旨在推荐驱动前向移植中接口错误的高质量补丁.观察发现,依赖相同内核接口服务的多个不同驱动程序之间存在相同或相似的内核接口调用,内核版本升级后其他驱动的历史开发信息中可能存在这种复用接口及其使用变更的已有实例代码.利用出错接口语句和相似已有实例的共性分析错误问题的特点,通过已有实例的辅助作用抽取针对性的接口修改方式和修改内容等细粒度素材生成待推荐补丁.具体结合分界点识别、相似度计算、细粒度差异比较和频度计算确定有效修改方式.提出了一种基于已有实例差异特征的分类算法,通过区分修改内容的不同类型分别从2种数据源提取.最后使用编辑脚本技术生成推荐补丁列表.在9个不同类型的真实驱动程序上的实验表明,该方法能够推荐驱动移植中7类接口错误补丁,有效补丁占比约67.4%,对现有辅助方法形成了有效补充和拓展.
- 李斌李斌马恒太贺也平
- 基于错误根因的Linux驱动移植接口补丁推荐
- 2022年
- Linux内核版本变更带来驱动程序调用内核接口的不一致性错误非常频繁,其通过手工修复不仅工作量繁重,还可能引入新的错误.针对这个问题,驱动移植中间库辅助适配和驱动移植辅助信息等方面的已有研究提供了辅助示例,但是还需要人工分析和手工构造补丁,人工修复的工作量依然较大并且效率较低.为此,通过推荐高质量补丁降低人工修复的工作量并提高修复效率.与传统方法通过错误代码形式的相似性识别同类错误不同,提出依据错误发生的相同原因和来源识别同类错误.提出了一种分层搜索算法用于获取待修复错误对应的错误根因,通过错误根因识别同类错误的修复实例,从其中提取并选择针对性修复模板实现同类未修复错误的高质量补丁推荐.在收集的19个真实驱动程序数据集上的实验表明,所提方法相比传统方法的补丁推荐正确率有显著提高.
- 李斌李斌马恒太贺也平李晓卓
- 基于组合分类算法的源代码注释质量评估方法被引量：6
- 2016年
- 源代码注释是软件的重要组成部分,研究者往往需要利用人工或自动化的方法产生分析注释,注释的质量评估也往往是通过人工来完成,这无疑是低效不客观的。为此,首先从注释的格式、语言形式、内容以及与代码相关度4个方面出发构建注释评估准则;进而,基于这一准则提出了一种基于组合分类算法的注释质量评估方法。该方法将机器学习以及自然语言处理技术引入到注释质量评估中来,利用分类算法将注释分为不合格、合格、良好、优秀四个等级。通过对基本分类算法的组合使用,使得评估效果进一步提高。组合分类算法的准确率和F1值较单独使用某一种分类算法提高20个百分点左右,除宏平均F1值外,各项指标都达到了70%以上。实验结果表明,所提方法能够很好地应用于注释质量评估。
- 余海李斌王培霞贾荻王永吉
- 关键词：文本分类自然语言处理
- 一种基于知识社群的在线源码协同分析和分享方法及装置
- 本发明涉及一种基于知识社群的在线源码协同分析和分享方法及装置，该方法的步骤包括：1）知识社群认证和源码协同分析平台建设：通过知识社群认证接口绑定现有开源社区的用户并初始化社区成员权限，构建包含现有热门开源软件的源码上下文...
- 于佳耕李斌刘雪花武延军
- 文献传递
- 一种基于机器学习的源代码注释质量评估方法
- 本发明涉及一种基于机器学习的源代码注释质量评估方法。该方法首先对原始的代码注释进行预处理，清洗掉干扰信息，然后利用特征项选择和提取技术生成特征向量，将不同类别的特征向量输入文本分类器进行训练和调优，使用了多种不同特性的分...
- 李斌余海贺也平
- 文献传递
- 高等级安全操作系统可信保证技术研究
- 高等级安全操作系统的可信性保证技术是极其重要且极具挑战性的问题.在“面向访问验证保护级安全操作系统”课题的研究中,对高安全可信操作系统进行预研,我们完成了如下工作:设计并实现了一个基于B语言的安全操作系统形式化原型-HA...
- 李斌马越刘剑
- 关键词：计算机软件安全操作系统
- 文献传递
- 一种基于数据挖掘的源代码注释自动生成方法
- 本发明涉及一种基于数据挖掘的源代码注释自动生成方法。该方法首先从三种数据源中提取包含所需注释的文本；然后结合数据源各自的特性形成三种过滤规则剔除无关的噪声信息，并利用文本处理技术进行字符格式等预处理；最后概括形成描述函数...
- 田兆楠李斌吴红双李婧贺也平
- 文献传递
- 一种快速的循环扩展检测方法
- 本发明公开了一种快速的循环扩展检测方法，属于软件模型检测技术领域。本方法为：1)限定测试空间中各个变量的取值范围，并将测试空间中的状态初始化为被测程序限定范围内所有满足被测程序的前置条件的状态；2)随机挑选一个未检测的状...
- 易秋萍刘剑沈武威汪孙律李斌
- 文献传递
- 基于复杂网络分析的函数调用图关键节点识别和标识方法
- 本发明涉及一种基于复杂网络分析的函数调用图关键节点识别和标识方法。首先通过源码静态分析技术进行词法分析、语法分析和控制流分析，获取源码调用关系数据和函数长度数据，将全部数据分类存储在数据库中；然后根据获取的数据生成调用图...
- 李斌田兆楠贺也平
