软件质量保障

作品数:52被引量:333H指数:9
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:陈翔顾庆田丹刘望舒倪超更多>>
相关机构:南通大学南京大学计算机软件新技术国家重点实验室北京大学更多>>
相关期刊:《电子质量》《计算机应用研究》《小型微型计算机系统》《程序员》更多>>
相关基金:国家自然科学基金国家高技术研究发展计划国家重点实验室开放基金江苏省自然科学基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=软件学报x
条 记 录,以下是1-10
视图:
排序:
Deep-SBFL:基于频谱的深度神经网络缺陷定位方法被引量:3
《软件学报》2023年第5期2231-2250,共20页李铮 崔展齐 陈翔 王荣存 刘建宾 郑丽伟 
江苏省前沿引领技术基础研究专项(BK20202001);国家自然科学基金(61702041);江苏省自然科学基金面上项目(BK20181353);北京信息科技大学“勤信人才”培育计划(QXTCP C201906)。
深度神经网络已经在自动驾驶和智能医疗等领域取得了广泛的应用.与传统软件一样,深度神经网络也不可避免地包含缺陷,如果做出错误决定,可能会造成严重后果.因此,深度神经网络的质量保障受到了广泛关注.然而,深度神经网络与传统软件存在...
关键词:软件质量保障 软件缺陷定位 深度神经网络(DNN) 频谱 怀疑度 
缺陷报告质量研究综述被引量:1
《软件学报》2023年第1期171-196,共26页邹卫琴 张静宣 张霄炜 陈林 玄跻峰 
国家自然科学基金(62002161,61902181,61872177,61872273);CCF-腾讯犀牛鸟基金(RAGR20200106);中国博士后科学基金(2020M671489)。
在软件开发和维护过程中,缺陷修复人员通常根据由终端用户或者开发/测试者提交的缺陷报告来定位和修复缺陷.因此,缺陷报告本身的质量对修复人员能否快速准确定位并修复缺陷具有重要的作用.围绕缺陷报告质量的刻画及改进,研究人员开展了...
关键词:软件质量保障 缺陷定位与修复 缺陷报告质量 质量建模和改进 
自适应推导下的统一化调试加速技术
《软件学报》2022年第2期377-396,共20页娄一翎 张令明 郝丹 张皓天 张路 
国家重点研发计划(2017YFB1001803);国家自然科学基金(61872008)。
在传统调试过程中,缺陷定位通常作为程序修复的前置步骤.最近,一种新型调试框架(统一化调试)被提出.不同于传统调试中缺陷定位和程序修复的单向连接方式,统一化调试首次建立了定位与修复之间的双向连接机制,从而达到同时提升两个领域的...
关键词:软件质量保障 软件测试 软件调试 缺陷定位 缺陷修复 
基于指针生成网络的代码注释自动生成模型被引量:5
《软件学报》2021年第7期2142-2165,共24页牛长安 葛季栋 唐泽 李传艺 周宇 骆斌 
国家自然科学基金(61802167,61972197,61802095);江苏省自然科学基金(BK20201250);华为-南京大学下一代程序设计创新实验室合作协议子项目。
代码注释在软件质量保障中发挥着重要的作用,它可以提升代码的可读性,使代码更易理解、重用和维护.但是出于各种各样的原因,有时开发者并没有添加必要的注释,使得在软件维护的过程中,往往需要花费大量的时间来理解代码,大大降低了软件...
关键词:软件质量保障 代码注释生成 神经网络 out-of-vocabulary word 指针生成网络 
基于代码自然性的切片粒度缺陷预测方法被引量:9
《软件学报》2021年第7期2219-2241,共23页张献 贲可荣 曾杰 
国家安全重大基础研究计划(613315)。
软件缺陷预测是软件质量保障领域的一个活跃话题,它可以帮助开发人员发现潜在的缺陷并更好地利用资源.如何为预测系统设计更具判别力的度量元,并兼顾性能与可解释性,一直是人们致力于研究的方向.针对这一挑战,提出了一种基于代码自然性...
关键词:软件质量保障 缺陷预测 代码自然性 切片粒度 语言模型 交叉熵 深度学习 
静态程序分析并行化研究进展被引量:9
《软件学报》2020年第5期1243-1254,共12页陆申明 左志强 王林章 
国家自然科学基金(61802168);江苏省自然科学基金(BK20191247)。
静态程序分析发展至今,已在多个方面取得了长足的进步,应用于软件开发的众多方面.但对现代大规模复杂软件系统(如千万行代码规模的Linux操作系统、分布式大数据处理系统Hadoop等)进行高精度的静态分析,因其极大规模数据量的计算,仍有一...
关键词:静态程序分析 软件质量保障 并行计算 分布式处理 GPU加速 
基于文件粒度的多目标软件缺陷预测方法实证研究被引量:14
《软件学报》2019年第12期3694-3713,共20页陈翔 赵英全 顾庆 倪超 王赞 
国家自然科学基金(61702041,61602267,61202006);南京大学计算机软件新技术国家重点实验室开放课题(KFKT2019B14);广西可信软件重点实验室研究课题(kx201610);南通市应用研究计划(JC2018134);江苏省政府留学奖学金~~
软件缺陷预测技术通过挖掘和分析软件库训练出软件缺陷预测模型,随后利用该模型来预测出被测软件项目内的缺陷程序模块,因此可以有效地优化测试资源的分配.在基于代价感知的评测指标下,有监督学习方法与无监督学习方法之间的预测性能比...
关键词:软件质量保障 软件缺陷预测 有监督学习 无监督学习 多目标优化 
基于符号执行与模糊测试的混合测试方法被引量:22
《软件学报》2019年第10期3071-3089,共19页谢肖飞 李晓红 陈翔 孟国柱 刘杨 
国家自然科学基金(61572349,61272106)~~
软件测试是保障软件质量的常用方法,如何获得高覆盖率是测试中十分重要且具有挑战性的研究问题.模糊测试与符号执行作为两大主流测试技术已被广泛研究并应用到学术界与工业界中,这两种技术都具有一定的优缺点:模糊测试随机变异生成测试...
关键词:软件质量保障 模糊测试 符号执行 测试用例生成 
基于特征迁移和实例迁移的跨项目缺陷预测方法被引量:15
《软件学报》2019年第5期1308-1329,共22页倪超 陈翔 刘望舒 顾庆 黄启国 李娜 
国家自然科学基金(61373012;61202006;91218302;61321491);南京大学计算机软件新技术国家重点实验室开放课题(KFKT2016B18;KFKT2018B17);江苏省自然科学基金(BK20180695);国家建设高水平大学公派研究生项目(201806190172)~~
在实际软件开发中,需要进行缺陷预测的项目可能是一个新启动项目,或者这个项目的历史训练数据较为稀缺.一种解决方案是利用其他项目(即源项目)已搜集的训练数据来构建模型,并完成对当前项目(即目标项目)的预测.但不同项目的数据集间会...
关键词:软件质量保障 软件缺陷预测 跨项目缺陷预测 迁移学习 特征迁移 实例迁移 
程序分析研究进展被引量:45
《软件学报》2019年第1期80-109,共30页张健 张超 玄跻峰 熊英飞 王千祥 梁彬 李炼 窦文生 陈振邦 陈立前 蔡彦 
国家重点基础研究发展计划(973)(2014CB340701);中国科学院前沿科学重点项目(QYZDJ-SSW-JSC036);国家自然科学基金(61772308;U1736209;61872273;61672045;61472440;61632015;61872445;61502465)~~
在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析...
关键词:程序分析 软件质量保障 静态分析 动态分析 
检索报告 对象比较 聚类工具 使用帮助 返回顶部