期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
面向深度学习系统的模糊测试技术研究进展
被引量：
3
1
作者
代
贺
鹏
孙昌爱
+1 位作者
金慧
肖明俊
《软件学报》
EI
CSCD
北大核心
2023年第11期5008-5028,共21页
深度学习系统具有强大的学习与推理能力,在无人驾驶、语音识别和机器人等领域应用广泛.由于数据集的限制以及依赖人工标签数据,深度学习系统易于出现非预期的行为.近年来,深度学习系统的质量问题受到广泛的关注,特别是在安全攸关的领域...
深度学习系统具有强大的学习与推理能力,在无人驾驶、语音识别和机器人等领域应用广泛.由于数据集的限制以及依赖人工标签数据,深度学习系统易于出现非预期的行为.近年来,深度学习系统的质量问题受到广泛的关注,特别是在安全攸关的领域.由于模糊测试具有较强的故障揭示能力,运用模糊测试技术对深度学习系统进行测试成为研究热点.从测试用例生成(包括种子队列构建、种子选择和种子变异)、测试结果判定、覆盖分析3个方面对已有的深度学习系统的模糊测试技术进行总结,并介绍常用的数据集以及度量指标,最后对其发展方向进行展望.
展开更多
关键词
深度学习系统
模糊测试
研究进展
下载PDF
职称材料
CMuJava:一个面向Java程序并发变异体生成系统
被引量：
1
2
作者
孙昌爱
耿宁
+1 位作者
代
贺
鹏
顾友达
《软件学报》
EI
CSCD
北大核心
2022年第2期397-409,共13页
并发程序由多个共享存储空间并发执行的流程组成.由于流程之间执行次序的不确定性,使得并发软件系统的测试比较困难.变异测试是一种基于故障的软件测试技术,广泛用于评估测试用例集的充分性和测试技术的有效性.将变异测试应用于并发程...
并发程序由多个共享存储空间并发执行的流程组成.由于流程之间执行次序的不确定性,使得并发软件系统的测试比较困难.变异测试是一种基于故障的软件测试技术,广泛用于评估测试用例集的充分性和测试技术的有效性.将变异测试应用于并发程序的一个关键问题是,如何高效地生成大量的模拟并发故障的变异体集合.给出了一种并发程序的变异测试框架,研制了一个并发变异体自动生成工具CMuJava.采用经验研究的方式评估了CMuJava生成的变异体集合的正确性与充分性,并且评估了变异体生成的效率.实验结果表明:CMuJava能够准确、充分地生成并发变异体集合,极大地提高了手工变异体生成的效率.
展开更多
关键词
并发程序
变异测试
并发变异算子
并发变异体
测试工具
下载PDF
职称材料
题名
面向深度学习系统的模糊测试技术研究进展
被引量：
3
1
作者
代
贺
鹏
孙昌爱
金慧
肖明俊
机构
北京科技大学计算机与通信工程学院
出处
《软件学报》
EI
CSCD
北大核心
2023年第11期5008-5028,共21页
基金
国家自然科学基金(61872039)
北京市自然科学基金(4162040)
航空科学基金(2016ZD74004)。
文摘
深度学习系统具有强大的学习与推理能力,在无人驾驶、语音识别和机器人等领域应用广泛.由于数据集的限制以及依赖人工标签数据,深度学习系统易于出现非预期的行为.近年来,深度学习系统的质量问题受到广泛的关注,特别是在安全攸关的领域.由于模糊测试具有较强的故障揭示能力,运用模糊测试技术对深度学习系统进行测试成为研究热点.从测试用例生成(包括种子队列构建、种子选择和种子变异)、测试结果判定、覆盖分析3个方面对已有的深度学习系统的模糊测试技术进行总结,并介绍常用的数据集以及度量指标,最后对其发展方向进行展望.
关键词
深度学习系统
模糊测试
研究进展
Keywords
deep learning(DL)system
fuzz testing
state-of-the-art survey
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
CMuJava:一个面向Java程序并发变异体生成系统
被引量：
1
2
作者
孙昌爱
耿宁
代
贺
鹏
顾友达
机构
北京科技大学计算机与通信工程学院
计算机科学国家重点实验室(中国科学院软件研究所)
出处
《软件学报》
EI
CSCD
北大核心
2022年第2期397-409,共13页
基金
国家自然科学基金(61872039)
中国科学院软件研究所计算机科学国家重点实验室开放课题(SYSKF1803)
中央高校基本科研业务费专项资金(FRF-GF-19-019B)。
文摘
并发程序由多个共享存储空间并发执行的流程组成.由于流程之间执行次序的不确定性,使得并发软件系统的测试比较困难.变异测试是一种基于故障的软件测试技术,广泛用于评估测试用例集的充分性和测试技术的有效性.将变异测试应用于并发程序的一个关键问题是,如何高效地生成大量的模拟并发故障的变异体集合.给出了一种并发程序的变异测试框架,研制了一个并发变异体自动生成工具CMuJava.采用经验研究的方式评估了CMuJava生成的变异体集合的正确性与充分性,并且评估了变异体生成的效率.实验结果表明:CMuJava能够准确、充分地生成并发变异体集合,极大地提高了手工变异体生成的效率.
关键词
并发程序
变异测试
并发变异算子
并发变异体
测试工具
Keywords
concurrent programs
mutation testing
concurrent mutation operators
concurrent mutants
testing tools
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
面向深度学习系统的模糊测试技术研究进展
代
贺
鹏
孙昌爱
金慧
肖明俊
《软件学报》
EI
CSCD
北大核心
2023
3
下载PDF
职称材料
2
CMuJava:一个面向Java程序并发变异体生成系统
孙昌爱
耿宁
代
贺
鹏
顾友达
《软件学报》
EI
CSCD
北大核心
2022
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
