任志磊
- 作品数：53 被引量：66H指数：5
- 供职机构：大连理工大学更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金辽宁省普通高等教育本科教学改革研究项目更多>>
- 相关领域：自动化与计算机技术文化科学电气工程理学更多>>
- 基于历史代码变更信息的API误用检测方法
- 本发明提供一种基于历史代码变更信息的API误用检测方法，属于软件工程技术领域。该方法首先从代码托管工具上拉取开源项目的历史代码变更信息，提取出API误用相关的修复信息。利用程序修复前后AUG来逆向提取程序变异算子，而不是...
- 江贺李康乐周志德任志磊
- 基于元学习模型的可满足性模理论求解器的算法
- 本发明提供一种基于元学习模型的可满足性模理论求解器的算法，属于软件工程领域。该方法首先使用多目标演化算法生成多样性SMT实例；再通过元学习模型自动学习SMT实例特征和求解器之间的映射关系以形成元知识库；最终当输入新的SM...
- 任志磊江贺马跃
- 文献传递
- 面向软件仓库挖掘的数据驱动特征提取方法被引量：4
- 2015年
- 在软件仓库挖掘领域,通常将软件工程任务转换成数据挖掘问题进行解决。领域特征的使用严重影响了软件任务的解决效果。然而,如何根据特定任务从软件仓库数据中提取有价值的特征,在软件仓库挖掘领域尚缺乏系统的研究。数据驱动特征提取方法是一种新的特征提取方法。对于给定的软件工程任务,该方法从任务的数据集中选取部分数据(如源代码、缺陷报告等),招募若干志愿者人工完成该任务,并要求志愿者说明在人工完成特定软件工程任务时所考虑的因素。通过分析这些因素,可以提取所需的领域特征。以缺陷报告摘要任务为例进行实验,结果表明新方法能够发现高效的领域特征,并取得比现有方法更好的预测效果。
- 李晓晨江贺任志磊
- 关键词：特征提取
- 一种基于增量采样的编译器优化序列测试方法
- 本发明提供了一种基于增量采样的编译器优化序列测试方法，可用于测试C/C++语言的编译器，如开源编译器Gcc、Clang等；亦可根据特定编程语言的编译器特性，对本发明的相关步骤进行适配，从而测试该特定编程语言的编译器。本发...
- 江贺周志德任志磊
- 文献传递
- 一种基于信道占用率的Ad Hoc网络MAC层公平性退避算法
- 本发明公开了一种基于信道占用率的MAC层公平性退避算法，属于Ad Hoc网络领域。节点发送数据前，首先计算节点对当前的信道占用率，判断其值与理想信道占用率的大小关系，同时根据前次通信是否成功，将当前通信状态分为四种类型。...
- 赖晓晨任志磊赵莹周国乔王默陈渊博
- 文献传递
- 一种基于深度学习的高效PDF应用程序模糊测试用例生成方法
- 本发明属于软件自动化测试领域，涉及一种用于构造模糊测试用例的技术，具体为一种基于深度学习的高效PDF应用程序模糊测试用例生成方法。本发明利用CNN、Seq2Seq、Transformer等深度学习模型，通过数据筛选、对象...
- 江贺刘家豪任志磊李晓晨周志德
- 基于聚类算法的测试用例排序被引量：2
- 2016年
- 在软件开发过程中,回归测试是一项重要而复杂耗时的工作。测试用例排序技术作为提高测试效率的一种有效手段,是近年的研究热点之一。测试用例排序技术根据测试目标对测试用例进行排序,使得最优的测试用例能够优先执行。同时,各种软件信息的底层结构及关联信息有助于提高测试效率。不同的代码单元在测试过程中拥有不同的测试需求。因此,利用聚类算法能够有效地分析测试用例间的结构信息,从而指导测试用例的排序过程。实验结果表明,新的测试用例排序策略有效地提高了测试用例排序的效果,能够更早地检测到软件错误。
- 蔡景媛任志磊胡燕朴勇江贺
- 关键词：聚类
- 多电网调峰负荷分配问题的目标函数选取与求解被引量：11
- 2014年
- 大电网平台下,利用优质电源协调多个省级电网间差异负荷对缓解中国电力系统日益严重的调峰压力具有非常突出作用。针对现有网际协调方式和优化方法调峰效果不理想尤其局部时段范围内余荷频繁波动问题,提出一种基于电网理想余荷过程(简称理想解)的调峰建模方法。该方法采用N近邻平滑和分段平滑两种方式均化多个相邻时段余荷以构造理想解,并将计算余荷与理想解偏差最小作为优化目标,以尽可能平滑各电网局部负荷波动。采用邻域搜索算法进行模型求解,通过可变步长动态改变可行搜索区域,以改善收敛速度和结果质量。华东电网直调水火电系统的仿真调度实例表明,所提模型与算法能切实协调上海、江苏、浙江、安徽四省(市)的峰值负荷差异,得到较以往优化建模方法更合理的日调度运行结果。
- 孟庆喜申建建程春田任志磊胡燕江贺
- 关键词：调峰目标函数邻域搜索算法
- 软件升级问题的多目标优化方法被引量：2
- 2020年
- 近年来,开源软件包管理成为软件产品重用的一种普遍方式,尤其是在Linux发行版操作系统领域。其中,软件升级问题是软件包管理工具必须要解决的关键挑战之一。软件升级问题旨在按照某种优化准则找出能够满足用户升级请求的最合适的升级方案。优化准则由几个不同方向的优化目标组成,因此软件升级问题本质上是一个多目标优化问题。现有的解决软件升级问题的方法均是将多个优化目标聚合成为单个目标的形式再进行处理。这些方法都可能没有恰当地考虑不同的优化目标之间的关系,因此会存在潜在的风险。针对这种风险,文中提出了一个多目标演化框架——SATMOEA(Combining Constraints Solving and Multi-objective Evolutionary Algorithms),将软件升级问题构建为可满足问题+多目标优化问题的形式,并集成了约束求解和多目标优化算法,来对软件升级问题进行求解。基于MISC竞赛提供的升级问题标准实例集进行实验,结果表明对于有着大量约束条件的复杂问题实例,多目标演化框架在一次运行中即可有效地计算出各个优化目标均达到帕累托最优的解决方案,相比现有的升级问题求解器提供的升级方案更加多样,并且在一些优化目标上更具优势,可以满足用户在不同场景下的需求。
- 赵松辉任志磊江贺
- 关键词：多目标优化
- 一种基于等价取模测试的高级综合工具缺陷检测方法
- 本发明属于检测技术以及软件测试技术领域，尤其涉及一种基于等价取模测试的高级综合工具缺陷检测方法。本发明采用了等价取模测试思路，但针对于高级综合工具特点，在等价取模测试在种子代码中删除未执行代码或插入代码的变异操作基础上，...
- 江贺王尊任志磊周志德
- 文献传递
