一种聚类分析驱动种子调度的模糊测试方法

下载全文  

作为当前被广泛应用的自动化软件测试技术,模糊测试的首要目标是尽可能多地探索被测程序的代码区域以达到更高的覆盖率,从而检测出更多的漏洞或者错误.现有的模糊测试方法大多是根据种子的历史突变数据来调度种子,实现起来比较简单,但忽略了种子所探索程序空间的分布情况,导致测试工作可能会陷入只… …   相似文献

张文  陈锦富  蔡赛华  张翅  刘一松 《软件学报》2024,35(7):3141-3161

基于掩码语言模型的中文BERT攻击方法

下载全文  

对抗文本是一种能够使深度学习分类器作出错误判断的恶意样本,敌手通过向原始文本中加入人类难以察觉的微小扰动制作出能欺骗目标模型的对抗文本.研究对抗文本生成方法,能对深度神经网络的鲁棒性进行评价,并助力于模型后续的鲁棒性提升工作.当前针对中文文本设计的对抗文本生成方法中,很少有方法将… …   相似文献

张云婷  叶麟  唐浩林  张宏莉  李尚 《软件学报》2024,35(7):3392-3409

基于深度森林与异质集成的标记分布学习方法

下载全文  

作为一种解决标签模糊性问题的新学习范式, 标记分布学习(LDL)近年来受到了广泛的关注. 为了进一步提升标记分布学习的预测性能, 提出一种联合深度森林与异质集成的标记分布学习方法(LDLDF). 所提方法采用深度森林的级联结构模拟具有多层处理结构的深度学习模型, 在级联层中组合多… …   相似文献

王艺霏  祝继华  刘新媛  周熠炀 《软件学报》2024,35(7):3410-3427

SMTLOC: 基于多源频谱的SMT求解器缺陷定位

下载全文  

SMT求解器作为重要的基础软件,其存在的缺陷可能会导致依赖于它的软件功能失效,甚至带来安全事故.然而,修复SMT求解器缺陷是一个十分耗时的任务,因为开发者需要花费大量的时间和精力来理解并找到缺陷的根本原因.虽然已有许多软件缺陷定位方面的研究,但尚未有系统的工作研究如何自动定位SM… …   相似文献

王笑爽  周志德  李晓晨  江贺  任志磊 《软件学报》2024,35(7):3314-3331

面向合同信息抽取的动态多任务学习方法

下载全文  

对于合同文本中要素和条款两类信息的准确提取,可以有效提升合同的审查效率,为贸易各方提供便利化服务.然而当前的合同信息抽取方法一般训练单任务模型对要素和条款分别进行抽取,并没有深挖合同文本的特征,忽略了不同任务间的关联性.因此,采用深度神经网络结构对要素抽取和条款抽取两个任务间的相… …   相似文献

王浩畅  郑冠彧  赵铁军 《软件学报》2024,35(7):3377-3391

面向复杂软件的缺陷检测与修复技术专题前言

下载全文  

<正>在软件定义一切的信息时代,软件已经成为人们生产和生活的基石.由于软件系统规模不断扩大,应用环境越来越复杂,程序员在开发过程中难以避免引入软件缺陷.软件缺陷可能会引发不可预期的后果,甚至危及人们的生命财产安全.因此,及时且准确地检测并修复缺陷对于保障生产生活的正常运行具有重要意义.然而,在实践中软件缺陷的检测和修复面临着诸多挑战.例如,在庞大复杂的信息系统中,缺陷往往难以被准确检测,缺陷修复的速度难以跟上缺陷增长的速度,一旦发现缺陷也难以产生正确的修复.专题重点围绕软件缺陷检测与修复核心技术,探讨在复杂软件场景下的缺陷定位、预测、调试、修复和数据集构造等方面的相关研究内容.… …   相似文献

张路  刘辉  姜佳君  王博 《软件学报》2024,35(7):3069-3070

程序算法识别研究综述

  

了解程序代码所描述的算法,能帮助程序员理解程序从而开展各项软件工程任务。由于人工理解程序算法要求程序员具备丰富的专业知识并且十分耗时耗力,程序算法识别任务以实现程序算法理解的自动化为主要研究目标,与人工理解相比更为高效、准确。系统整理了程序算法识别领域的相关工作。首先,梳理程序算… …   相似文献

张雅雯  张丽萍  闫盛  魏敏 《计算机应用研究》2024,41(7)

一种在线更新的单目视觉里程计

  

现有的基于深度学习的视觉里程计（visual odometry,VO）训练样本与应用场景存在差异时,普遍存在难以适应新环境的问题,因此提出了一种在线更新单目视觉里程计算法OUMVO。其特点在于应用阶段利用实时采集到的图像序列在线优化位姿估计网络模型,提高网络的泛化能力和对新环境的… …   相似文献

王铭敏  佃松宜  钟羽中 《计算机应用研究》2024,41(7)

深度掩膜布朗距离协方差小样本分类方法

  

针对小样本学习中,布朗距离协方差通过改善特征嵌入提升分类精度,但未聚焦分类中样本相关性特征的问题,提出了深度掩膜布朗距离协方差方法。该方法通过每对查询集与支持集之间的高维语意关系,生成查询引导掩膜,并将掩膜后的布朗距离协方差矩阵用作图像特征表示。分别在5way-1shot和5wa… …   相似文献

苟光磊  朱东华  李小菲  韩岩奇 《计算机应用研究》2024,41(7)

基于知识表示学习的KBQA答案推理重排序算法

  

现有的知识库问答（KBQA）研究通常依赖于完善的知识库,忽视了实际应用中知识图谱稀疏性这一关键问题。为了弥补该不足,引入了知识表示学习方法,将知识库转换为低维向量,有效摆脱了传统模型中对子图搜索空间的依赖,并实现了对隐式关系的推理,这是以往研究所未涉及到的。其次,针对传统KBQA… …   相似文献

晋艳峰  黄海来  林沿铮  王攸妙 《计算机应用研究》2024,41(7)