Abstract:The paper introduces the first set of coverage criteria specifically designed for the systematic measurement of deep learning (DL) libraries across various granularities. APIs, as the fundamental components of DL libraries, are used to define coverage criteria gauging testing adequacy by thoroughly considering their invocation, implementation, parameter quantity and parameter attributes (i.e., type and shape). Deep learning (DL) systems are becoming increasingly widely used in safety domains such as self‐driving cars and unmanned aerial vehicles, which arouse natural concerns about their trustworthiness. Underlying DL libraries used in the construction and execution of DL models are involved in the testing processes of DL systems. Therefore, bugs in DL libraries can inevitably cause unexpected behaviours in DL systems. The internal structures of DL libraries are described as APIs with different functionalities, and DL libraries offer model developers access to DL techniques with various API parameter settings. The above characteristics of DL libraries reveal that existing DL coverage criteria are not designed specifically for DL libraries, and traditional software coverage criteria do not apply to DL libraries either. The paper introduces the first set of coverage criteria specifically designed for the systematic measurement of DL libraries across various granularities. APIs, as the fundamental components of DL libraries, are used to define coverage criteria gauging testing adequacy by thoroughly considering their invocation, implementation, parameter quantities and parameter attributes. Furthermore, some properties depicting relations between coverage criteria are investigated. Experiments on the effectiveness of the proposed coverage criteria and comparative analysis are conducted by interval estimate and hypothesis testing techniques for APIs in two well‐known DL libraries. The experimental results demonstrate that the proposed coverage criteria are effective in measuring the test adequacy of DL libraries, and they can be used for the quantitative analysis of test model quality in DL libraries.

Discussion about Coverage Metrics of Generic Program

Effective code coverage in compositional systematic dynamic testing

A Study of Enhanced MC/DC Coverage Criterion for Software Testing.

Test Coverage Analysis Based on Program Slicing

White Box Test Basic Path Algorithm

Measuring C Program Coverage Based on Binary Decision Diagrams

Coverage Goal Selector for Combining Multiple Criteria in Search-Based Unit Test Generation

Extended Covering Arrays for Sequence Coverage.

Dynamic evaluation method based multi-dimensional test coverage for Software Testing

A Study of Simulation Coverage Analysis Method

Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version)

Hunting for bugs in code coverage tools via randomized differential testing

Automatic Self-Validation for Code Coverage Profilers.

Guided test generation for coverage criteria

Generalized Coverage Criteria for Combinatorial Sequence Testing

Test of Code Coverage Based on Magellan

Novel Method of Control Flow and Structural Coverage Measurement for Object Code Verification

An Investigation of Classification-Based Algorithms for Modified Condition/Decision Coverage Criteria

A Method System of Organizing and Managing the White-box Testing Project for Large-scale Application

Multigranularity Coverage Criteria for Deep Learning Libraries

The Study of Pairwise Condition Covering Test Technology