Deep Learning Library Testing: Definition, Methods and Challenges

计算机科学 工作流程 软件工程 管道(软件) 软件 编译程序 图书馆分类 数据科学 万维网 程序设计语言 数据库
作者
Xiaoyu Zhang,Weipeng Jiang,Chao Shen,Qi Li,Qian Wang,Chenhao Lin,Xiaohong Guan
出处
期刊:ACM Computing Surveys [Association for Computing Machinery]
卷期号:57 (7): 1-37
标识
DOI:10.1145/3716497
摘要

Recently, software systems powered by deep learning (DL) techniques have significantly facilitated people’s lives in many aspects. As the backbone of these DL systems, various DL libraries undertake the underlying optimization and computation. However, like traditional software, DL libraries are not immune to bugs. These bugs may be propagated to programs and software developed based on DL libraries, thereby posing serious threats to users’ personal property and safety. Studying the characteristics of DL libraries, their associated bugs, and the corresponding testing methods is crucial for enhancing the security of DL systems and advancing the widespread application of DL technology. This paper provides an overview of the testing research on various DL libraries, discusses the strengths and weaknesses of existing methods, and provides guidance and reference for the application of DL library testing methods. This paper first introduces the workflow of DL underlying libraries and the characteristics of three kinds of DL libraries involved, namely DL framework, DL compiler, and DL hardware library. Subsequently, this paper constructs a literature collection pipeline and comprehensively summarizes existing testing methods on these DL libraries to analyze their effectiveness and limitations. It also reports findings and the challenges of existing DL library testing in real-world applications for future research.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
1秒前
1秒前
安东尼发布了新的文献求助10
1秒前
林10完成签到,获得积分10
2秒前
o_0完成签到,获得积分20
4秒前
5秒前
6秒前
Akim应助咕咕咕采纳,获得10
6秒前
123完成签到,获得积分10
6秒前
执着又蓝完成签到,获得积分20
7秒前
潘文博完成签到,获得积分10
8秒前
潘文博发布了新的文献求助10
11秒前
君君应助lj采纳,获得10
14秒前
搜集达人应助如意草丛采纳,获得10
14秒前
四个和尚完成签到,获得积分10
16秒前
研友_VZG7GZ应助耐凡不哭采纳,获得10
17秒前
韩夏菲完成签到,获得积分10
17秒前
17秒前
搜集达人应助科研通管家采纳,获得10
17秒前
李健应助科研通管家采纳,获得10
17秒前
Lucas应助科研通管家采纳,获得10
17秒前
科研通AI5应助科研通管家采纳,获得10
17秒前
科研通AI2S应助科研通管家采纳,获得10
18秒前
研友_VZG7GZ应助科研通管家采纳,获得10
18秒前
bkagyin应助科研通管家采纳,获得10
18秒前
科研通AI5应助科研通管家采纳,获得10
18秒前
18秒前
19秒前
19秒前
起起发布了新的文献求助10
19秒前
22秒前
beibeibaobao发布了新的文献求助10
22秒前
勤H完成签到 ,获得积分10
23秒前
博修发布了新的文献求助10
23秒前
pluto应助韩夏菲采纳,获得10
25秒前
25秒前
科研通AI5应助执着又蓝采纳,获得10
26秒前
Adeline发布了新的文献求助30
26秒前
YYL完成签到,获得积分10
26秒前
29秒前
高分求助中
Basic Discrete Mathematics 1000
Technologies supporting mass customization of apparel: A pilot project 600
Introduction to Strong Mixing Conditions Volumes 1-3 500
Tip60 complex regulates eggshell formation and oviposition in the white-backed planthopper, providing effective targets for pest control 400
A Field Guide to the Amphibians and Reptiles of Madagascar - Frank Glaw and Miguel Vences - 3rd Edition 400
China Gadabouts: New Frontiers of Humanitarian Nursing, 1941–51 400
The Healthy Socialist Life in Maoist China, 1949–1980 400
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 物理 生物化学 纳米技术 计算机科学 化学工程 内科学 复合材料 物理化学 电极 遗传学 量子力学 基因 冶金 催化作用
热门帖子
关注 科研通微信公众号,转发送积分 3799266
求助须知:如何正确求助?哪些是违规求助? 3344889
关于积分的说明 10322458
捐赠科研通 3061369
什么是DOI,文献DOI怎么找? 1680310
邀请新用户注册赠送积分活动 806960
科研通“疑难数据库(出版商)”最低求助积分说明 763451