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

Toward Understanding Deep Learning Framework Bugs

调试 计算机科学 软件质量保证 任务(项目管理) 软件工程 软件错误 人工智能 根本原因 机器学习 程序设计语言 软件质量 软件 软件开发 系统工程 可靠性工程 工程类
作者
Junjie Chen,Yihua Liang,Qingchao Shen,Jiajun Jiang,Shuochuan Li
出处
期刊:ACM Transactions on Software Engineering and Methodology [Association for Computing Machinery]
卷期号:32 (6): 1-31 被引量:43
标识
DOI:10.1145/3587155
摘要

DL frameworks are the basis of constructing all DL programs and models, and thus their bugs could lead to the unexpected behaviors of any DL program or model relying on them. Such a wide effect demonstrates the necessity and importance of guaranteeing DL frameworks’ quality. Understanding the characteristics of DL framework bugs is a fundamental step for this quality assurance task, facilitating designing effective bug detection and debugging approaches. Hence, in this work, we conduct the most large-scale study on 1,000 bugs from four popular and diverse DL frameworks (i.e., TensorFlow, PyTorch, MXNet, and DL4J). By analyzing the root causes and symptoms of DL framework bugs associated with five components decomposed from DL frameworks, as well as measuring test coverage achieved by three state-of-the-art testing techniques, we obtain 12 major findings for the comprehensive understanding of DL framework bugs and the current status of existing DL framework testing practice, and then provide a series of actionable guidelines for better DL framework bug detection and debugging. Finally, based on the guidelines, we design and implement a prototype DL-framework testing tool, called TenFuzz , which is evaluated to be effective and finds three unknown bugs on the latest TensorFlow framework in a preliminary study, indicating the significance of our guidelines.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
徐豆芽关注了科研通微信公众号
2秒前
王钢铁完成签到,获得积分10
2秒前
YJ888完成签到,获得积分20
4秒前
AXBNG完成签到 ,获得积分10
10秒前
10秒前
11秒前
11秒前
星辰大海应助niufuking采纳,获得10
12秒前
12秒前
华仔应助科研通管家采纳,获得10
12秒前
GingerF应助科研通管家采纳,获得50
12秒前
bkagyin应助科研通管家采纳,获得10
12秒前
科目三应助科研通管家采纳,获得10
12秒前
12秒前
sure完成签到 ,获得积分10
13秒前
小破孩完成签到 ,获得积分10
14秒前
乐乐应助秋殤采纳,获得10
14秒前
gaberella完成签到 ,获得积分10
14秒前
冷静伟诚发布了新的文献求助10
16秒前
kjw0708完成签到 ,获得积分10
17秒前
mix完成签到 ,获得积分10
19秒前
碧蓝的安露完成签到 ,获得积分10
23秒前
上官若男应助玥宝宝采纳,获得10
23秒前
24秒前
小名完成签到 ,获得积分10
25秒前
25秒前
GingerF应助罗布林卡采纳,获得200
27秒前
yangquanquan完成签到,获得积分10
29秒前
秋殤发布了新的文献求助10
29秒前
30秒前
w1x2123完成签到,获得积分0
31秒前
丘比特应助冷静伟诚采纳,获得10
32秒前
科研通AI6.3应助dqs采纳,获得10
35秒前
坚定语蕊完成签到,获得积分10
38秒前
comeongong完成签到,获得积分10
41秒前
YuxinChen完成签到 ,获得积分10
42秒前
坚定语蕊发布了新的文献求助10
43秒前
43秒前
外向不愁完成签到,获得积分10
45秒前
小单完成签到 ,获得积分10
45秒前
高分求助中
卤化钙钛矿人工突触的研究 2000
Malcolm Fraser : a biography 700
Signals, Systems, and Signal Processing 610
Software that combines deep learning,3D reconstruction and CFD to analyze the state of carotid arteries from ultrasound imaging 500
Bounds for Statistical Estimation in Semiparametric Models 500
Forced degradation and stability indicating LC method for Letrozole: A stress testing guide 500
Ideology and Meaning-Making under the Putin Regime 450
热门求助领域 (近24小时)
化学 材料科学 医学 生物 纳米技术 工程类 有机化学 化学工程 生物化学 计算机科学 物理 内科学 复合材料 催化作用 物理化学 光电子学 电极 细胞生物学 基因 无机化学
热门帖子
关注 科研通微信公众号,转发送积分 6494970
求助须知:如何正确求助?哪些是违规求助? 8291864
关于积分的说明 17694325
捐赠科研通 5588217
什么是DOI,文献DOI怎么找? 2916342
邀请新用户注册赠送积分活动 1893268
关于科研通互助平台的介绍 1752207