李晓晨
- 作品数：4 被引量：9H指数：2
- 供职机构：大连理工大学国家示范性软件学院更多>>
- 发文基金：国家自然科学基金教育部“新世纪优秀人才支持计划”更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向软件仓库挖掘的数据驱动特征提取方法被引量：4
- 2015年
- 在软件仓库挖掘领域,通常将软件工程任务转换成数据挖掘问题进行解决。领域特征的使用严重影响了软件任务的解决效果。然而,如何根据特定任务从软件仓库数据中提取有价值的特征,在软件仓库挖掘领域尚缺乏系统的研究。数据驱动特征提取方法是一种新的特征提取方法。对于给定的软件工程任务,该方法从任务的数据集中选取部分数据(如源代码、缺陷报告等),招募若干志愿者人工完成该任务,并要求志愿者说明在人工完成特定软件工程任务时所考虑的因素。通过分析这些因素,可以提取所需的领域特征。以缺陷报告摘要任务为例进行实验,结果表明新方法能够发现高效的领域特征,并取得比现有方法更好的预测效果。
- 李晓晨江贺任志磊
- 关键词：特征提取
- 编译优化序列选择研究进展被引量：4
- 2019年
- 在过去的几十年里,编译器开发者针对各种复杂情况下的编译优化需求,设计实现了大量的编译优化选项.在实际开发中,由编译器提供的标准编译优化序列难以适应复杂场景下待编译程序的编译要求.一方面,待编译程序有不同的语义和编译目标,直接采用标准编译优化序列难以获得理想的优化效果,若采用不适当的优化序列甚至可能对程序性能等带来负面影响.另一方面,随着硬件体系结构的不断发展,编译环境日益复杂,编译优化序列亦应进行相应调整.因此,如何在错综复杂的优化选项中为待编译程序选择最佳的编译优化序列成为一个具有挑战性的科学问题.针对上述问题,研究人员展开了大量的研究,并取得了诸多成果.本文旨在归纳编译优化序列选择领域的研究文献,通过文献搜索,筛选获得符合条件的55篇论文,从多个视角(算法、研究类型、目标编译器、基准测试集等)揭示该领域的研究现状.通过文献分析可以发现,当前该领域的主流算法包括两类,即以遗传算法为代表的启发式搜索算法和以支持向量机为代表的机器学习算法.超过80%的文献的研究类型属于提出解决方案或者实证研究.在已有的研究中,实验验证时使用频次最多的编译器和基准测试集分别是GCC和miBench.本文有助于理解编译优化序列选择领域当前基本进展和发展趋势,同时为开展该领域研究工作提供了可能的方向.
- 高国军任志磊张静宣李晓晨江贺
- 关键词：编译器启发式搜索
- SMTLOC:基于多源频谱的SMT求解器缺陷定位
- 2024年
- SMT求解器作为重要的基础软件,其存在的缺陷可能会导致依赖于它的软件功能失效,甚至带来安全事故.然而,修复SMT求解器缺陷是一个十分耗时的任务,因为开发者需要花费大量的时间和精力来理解并找到缺陷的根本原因.虽然已有许多软件缺陷定位方面的研究,但尚未有系统的工作研究如何自动定位SMT求解器缺陷.因此,提出一种基于多源频谱的SMT求解器缺陷定位方法SMTLOC.首先,对于给定的SMT求解器缺陷,SMTLOC提出一种枚举算法,用以对触发该缺陷的公式进行变异,从而生成一组不触发缺陷,但与触发缺陷的公式具有相似执行路径的证人公式.然后,SMTLOC根据证人公式的执行路径以及SMT求解器的源码信息,提出一种融合覆盖频谱和历史频谱的文件可疑度计算方法,从而定位可能存在缺陷的文件.为了验证SMTLOC的有效性,收集60个SMT求解器缺陷.实验结果表明,SMTLOC的缺陷定位效果明显优于传统的频谱缺陷定位方法,SMTLOC可以将46.67%的缺陷定位在TOP-5的文件内,定位效果提升了133.33%.
- 王笑爽周志德李晓晨江贺任志磊
- 自动化软件重构质量目标与非质量目标有效性研究被引量：1
- 2022年
- 随着软件不断迭代发展,软件维护成本也相应增加。自动化重构可以降低软件维护成本,基于搜索的重构方法是解决该问题最典型的方法之一。其中目标的选择对搜索过程起决定性作用,质量目标与非质量目标都是开发人员在重构时通常会考虑的目标。然而,尚未有研究系统地分析在相同的评价环境下,哪些目标更有利于代码重构,特别是得到符合开发者预期的代码重构结果;并且也未分析质量目标与常用的非质量目标进行组合是否会有更好的效果。文中提出了基于搜索的多目标软件重构方法,探索了7个不同目标的组合对软件重构质量的影响。在6个规模不同的开源软件项目上进行了验证,应用多种指标对重构前后软件质量进行评估,并分析了不同优化目标组合的表现。实验结果表明,质量目标与非质量目标组合比单独使用质量目标组合对重构效果的提升更明显,其中质量目标与之前重构记录的一致性的组合对重构有较好的提升效果。
- 郭亚琳李晓晨任志磊江贺
- 关键词：多目标优化软件质量软件维护
