检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:Xiuting GE Chunrong FANG Xuanye LI Quanjun ZHANG Jia LIU Zhihong ZHAO Zhenyu CHEN
机构地区:[1]State Key Laboratory for Novel Software Technology,Nanjing University,Nanjing 210093,China
出 处:《Science China(Information Sciences)》2024年第5期317-318,共2页中国科学(信息科学)(英文版)
基 金:supported by National Natural Science Foundation of China(Grant Nos.61932012,62141215,62272220,62372228);Science,Technology and Innovation Commission of Shenzhen Municipality(Grant No.CJGJZD20200617103001003).
摘 要:Static analysis tools(SATs)have shown potential ability in software quality assurance[1].However,SATs report an overwhelming number of warnings,where most warnings are unactionable ones(i.e.,warnings that are not acted on or fixed by developers).It is not a trivial task for developers to find actionable warnings(i.e.,warnings that are acted on and fixed by developers)in all reported warnings.Hence,the excessive unactionable warnings seriously impede the usability of SATs[2].
分 类 号:TP311.52[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.26