Related Experiment Video
Updated: May 6, 2026

09:34
A Virtual Machine Platform for Non-Computer Professionals for Using Deep Learning to Classify Biological Sequences of Metagenomic Data
Published on: September 25, 2021
3.9K
Testing convolutional neural network based deep learning systems: a statistical metamorphic approach.
Faqeer Ur Rehman1, Clemente Izurieta1,2,3
1Gianforte School of Computing, Montana State University, Bozeman, Montana, United States.
Peerj. Computer Science
|March 10, 2025
Summary
Statistical metamorphic testing (SMT) addresses limitations in verifying deep learning models by using statistical methods to validate metamorphic relations, improving fault detection in AI systems.
Area of Science:
- Artificial Intelligence
- Software Engineering
- Machine Learning
Background:
- Machine learning (ML) is crucial in domains like healthcare and autonomous driving.
- Metamorphic testing (MT) is effective for complex systems lacking or with difficult oracles.
- Conventional MT struggles with the stochastic nature of deep learning models, like convolutional neural networks (CNNs).
Purpose of the Study:
- To address the limitations of conventional MT in verifying stochastic deep learning models.
- To introduce a statistical metamorphic testing (SMT) technique that bypasses the need for fixed random seeds.
- To propose an algorithm for minimizing metamorphic relations (MRs) to optimize testing resources.
Main Methods:
- Proposed seven novel MRs tailored for deep learning models.
- Integrated statistical methods to verify adherence to MRs without deterministic outputs.
- Employed mutation testing to demonstrate the approach's effectiveness on CNNs for pneumonia detection.
- Developed an MR minimization algorithm for computational efficiency.
Main Results:
- The SMT approach successfully uncovered 85.71% of implementation faults in the classifiers under test (CUT).
- The proposed MRs and statistical verification methods effectively validated deep learning models.
- The MR minimization algorithm demonstrated potential for significant savings in testing resources.
Conclusions:
- SMT offers a robust solution for testing stochastic deep learning models, overcoming limitations of traditional MT.
- The proposed technique enhances fault detection rates in critical AI applications, particularly in healthcare.
- The MR minimization algorithm contributes to more efficient and cost-effective software testing practices.
Related Concept Videos
Survival Tree
514
Survival trees are a non-parametric method used in survival analysis to model the relationship between a set of covariates and the time until an event of interest occurs, often referred to as the "time-to-event" or "survival time." This method is particularly useful when dealing with censored data, where the event has not occurred for some individuals by the end of the study period, or when the exact time of the event is unknown.
Building a Survival Tree
Constructing a...
Building a Survival Tree
Constructing a...
514
Newton’s Method
202
Newton’s Method is a powerful iterative technique for approximating the roots of real-valued, differentiable functions, particularly when analytical solutions are impractical. This approach is widely used in scientific computing, engineering, and finance, where equations may be too complex for traditional algebraic methods to handle. The method relies on an iterative process that refines an initial estimate using the function’s derivative to approach the true solution progressively.
202
Area Problem
313
Determining the area of a region with straight edges is straightforward, as geometric formulas for rectangles, triangles, and polygons can be applied directly. However, traditional geometric methods are insufficient when a region has a curved boundary, such as the area under a function.fromThe area problem involves finding a systematic way to measure such regions. One approach to solving this problem is through approximation. Instead of attempting to compute the area exactly at the outset, the...
313
Net Change Theorem
223
The Net Change Theorem is a fundamental principle in calculus that establishes a direct relationship between a function’s rate of change and its accumulated change over an interval. Mathematically, it states that the definite integral of a function's derivative over a given interval [a,b] yields the net change in the original function:This theorem has significant applications in various real-world scenarios, including physics, economics, and engineering. A particularly useful application...
223
Calculation of Volume of Solids by Integration
420
Volume calculation often begins with simple geometric solids. For example, the volume of a rectangular box is obtained by multiplying the area of its base by its height. This straightforward approach relies on the fact that the cross-sectional area of the box remains constant throughout its length. Many real-world objects, however, do not have uniform cross-sections, and their volumes cannot be determined using elementary geometric formulas.To address this limitation, the Slicing Method...
420

