Duo: Differential Fuzzing for Deep Learning Operators

模糊测试 正确性 计算机科学 稳健性(进化) 操作员(生物学) 推论 人工智能 人工神经网络 深度学习 机器学习 软件 算法 程序设计语言 生物化学 化学 抑制因子 转录因子 基因
作者
Xufan Zhang,Jiawei Liu,Ning Sun,Chunrong Fang,Jia Liu,Jiang Wang,Dong Chai,Zhenyu Chen
出处
期刊:IEEE Transactions on Reliability [Institute of Electrical and Electronics Engineers]
卷期号:70 (4): 1671-1685 被引量:30
标识
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.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
自然忆文完成签到 ,获得积分10
刚刚
soleil发布了新的文献求助10
1秒前
要温柔发布了新的文献求助30
1秒前
小董不懂发布了新的文献求助10
1秒前
2秒前
王晓风完成签到,获得积分10
2秒前
wwwwc完成签到,获得积分10
3秒前
3秒前
icewuwu完成签到,获得积分10
3秒前
3秒前
共享精神应助达菲采纳,获得10
4秒前
4秒前
5秒前
无花果应助林晓洁采纳,获得10
5秒前
科研通AI2S应助Ican采纳,获得30
7秒前
镇痛蚊子发布了新的文献求助10
7秒前
cf2v完成签到 ,获得积分10
7秒前
9秒前
李健应助ni采纳,获得10
9秒前
9秒前
温温发布了新的文献求助10
10秒前
10秒前
10秒前
局内人发布了新的文献求助10
11秒前
今后应助孔宣2采纳,获得10
11秒前
12秒前
bkagyin应助科研通管家采纳,获得10
12秒前
12秒前
BowieHuang应助科研通管家采纳,获得10
12秒前
12秒前
12秒前
12秒前
科研通AI2S应助科研通管家采纳,获得10
12秒前
12秒前
12秒前
12秒前
深情安青应助科研通管家采纳,获得10
12秒前
12秒前
小蘑菇应助科研通管家采纳,获得10
12秒前
Ava应助科研通管家采纳,获得10
13秒前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Lloyd's Register of Shipping's Approach to the Control of Incidents of Brittle Fracture in Ship Structures 1000
BRITTLE FRACTURE IN WELDED SHIPS 1000
Hope Teacher Rating Scale 1000
Entre Praga y Madrid: los contactos checoslovaco-españoles (1948-1977) 1000
Polymorphism and polytypism in crystals 1000
Encyclopedia of Materials: Plastics and Polymers 800
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 纳米技术 有机化学 物理 生物化学 化学工程 计算机科学 复合材料 内科学 催化作用 光电子学 物理化学 电极 冶金 遗传学 细胞生物学
热门帖子
关注 科研通微信公众号,转发送积分 6097015
求助须知:如何正确求助?哪些是违规求助? 7926872
关于积分的说明 16414285
捐赠科研通 5227232
什么是DOI,文献DOI怎么找? 2793716
邀请新用户注册赠送积分活动 1776468
关于科研通互助平台的介绍 1650629