DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems

被引:451
作者
Ma, Lei [1 ,3 ]
Juefei-Xu, Felix [2 ]
Zhang, Fuyuan [3 ]
Sun, Jiyuan [4 ]
Xue, Minhui [3 ]
Li, Bo [5 ]
Chen, Chunyang [6 ]
Su, Ting [3 ]
Li, Li [6 ]
Liu, Yang [3 ]
Zhao, Jianjun [4 ]
Wang, Yadong [1 ]
机构
[1] Harbin Inst Technol, Harbin, Heilongjiang, Peoples R China
[2] Carnegie Mellon Univ, Pittsburgh, PA 15213 USA
[3] Nanyang Technol Univ, Singapore, Singapore
[4] Kyushu Univ, Fukuoka, Japan
[5] Univ Illinois, Urbana, IL 61801 USA
[6] Monash Univ, Clayton, Vic, Australia
来源
PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18) | 2018年
基金
国家重点研发计划;
关键词
Deep learning; Software testing; Deep neural networks; Testing criteria;
D O I
10.1145/3238147.3238202
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Deep learning (DL) defines a new data-driven programming paradigm that constructs the internal system logic of a crafted neuron network through a set of training data. We have seen wide adoption of DL in many safety-critical scenarios. However, a plethora of studies have shown that the state-of-the-art DL systems suffer from various vulnerabilities which can lead to severe consequences when applied to real-world applications. Currently, the testing adequacy of a DL system is usually measured by the accuracy of test data. Considering the limitation of accessible high quality test data, good accuracy performance on test data can hardly provide confidence to the testing adequacy and generality of DL systems. Unlike traditional software systems that have clear and controllable logic and functionality, the lack of interpretability in a DL system makes system analysis and defect detection difficult, which could potentially hinder its real-world deployment. In this paper, we propose DeepGauge, a set of multi-granularity testing criteria for DL systems, which aims at rendering a multi-faceted portrayal of the testbed. The in-depth evaluation of our proposed testing criteria is demonstrated on two well-known datasets, five DL systems, and with four state-of-the-art adversarial attack techniques against DL. The potential usefulness of DeepGauge sheds light on the construction of more generic and robust DL systems.
引用
收藏
页码:120 / 131
页数:12
相关论文
共 59 条
[1]  
Abadi M., 2016, TENSORFLOW LARGESCAL
[2]  
Ammann P., 2016, INTRO SOFTWARE TESTI
[3]  
[Anonymous], 2012, Advances in neural information processing systems, DOI DOI 10.5555/2999325.2999452
[4]  
[Anonymous], 2007, Practical Model-Based Testing: A Tools Approach
[5]  
[Anonymous], 2018, ARXIV180602891
[6]   Model-based API Testing of Apache ZooKeeper [J].
Artho, Cyrille ;
Gros, Quentin ;
Rousset, Guillaume ;
Banzai, Kazuaki ;
Ma, Lei ;
Kitamura, Takashi ;
Hagiya, Masami ;
Tanabe, Yoshinori ;
Yamamoto, Mitsuharu .
2017 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2017, :288-298
[7]  
Athalye A, 2018, PR MACH LEARN RES, V80
[8]   The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond [J].
Baudry, Benoit ;
Monperrus, Martin .
ACM COMPUTING SURVEYS, 2015, 48 (01)
[9]  
Brendel W, 2018, INT C LEARN REPR ICL, DOI DOI 10.48550/ARXIV.1712.04248
[10]  
Carlini N., 2017, P 10 ACM WORKSH ART, P3, DOI DOI 10.1145/3128572.3140444