Improving Deep Learning Framework Testing with Model-Level Metamorphic Testing

TL;DR

This paper introduces ModelMeta, a novel model-level metamorphic testing approach for deep learning frameworks that enhances bug detection by analyzing model structures, interface combinations, and runtime metrics.

Contribution

It proposes a new metamorphic testing method that considers model structure and multi-interface interactions, improving bug detection over existing approaches.

Findings

Enhanced bug detection in DL frameworks through model-level testing.

Effective identification of bugs related to resource usage and training metrics.

Improved test input diversity and generalization across interfaces.

Abstract

Deep learning (DL) frameworks are essential to DL-based software systems, and framework bugs may lead to substantial disasters, thus requiring effective testing. Researchers adopt DL models or single interfaces as test inputs and analyze their execution results to detect bugs. However, floating-point errors, inherent randomness, and the complexity of test inputs make it challenging to analyze execution results effectively, leading to existing methods suffering from a lack of suitable test oracles. Some researchers utilize metamorphic testing to tackle this challenge. They design Metamorphic Relations (MRs) based on input data and parameter settings of a single framework interface to generate equivalent test inputs, ensuring consistent execution results between original and generated test inputs. Despite their promising effectiveness, they still face certain limitations. (1) Existing MRs overlook structural complexity, limiting test input diversity. (2) Existing MRs focus on limited interfaces, which limits generalization and necessitates additional adaptations. (3) Their detected bugs are related to the result consistency of single interfaces and far from those exposed in multi-interface combinations and runtime metrics (e.g., resource usage). To address these limitations, we propose ModelMeta, a model-level metamorphic testing method for DL frameworks with four MRs focused on the structure characteristics of DL models. ModelMeta augments seed models with diverse interface combinations to generate test inputs with consistent outputs, guided by the QR-DQN strategy. It then detects bugs through fine-grained analysis of training loss/gradients, memory/GPU usage, and execution time.