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

下载全文  

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

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

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

下载全文  

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

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

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

下载全文  

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

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

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

下载全文  

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

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

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

下载全文  

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

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

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

下载全文  

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

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

基于改进U-Net的多流视网膜血管分割算法

下载全文  

针对传统U型网络特征冗余以及视网膜血管形态复杂、细血管分割困难等问题,提出一种基于改进U-Net的多流视网膜血管分割算法.算法包含两种特征流向,分别是全局分割流与边缘特化流.为了减少特征冗余,全局分割流在部分卷积的基础上采用快速提取模块替代传统的U-Net卷积块,构建了能够高效提… …   相似文献

陆锡恒  宣士斌 《计算机系统应用》2024,33(7):129-138

基于学习博弈和契约论的分层联邦学习隐私保护激励机制

下载全文  

分层联邦学习(hierarchical federated learning, HFL)旨在通过多层架构的协作学习,同时保护隐私和优化模型性能.但其效果需依赖于针对参与各方的有效激励机制及应对信息不对称的策略.为了解决上述问题,本文提出一种保护终端设备、边缘服务器及云服务器隐私的… …   相似文献

宋彪  薛涛  刘俊华 《计算机系统应用》2024,33(7):26-38

基于神经元统计建模分析的模型不确定性度量

下载全文  

神经网络的不确定性反映模型对自身预测结果的置信水平,能在决策不可靠时促使及时的人工干预,提升系统安全性.然而,现有度量方法常需要对模型或训练过程进行显著修改且实施复杂度高.为此,本文提出一种基于神经元统计建模分析的不确定性度量方法.该方法充分利用模型单次前向传播过程中的激活值,首… …   相似文献

雷雅婧 《计算机系统应用》2024,33(7):14-25

多样性引导的深度多视图聚类算法

下载全文  

多视图聚类旨在从不同视图的多样性信息中,学习到更加全面和准确的共识表示,以提高模型的聚类性能.目前大部分多视图聚类算法采用希尔伯特-施密特独立性准则(HSIC)或自适应加权方法从全局考虑各视图的多样性,忽略了各视图样本之间的局部多样性信息学习.针对上述问题,提出了多样性引导的深度… …   相似文献

胡虹  李学俊  廖竞 《计算机系统应用》2024,33(7):161-169