Loughborough University
Browse

Coverage-guided testing for recurrent neural networks

Download (3.24 MB)
journal contribution
posted on 2021-11-05, 11:57 authored by Wei Huang, Youcheng Sun, Xingyu Zhao, James Sharp, Wenjie Ruan, Jie MengJie Meng, Xiaowei Huang
Recurrent neural networks (RNNs) have been applied to a broad range of applications, including natural language processing, drug discovery, and video recognition. Their vulnerability to input perturbation is also known. Aligning with a view from software defect detection, this article aims to develop a coverage-guided testing approach to systematically exploit the internal behavior of RNNs, with the expectation that such testing can detect defects with high possibility. Technically, the long short-term memory network (LSTM), a major class of RNNs, is thoroughly studied. A family of three test metrics are designed to quantify not only the values but also the temporal relations (including both stepwise and bounded-length) exhibited when LSTM processing inputs. A genetic algorithm is applied to efficiently generate test cases. The test metrics and test case generation algorithm are implemented into a tool testRNN, which is then evaluated on a set of LSTM benchmarks. Experiments confirm that testRNN has advantages over the state-of-the-art tool DeepStellar and attack-based defect detection methods, owing to its working with finer temporal semantics and the consideration of the naturalness of input perturbation. Furthermore, testRNN enables meaningful information to be collected and exhibited for users to understand the testing results, which is an important step toward interpretable neural network testing.

Funding

UK Robotics and Artificial Intelligence Hub for Offshore Energy Asset Integrity Management

UK Research and Innovation

Find out more...

EnnCore: End-to-End Conceptual Guarding of Neural Architectures

Engineering and Physical Sciences Research Council

Find out more...

UK Dstl projects on Test Coverage Metrics for Artificial Intelligence and Safety Argument for Learning-enabled Autonomous Underwater Vehicles (SOLITUDE)

European Union’s Horizon 2020 research and innovation programme under grant agreement No 956123

History

School

  • Loughborough University London

Published in

IEEE Transactions on Reliability

Volume

71

Issue

3

Pages

1191 - 1206

Publisher

Institute of Electrical and Electronics Engineers

Version

  • AM (Accepted Manuscript)

Rights holder

© IEEE

Publisher statement

Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Acceptance date

2021-05-04

Publication date

2021-06-10

Copyright date

2021

ISSN

0018-9529

eISSN

1558-1721

Language

  • en

Depositor

Dr Jie Meng. Deposit date: 4 November 2021

Usage metrics

    Loughborough Publications

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC