DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks

被引:274
|
作者
Xie, Xiaofei [1 ]
Ma, Lei [2 ]
Juefei-Xu, Felix [3 ]
Xue, Minhui [4 ]
Chen, Hongxu [1 ]
Liu, Yang [1 ,5 ]
Zhao, Jianjun [2 ]
Li, Bo [6 ]
Yin, Jianxiong [7 ]
See, Simon [7 ]
机构
[1] Nanyang Technol Univ, Singapore, Singapore
[2] Kyushu Univ, Fukuoka, Fukuoka, Japan
[3] Carnegie Mellon Univ, Pittsburgh, PA 15213 USA
[4] Univ Adelaide, Adelaide, SA, Australia
[5] Zhejiang Sci Tech Univ, Hangzhou, Zhejiang, Peoples R China
[6] Univ Illinois, Urbana, IL USA
[7] NVIDIA AI Tech Ctr, Singapore, Singapore
来源
PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19) | 2019年
基金
新加坡国家研究基金会;
关键词
Deep learning testing; metamorphic testing; coverage-guided fuzzing;
D O I
10.1145/3293882.3330579
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
The past decade has seen the great potential of applying deep neural network (DNN) based software to safety-critical scenarios, such as autonomous driving. Similar to traditional software, DNNs could exhibit incorrect behaviors, caused by hidden defects, leading to severe accidents and losses. In this paper, we propose DeepHunter, a coverage-guided fuzz testing framework for detecting potential defects of general-purpose DNNs. To this end, we first propose a metamorphic mutation strategy to generate new semantically preserved tests, and leverage multiple extensible coverage criteria as feedback to guide the test generation. We further propose a seed selection strategy that combines both diversity-based and recency-based seed selection. We implement and incorporate 5 existing testing criteria and 4 seed selection strategies in DeepHunter. Large-scale experiments demonstrate that (1) our metamorphic mutation strategy is useful to generate new valid tests with the same semantics as the original seed, by up to a 98% validity ratio; (2) the diversity-based seed selection generally weighs more than recency-based seed selection in boosting the coverage and in detecting defects; (3) DeepHunter outperforms the state of the arts by coverage as well as the quantity and diversity of defects identified; (4) guided by corner-region based criteria, DeepHunteris useful to capture defects during the DNN quantization for platform migration.
引用
收藏
页码:146 / 157
页数:12
相关论文
共 13 条
  • [1] COMET: Coverage-guided Model Generation For Deep Learning Library Testing
    Li, Meiziniu
    Cao, Jialun
    Tian, Yongqiang
    Li, Tsz On
    Wen, Ming
    Cheung, Shing-Chi
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2023, 32 (05)
  • [2] Coverage-guided fuzzing for deep reinforcement learning systems
    Wan, Xiaohui
    Li, Tiancheng
    Lin, Weibin
    Cai, Yi
    Zheng, Zheng
    JOURNAL OF SYSTEMS AND SOFTWARE, 2024, 210
  • [3] JQF: Coverage-Guided Property-Based Testing in Java']Java
    Padhye, Rohan
    Lemieux, Caroline
    Sen, Koushik
    PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19), 2019, : 398 - 401
  • [4] NDFuzz: a non-intrusive coverage-guided fuzzing framework for virtualized network devices
    Zhang, Yu
    Zhong, Nanyu
    You, Wei
    Zou, Yanyan
    Jian, Kunpeng
    Xu, Jiahuan
    Sun, Jian
    Liu, Baoxu
    Huo, Wei
    CYBERSECURITY, 2022, 5 (01)
  • [5] Distribution Aware Testing Framework for Deep Neural Networks
    Demir, Demet
    Can, Aysu Betin
    Surer, Elif
    IEEE ACCESS, 2023, 11 : 119481 - 119505
  • [6] NDFuzz: a non-intrusive coverage-guided fuzzing framework for virtualized network devices
    Yu Zhang
    Nanyu Zhong
    Wei You
    Yanyan Zou
    Kunpeng Jian
    Jiahuan Xu
    Jian Sun
    Baoxu Liu
    Wei Huo
    Cybersecurity, 5
  • [7] Seed Selection for Testing Deep Neural Networks
    Zhi, Yuhan
    Xie, Xiaofei
    Shen, Chao
    Sun, Jun
    Zhang, Xiaoyu
    Guan, Xiaohong
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2024, 33 (01)
  • [8] Revisiting Neuron Coverage Metrics and Quality of Deep Neural Networks
    Yang, Zhou
    Shi, Jieke
    Asyrofi, Muhammad Hilmi
    Lo, David
    2022 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING (SANER 2022), 2022, : 408 - 419
  • [9] DANCe: Dynamic Adaptive Neuron Coverage for Fuzzing Deep Neural Networks
    Ye, Aoshuang
    Wang, Lina
    Zhao, Lei
    Ke, Jianpeng
    2022 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), 2022,
  • [10] NPC: Neuron Path Coverage via Characterizing Decision Logic of Deep Neural Networks
    Xie, Xiaofei
    Li, Tianlin
    Wang, Jian
    Ma, Lei
    Guo, Qing
    Juefei-Xu, Felix
    Liu, Yang
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2022, 31 (03)