已入深夜,您辛苦了!由于当前在线用户较少,发布求助请尽量完整的填写文献信息,科研通机器人24小时在线,伴您度过漫漫科研夜!祝你早点完成任务,早点休息,好梦!

Duo: Differential Fuzzing for Deep Learning Operators

模糊测试 正确性 计算机科学 稳健性(进化) 操作员(生物学) 推论 人工智能 人工神经网络 深度学习 机器学习 软件 算法 程序设计语言 生物化学 化学 抑制因子 转录因子 基因
作者
Xufan Zhang,Jiawei Liu,Sun Ning,Chunrong Fang,Jia Liu,Jiang Wang,Dong Chai,Zhenyu Chen
出处
期刊:IEEE Transactions on Reliability [Institute of Electrical and Electronics Engineers]
卷期号:70 (4): 1671-1685 被引量:26
标识
DOI:10.1109/tr.2021.3107165
摘要

Deep learning (DL) libraries reduce the barriers to the DL model construction. In DL libraries, various building blocks are DL operators with different functionality, responsible for processing high-dimensional tensors during training and inference. Thus, the quality of operators could directly impact the quality of models. However, existing DL testing techniques mainly focus on robustness testing of trained neural network models and cannot locate DL operators' defects. The insufficient test input and undetermined test output in operator testing have become challenging for DL library developers. In this article, we propose an approach, namely Duo, which combines fuzzing techniques and differential testing techniques to generate input and evaluate corresponding output. It implements mutation-based fuzzing to produce tensor inputs by employing nine mutation operators derived from genetic algorithms and differential testing to evaluate outputs' correctness from multiple operator instances. Duo is implemented in a tool and used to evaluate seven operators from TensorFlow, PyTorch, MNN, and MXNet in an experiment. The result shows that Duo can expose defects of DL operators and realize multidimension evaluation for DL operators from different DL libraries.

科研通智能强力驱动
Strongly Powered by AbleSci AI

祝大家在新的一年里科研腾飞
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
594发布了新的文献求助10
刚刚
汪小白发布了新的文献求助10
2秒前
JessieXue完成签到,获得积分10
5秒前
6秒前
Jasper应助豆豆可采纳,获得10
8秒前
沸羊羊发布了新的文献求助10
14秒前
14秒前
学无止境完成签到,获得积分10
14秒前
15秒前
16秒前
沸羊羊完成签到,获得积分10
18秒前
19秒前
柠檬发布了新的文献求助10
19秒前
19秒前
动人的书雪完成签到,获得积分10
20秒前
英勇的安柏完成签到,获得积分10
20秒前
豆豆可发布了新的文献求助10
21秒前
21秒前
科研通AI2S应助阳光的匕采纳,获得10
22秒前
乐乐发布了新的文献求助10
23秒前
乐乐应助JessieXue采纳,获得10
24秒前
sdniuidifod发布了新的文献求助10
24秒前
sangsang发布了新的文献求助10
25秒前
萧小五发布了新的文献求助10
25秒前
沉默妙彤发布了新的文献求助10
26秒前
yannic应助熊仔一百采纳,获得30
28秒前
无私的蛋挞完成签到,获得积分10
28秒前
pzk关闭了pzk文献求助
29秒前
胖橘发布了新的文献求助30
30秒前
科研通AI2S应助帅气老虎采纳,获得10
32秒前
mo完成签到,获得积分20
34秒前
万能图书馆应助中国女孩采纳,获得10
35秒前
mo发布了新的文献求助10
37秒前
ww发布了新的文献求助10
37秒前
无情的孤容完成签到,获得积分10
39秒前
CodeCraft应助ttt采纳,获得10
47秒前
优美的飞柏完成签到 ,获得积分10
48秒前
49秒前
思源应助清秀芸遥采纳,获得10
49秒前
DcQiu科研小白完成签到 ,获得积分10
50秒前
高分求助中
Востребованный временем 2500
The Three Stars Each: The Astrolabes and Related Texts 1500
Classics in Total Synthesis IV: New Targets, Strategies, Methods 1000
Les Mantodea de Guyane 800
Mantids of the euro-mediterranean area 700
The Oxford Handbook of Educational Psychology 600
有EBL数据库的大佬进 Matrix Mathematics 500
热门求助领域 (近24小时)
化学 医学 生物 材料科学 工程类 有机化学 生物化学 内科学 物理 纳米技术 计算机科学 遗传学 化学工程 基因 复合材料 免疫学 物理化学 细胞生物学 催化作用 病理
热门帖子
关注 科研通微信公众号,转发送积分 3413058
求助须知:如何正确求助?哪些是违规求助? 3015511
关于积分的说明 8870700
捐赠科研通 2703227
什么是DOI,文献DOI怎么找? 1482085
科研通“疑难数据库(出版商)”最低求助积分说明 685129
邀请新用户注册赠送积分活动 679909