M ODEL V ALIDATION U SING M UTATED T RAINING L ABELS : A N E XPLORATORY S TUDY
Anonymous authors
Paper under double-blind review
A BSTRACT
We introduce an exploratory study on Mutation Validation (MV), a model validation method using mutated training labels for supervised learning.
MV mutates training data labels, retrains the model against the mutated data, then uses the metamorphic relation that captures the consequent training performance changes to assess model fit.
It does not use a validation set or test set.
The intuition underpinning MV is that overfitting models tend to fit noise in the training data.
We exploredifferent learning algorithms, 18 datasets and 5 types of hyperparameter tuning tasks.
Our results demonstrate that MV is accurate in model selection: the model recommendation hit rate is 92% for MV and less than 60% for out-of-samplevalidation.
MV also provides more stable hyperparameter tuning results than out-of-sample-validation across different runs
I NTRODUCTION
Out-of-sample validation (such as test accuracy) is arguably the most popular approach adopted by researchers and developers for empirically validating models in applied machine learning.
It uses data different from the training data to approximate future unseen data.
However, out-of-sample validation is widely acknowledged to have limitations: 1) the sample set may be too small to represent the data distribution; 2) the accuracy can have a large variance across different runs (Pham et al., 2020); 3) the samples are typically randomly selected from the collected data, and may therefore have similar bias as in the training data, leading to an inflated validation score (Piironen & Vehtari, 2017; Gronau &
Wagenmakers, 2019); 4) excessive reuse of a fixed set of samples can lead to overfitting even if the samples are held out and not used in the training process (Feldman et al., 2019).
The Mutation Validation (MV) approach we explore is a new approach to validating machine learning models relying only upon training data.
MV applies Mutation Testing and Metamorphic Testing —two software engineering techniques that validate code correctness.
Mutation testing mutates the program by making synthetic changes (e.g., to change a + b into a − b or to remove a functional call), then re-executes the tests to monitor the behaviour changes and check the power of a test suite (Papadakis et al., 2019; Jia & Harman, 2010).
Metamorphic Testing detects program errors by checking metamorphic relations, which is the relationship between input changes and output changes (Chen et al., 2020; Segura et al., 2016).
Combining these two techniques, MV mutates training data labels and retrains the model using the mutated data, then measures the training performance change.
As shown by Figure 1, the key intuition is that a learner, if fitting the given training data property, would be less likely to be ‘fooled’ by a small ratio of mutated labels.
Consequently, the model trained with the mutated training data would “detect” the mutated labels and still exhibit high predictive performance on the original training data.
By contrast, an overfitted learner violates the Occam’s Razor (Hawkins, 2004), and has extra capacity to fit incorrect noisy labels, and thus will yield a model that exhibits poor predictive performance on the original training data, but high performance on the mutated training data.
Furthermore, an over-simple learner has poor learnability, and will have low performance on the original training data and the mutated data.
There are a significant number of theories proposed to explain model validation and complexity, such as Rademacher complexity and VC dimension.
Nevertheless, the prescriptive and descriptive value of these theories remains debated.
Zhang et al.
(2017) found that deep hypothesis spaces can be large enough to memorise random labels.
They discussed the limitations of existing measurements in explaining the generalisation ability of large neural networks, and called for new measurements.
[Figure]
In this present work, we do not compare MV with these theories.
Rather, similar to Zhang et al.
(2017), we focus on empirical investigation.
In Appendix A.1, we provide the theoretical foundations underpinning the metamorphic relation that MV uses.
We report on the performance of MV on 12 open datasets and 6 synthetic datasets with different known data distributions (see Table 1), using 8 widely-adopted classifiers (including both classic learning classifiers and deep learning classifiers).
We investigate the effectiveness and stability of MV serving as a complementary measure to the existing practical model validation methods for model selection and parameter tuning.
The experimental results provide evidence to support the following conclusions.
First , MV captures well the degree of match between decision boundaries and data patterns in model selection.
The model recommendation hit rate for MV is 92%, but is 53% for cross validation, and 55% for test accuracy.
Second , MV is more responsive to changes in capacity than conventional validation methods.
When cross validation (CV) accuracy and test accuracy could not distinguish among large-capacity hyperparameters, MV complements them in hyperparameter tuning.
Third , MV is stable in model validation results.
Its dropout rate tuning result does not change across five runs; the variance is zero.
For validation set and test set, the average variance is 0.004 and 0.008, respectively.
The paper also discusses the connections between MV and other noise injection work in the literature, as well as the usage scenarios of MV (Section 5).
In summary, we make the following primary contributions:
An exploratory study on the performance of Mutation Validation.
We explore the effectiveness and stability of MV to validate machine learning (ML) models as a complement to the currently used empirical model validation methods.
MV requires neither validation nor test sets, but uses the training performance sensitivity to the mutated training labels.
We study 18 datasets, 8 different learning algorithms, and 5 hyperparameter tuning tasks.
An application of software testing techniques in ML model validation.
MV is the first approach that applies mutation testing and metamorphic testing —two widely studied software testing techniques —on model validation tasks.
M UTATION V ALIDATION 2. G ENERAL I NTUITION
Figure 1 illustrates the intuition that underpins MV.
For a ‘good’ learner that fits the training data well (first column of Figure 1), the learner is less likely to be ‘fooled’ by a small number of mutated labels, and would keep predicting the original labels for the mutated samples.
As a result, the model trained on the mutated data will still have high predictive accuracy on the original training data, but will have decreased predictive accuracy on the mutated data.
An overfitted learner tends to fit noise in the training data (second column of Figure 1).
With mutated data, the learner will yield a model that makes predictions following the incorrect labels, leading to a high training accuracy on the mutated data, but poor accuracy on the original data.
An over-simple learner has poor learnability.
The model it yields has poor performance with or without the mutated training data.
As a result, the model trained on the mutated data has low accuracy with both the original labels and the mutated labels.
2. M UTATION V ALIDATION
MV uses mutation testing and metamorphic testing, two software validation techniques, to validate
ML models.
Mutation testing creates mutants by injecting faults in a program, then re-executes the program to check whether a test suite detects those faults.
Metamorphic relation specifies how a change in the input should result in a change in the output.
It is used to detect errors in software when there are no reliable oracles.
For a program f , its input x and x ′ .
Let f ( x ) and f ( x ′ ) be the execution outputs of x and x ′ against f .
Let R i be the relationship between x and x ′ , R o is the relationship between f ( x ) and f ( x ′ ) .
A metamorphic relation can be represented as: R i ( x, x ′ )
⇒ R o
( f ( x ) , f ( x ′ )) .
If the relation is violated, the program under test contains a bug.
For example, when validating the sin mathematical function, one metamorphic relation that a correct program should hold is sin( x + π ) =
− sin( x ) .
Now consider the scenario of ML model validation.
If we treat a learner as the program under test, the training data as the input, the trained model’s behaviours as the output, our intuition introduced in
Section 2.1 can be well captured by mutation testing and metamorphic relations.
In particular, the input changes are introduced by mutating training data, each mutated data instance is called a mutant; the output changes are defined in terms of performance changes of the trained models.
Based on this, we propose Mutation Validation , a new machine learning model validation method that validates ML models based on the relationship between training data changes and training performance changes.
A good learner is expected to “detect” the mutants and have a certain amount of training performance changes according to the number of input data changes.
There are different metamorphic relations that can be explored to conduct MV, which may depend on the data mutation method, the training performance measurement (e.g., accuracy, precision, loss), and the calculation of performance changes.
Let η be the mutation degree (i.e., the ratio of randomly mutated labels in the training data).
S is the original training data,
S η is the mutated training data with mutation degree η ( η ≤ 0 . 5 ), f ( S ) is the model output trained on S , f ( S η ) is the model output trained on S η , (cid:98) T S ( f ( S )) , (cid:98) T S ( f ( S η )) are the accuracy of f ( S ) and f ( S η ) based on the original training labels, respectively.
(cid:98) T S η ( fS ( η )) is the accuracy of f ( S η ) based on the mutated labels.
In this present work, as the first exploratory study on MV, we study the following MV measurement m to conduct model validation:
[Equation]
The above measurement, although derived from theory (Appendix A.1), matches well with our intuition introduced in Section 2.1.
In particular, if the learner is less affected by the mutated labels, the predictive behaviours of the trained model with mutated labels should be closer to that of the model trained with the original labels.
This leads to a larger (cid:98) T S ( f ( S η )) and a larger difference between (cid:98) T S ( f ( S )) and (cid:98) T S η
( f ( S η ) , as long as the mutation degree η is fixed.
The larger m is, the better the learner fits the training data.
In the optimal case, the trained model on mutated data has a perfect training accuracy on the original training labels (i.e., (cid:98) T S ( f ( S η )) = 1 ), and detects all the mutants (i.e, (cid:98) T S ( f ( S )) − (cid:98) T S η ( f ( S η ))
= η ).
Thus, m = 1 .
Mutation degree η ranges between 0 and 0.5, but needs to be a fixed value.
The theory inspiration of this metric, its metamorphic relation, as well as the influence of η on m are provided in our appendix.
E XPERIMENTAL S ETUP
The main body of this paper answers four research questions:
RQ1: What is the effectiveness of MV in model selection?
RQ2: What is the effectiveness of MV in hyperparameter tuning?
RQ3: What is the stability of MV in validating machine learning models?
RQ4: How does training data size affect MV?
We also explore the efficiency of MV in validating machine learning models, as well as the influence of mutation degree η on MV.
The details are in the appendix.
To evaluate MV, we choose to use datasets that are diverse in category, size, class number, feature number, and class balance situations.
Small datasets are particularly important to demonstrate the
[Figure]
ability of MV in providing warnings for over-complex learners.
Table 1 shows the details of each dataset used to evaluate MV.
Column “ # training” and Column “ # test” show the size of training data and test data, which is presented by the dataset providers.
Column “ # class” shows the number of classes (or labels) for each dataset.
Column “ # feature” presents the number of features.
To obtain datasets with known ground-truth decision boundaries for validating model fitting
[Figure]
we use synthetic datasets with three types of data distributions: moon, circle
[Figure]
and linearly-separable.
These three data distributions are provided by scikit-learn (Pedregosa et al., 2011) tutorial to demonstrate the decision boundaries of different classifiers.
To study the influence of original noise in training data on MV, for each type of distribution, we create datasets with noise.
We also generate different-size training data ranging from 100 to 1 million data points to study the influence of training data size.
These synthetic datasets help check whether MV identifies the right model whose decision boundary matches the data distribution, with and without noise in the original dataset S .
We do not expect such synthetic datasets to reflect real-world data, but the degree of control and interpretability they offer allows us to verify the behaviour of MV with a known ground-truth for model selection.
We also report results on 12 real-world widely-adopted datasets with different sizes, numbers of features and classes.
Eight of them are from the UCI repository (Asuncion & Newman, 2007), the remaining four are the most widely used image datasets: MNIST, fashionMNIST, CIFAR-10, and
CIFAR-100.
For each dataset, we calculate MV with η = 0 .
2 to answer the research questions.
That is, under each class of the dataset, we randomly select 20% of the labels to mutate.
This guarantees that MV is not affected by the problem of class imbalance.
We mutate the labels by label swapping: to replace a label with the next label in the label list, the final label in the label list is replaced with the first label in the label list.
For the synthetic datasets and the 8 UCI datasets, we compare with 3-fold
CV accuracy and test accuracy.
We use 3-fold CV because it has almost identical results to more folds cross validation, but has lower cost, thereby being more conservative to compare with when studying the efficiency of MV.
For the three image datasets on deep learning models, we compare with validation accuracy with 20% validation data (split out from the training data) and test accuracy.
The next section introduces more configuration details.
R ESULTS 4. RQ1: E FFECTIVENESS OF MV IN M ODEL S ELECTION
To answer RQ1, we use synthetic datasets to explore whether MV recommends the learners whose decision boundaries best match the data patterns.
We use synthetic datasets because synthetic datasets have ground-truth data patterns for model selection (more details in Section 3).
The data distribution of real-world UCI datasets, however, is often unknown or difficult to visualise.
To generate synthetic datasets, we use three scikit-learn (Pedregosa et al., 2011) synthetic dataset distributions, which are designed as a tutorial to illustrate the nature of decision boundaries of different classifiers.
This experiment uses the same settings as in the Scikit-learn tutorial (Classifier Comparison, 2019).
Each dataset has 100 training data points for model selection.
We generate another 2,000 points as test sets.
Figure 2 shows the training data points, decision boundaries of each classifier, and measurement values from MV, CV, and test accuracy (on the 2,000 test data points).
We have the following
[Figure]
observations.
First , MV tends to have large values for cases where the decision boundaries match well the data patterns; it provides more discriminating scores for model selection under different datasets, it is easy to pick out the top-2 models that match the data distributions the best based on
MV.
Second , the recommended models from MV are less affected by the noise in the training data
[Figure]
, GaussianProcess ,AdaBoost circle
MV 0.
RBFSVM , NaiveBayes 0.
RBFSVM , NaiveBayes
CV
[Figure]
RBFSVM ,GaussianProcess,
[Table]
,RF,
[Table]
, NaiveBayes
[Figure]
GaussianProcess, NaiveBayes
Test
[Figure]
RBFSVM ,
[Table] [Table]
,RF, NaiveBayes 0.
RBFSVM ,
[Table]
linear
MV
[Figure]
[Table] [Table]
[Figure]
[Table]
[Figure]
[Table] [Table]
[Figure]
[Table]
[Figure]
[Table]
[Figure]
[Table]
[Figure]
[Table]
[Figure]
[Table]
[Figure]
[Table]
The figure also shows cases where CV and test accuracy have limitations in evaluating ML models.
For example, in Figure 2, for the circle distribution, Decision Trees and Random Forests (with maximum depth of 10) give obviously illfitted rectangle-shaped decision boundaries, yet the cross validation accuracy and test accuracy remain high.
In addition, from Table 2, it is more difficult to select proper models based on CV and test accuracy, because CV and test accuracy are often very similar across different models.
For ease of observation, we present Table 2 to show the models recommended by MV, CV, and test accuracy, based on their top-2 scores shown by Figure 2.
The ground-truth models in bold are based on manual observation and widelyadopted ML knowledge.
For example, Scikitlearn documentation (Classifier Comparison,
2019) mentions that Naive Bayes and Linear SVM are more suitable for linearly-separable data.
Overall, we have the following conclusion: among all the model selection tasks we explored, the hit rate (i.e., the ratio of recommended models that match the ground truth model) is 92% for MV, 53% for CV accuracy, and 55% for test accuracy.
4. RQ2: E FFECTIVENESS OF MV IN H YPERPARAMETER C ONFIGURATION
For models whose capacity increases along with their hyperparameters, we expect their goodness of model fit to first increase, then peak, before decreasing.
The peak indicates the best model fit assessed according to MV.
In RQ2, we assess whether MV matches this pattern.
We study five capacity-related hyperparameters for several widely-adopted algorithms: the maximum depth for a
Decision Tree, C and gamma for a Support Vector Machine (SVM), and the dropout rate and learning rate for Convolutional Neural Networks (CNNs).
Maximum Depth for Decision Tree.
Figure 3 shows how MV responds to increases in maximum depth of Decision Tree for the eight real-world UCI datasets.
For small datasets (smaller than 2,000), we do not split out test data, but take the whole data as training data.
For the bank and connect datasets, we use 80% of the data as test sets.
For adult, we use its original test set.
We repeat the experiments 10 times.
The yellow shadow in the figure indicates the variance across the 10 runs.
[Figure]
From Figure 3, we make the following observations.
First, for 6 out of the 8 datasets, MV increases then decreases as maximum depth increases, and exhibits a maximum in each curve.
This is consistent with the pattern we expect a good measure to exhibit.
For small datasets, large depths yield low
MV scores, whereas large datasets do not.
For adult and bank, MV values remain large when the maximum depth increases.
We suspect that this is because, for these two datasets, the training data size is large enough for the model to obtain resilience against mutated labels.
We explore the influence of training data size in the appendix.
We also observe that MV, CV and test accuracy have similar inflection points, yet MV is more responsive to depth changes, especially when the model overfits due to large depths.
This observation indicates that MV provides further information to help tune maximum depth when CV and test accuracy are less able to distinguish multiple parameters.
In particular, if a developer uses grid search to select the best maximum-depth ranged between 5 and 10, we find that grid search suggests depths of 8, 6, 9 in three runs for the cancer dataset, which are over-complex and unstable.
Similar results are observed for other small datasets.
With MV, its decrease trend in this range indicates that there is a simpler model with comparable predictive accuracy but better resilience to label mutation.
C and gamma for SVM.
In SVM, the gamma parameter defines how far the influence of a single training example reaches; the C parameter decides the size of the decision boundary margin, behaving as a regularisation parameter.
In a heat map of MV scores as a function of C and gamma, the expectation is that good models should be found close to the diagonal of C and gamma (Scikitlearn:SVM, 2020).
Figure 4 presents the heat map for cross validation and MV for two datasets.
We do not use a hold out test set to ensure sufficient training data.
The upper left triangle in each sub-figure denotes small complexity; the bottom right triangle in each sub-figure denotes large complexity.
In both cases, MV gives low scores.
When comparing CV and MV, MV is more responsive to hyperparameter value changes.
With MV scores, it is more obvious that good models can be found along the diagonal of C and gamma.
When
C and gamma are both large, the CV score is high but MV score is low, this is an indication that there exists a simpler model with similar test accuracy.
In practice, as stated by Scikit-learn documentation,
[Figure]
it is interesting to simplify the decision function with a lower value of C so as to favour models that use less memory and that are faster to predict (Scikit-learn:SVM, 2020).
Dropout Rate and Learning Rate for CNN.
We use CNN models coming from Keras documentation.
Validation accuracy is calculated with 80% training data and 20% validation data.
Figure 5 shows the results.
We observe that when tuning dropout rate for mnist and fashion-mnist, validation and test accuracy are less discriminating and provide different tuning results across different runs (more details in Table 4), yet MV is more discriminating.
For dropout rate, MV and test accuracy have different key influence points on cifar10 (0.4 v.s. 0.2).
This is because there is a big capacity jump between 0.2 and 0.4.
The result suggests that the optimal dropout rate with comparable validation/test accuracy is between 0.2 and 0.4.
[Figure]
Overall, we observe that MV is responsive to hyperparameter changes on all the hyperparameter tuning tasks we explored.
CV and test accuracy are less responsive especially for large-capacity hyperparameters (i
[Figure]
e., large maximum depth for Decision Tree and small dropout rate for CNNs).
This leads to the following issues.
First, due to the large variance of their results across different runs, such low response often leads to unstable hyperparameter recommendation results.
We further explore this in Section 4.3.
Second, developers may easily choose an over-complex learner, making the learner: 1) easily biased by incorrect training labels; 2) vulnerable to training data attack; 3) computationally and memory intensive; 4) more difficult to interpret.
4. RQ3: S TABILITY OF MV IN M ODEL V ALIDATION
For the machine learning experimental design in the literature, data is usually random split.
The values of MV, CV, and test accuracy may be easily affected by the randomness in model building (Pham et al., 2020), especially when the overall data set is small, or building deep learning models.
As a result, with different runs, developers may get completely different recommendations for the best hyperparameter configuration.
A good model validation method is expected to be stable in hyperparameter recommendation results, giving developers clear instructions on the best choice.
To explore the stability of MV, CV, and test accuracy, we run the model building process multiple times, each time with a different split of training data and validation data (the size of training/validation data is unchanged).
We then record the recommended best hyperparameters during each run under the scenario of hyperparameter configuration.
We use the maximum depth for Decision Tree with the 5 small UCI datasets as well as the dropout rate for CNN with the 3 image datasets.
Tableshows the results, which lead to the following conclusion: MV has good stability in recommending hyperparameters.
When recommending maximum depth for Decision Tree, the overall variance is
[Table]
[Figure]
4. RQ4: I NFLUENCE OF T RAINING D ATA S IZE ON MV
[Figure]
when increasing maximum depths (horizontal axis) of Decision Trees.
For a given depth, larger datasets tend to yield larger MV values.
We expect that when a learner is over-complex for the data, adding extra data will improve the learner’s resilience to mutated labels, thus the
MV score ought also to increase when training data size increases.
Indeed, previously from Figure 3, we have observed that models trained on large datasets (e.g., bank and adult) tend to be more resilient to mutated labels for large depths.
Figure 6 shows the results for connect and moon datasets, indicating that data size plays a role in determining the trained model’s robustness to incorrect training labels.
These observations indicate another possible value in the use of MV, as a complement to
CV and test accuracy.
Specifically, where MV is low, the ML engineers have two potential actions to improve the fitting between the learner and the training data: either to optimise the learner (e.g., search for smaller-capacity models with comparable test accuracy), or to optimise the data (e.g., increase data size to increase the learner’s resilience to incorrect training labels).
D ISCUSSION 5. C ONNECTION WITH R ELATED W ORK
MV is also connected with several key concepts in the literature.
This section discusses the connections as well as the differences between MV and these concepts.
Noise injection in training data has long been recognised as an approach to complex training data and reduce overfitting (Holmstrom et al., 1992; Greff et al., 2016).
There are three main differences between MV and this random noise injection.
1) Overfitting prevention noise is often Gaussian noise (Greff et al., 2016), and is added into the training inputs (not labels); on the contrary, MV does not use random noise, but uses label swapping, the mutation is applied only on labels. 2)
Conventional noise injection changes the training data, then directly uses the model trained on this noisy training data.
MV keeps the original training data, but creates another mutated training data to for measurement calculation.
This mutated training data will not be used to yield any model for real prediction tasks.
3) Conventional noise injection aims to improve the complexity of the training data, to reduce overfitting.
MV aims to calculate a model validation measurement score, to measure the goodness of model fitting.
Zhang et al.
(2017) adds noise in training data labels to study the generalisation of DNN, while MV mutates labels to provide model validation measurement.
Noise injection in test data is adopted to evaluate the robustness of a model.
For example, the generation of adversarial examples (Goodfellow et al., 2014) uses noise injection in the test inputs.
Compared to this technique, MV 1) mutates training data, not test data; 2) mutates labels, not features; 3) aims to validate model fitting, rather than model robustness to feature perturbations.
Overfitting prevention refers to the techniques adopted in the training process to avoid overfitting, especially when training deep neural networks.
The key techniques are regularisation, early stopping, ensembling, dropout, and so on.
However, as shown in this paper, conventional overfitting detection techniques, such as CV or validation accuracy, are often less responsive to overfitting.
In practice, developers often conduct the prevention without knowing whether the overfitting happens or not.
MV is demonstrated to be discriminating and stable in detecting over-complex learners.
It thus provides signals for the adoption and configuration of these overfitting prevention techniques.
Rademacher complexity .
In statistical machine learning, Rademacher complexity has been used to measure the complexity of a learner’s hypothesis space.
It also mutates training data.
It measures how well the learner correlates with randomly generated labels on the training data, but can be difficult to compute (Rosenberg & Bartlett, 2007).
Different from Rademacher complexity, MV is an applied tool, not a theoretical tool.
MV uses label mutations for a part of the data.
Furthermore, Rademacher complexity cares only about the training accuracy on the mutated data, but MV uses the accuracy changes on the original and the mutated data.
5. T HE U SAGE OF MV IN P RACTICE
With our exploratory study, we find that MV is capable of complementing existing model validation techniques.
There are two main application scenarios of MV: 1) When out-of-sample validation results are similar or unstable across different models or hyperparameters, MV can help to guide the selection process (see more in Section 4.2 and Section 4.3).
2) When the training data size is limited,
MV is a better option than validation accuracy because it does not need to split out a validation set, thus reserving more data for training.
The test accuracy, although having limitations shown in the literature and our experiments, is still a very important method for developers to learn the generalisation ability of a model, especially when there is data distribution shift between the training data and unseen data.
However, as shown in this paper, when test accuracy is high but MV is low, this means that there is a learner with comparable test accuracy, but is simpler.
MV deserves more attention from developers when simplicity, security (e.g., defending training data attack), and interpretibility of the built models are required.
Theoretically, MV can be applied in other ML tasks which rely on out-of-sample validation, such as feature selection.
We will explore the effectiveness of MV in these tasks in future work.
C ONCLUSION
We introduced an exploratory study on MV, a new approach to assessing how good a learner fits the given training data.
MV validates via checking the learner’s sensitivity to training labels changes (expressed as label mutants).
The sensitivity is captured by metamorphic relations.
We show that MV is more effective and stable than the currently adopted CV, validation accuracy, and test accuracy.
It is also responsive to model capacity and training data characteristics.
These results provide evidence that MV complements the existing model validation practises.
We hope the present paper will serve as a starting point to future contributions.
A A PPENDIX A. T HEORETICAL I NSPIRATION
This part introduces the theory that leads to a metamorphic relation and formula that we use for conducting MV.
The denotations and terms we used are guided by the standard statistical machine learning literature (Mohri et al., 2018; Ghosh et al., 2017).
Theoretical Metamorphic Relation for Model Validation:
Let X be the feature space from which the data are drawn.
Let Y =
[ k ] = { 1 , ..., k } be the class labels.
Given a training set S
= { ( x 1 , y x 1 ) , ..., ( x m , y x m ) } ∈
( X × Y ) m which is independently and identically distributed according to some fixed, but unknown, distribution D of X × Y .
Let a classifier be f : X → C , C ⊆ R k .
A loss function L is a map L : C ×Y → R + .
We use E to denote expectation.
Given any loss function
L and a classifier f , we define the L - risk of f by
[Equation]
Let { ( x , ˆ y x ) } be the mutated data, where
[Equation]
For all x , conditioned on y x
=
i , we have (cid:80)
j ̸ = i η x j = η x .
The noise is called symmetric or uniform if η x = η .
For uniform or symmetric noise, we also have η x j = ηk − 1 .
We consider a symmetric loss function L that satisfies the following equation, where C is a constant.
[Equation]
Let S
η = { ( x n , ˆ y x n ) , n = 1 , ..., m } be the mutated training data.
We call η as a mutation degree.
Let f be the model trained on S , f η be the model trained on S η 1 .
f and f η are from the same learner (with identical hypothesis space).
Let r ( x ) =
( L ( f η ( x ) , ˆ y x ) − L ( f ( x ) , y x ))
/η be the loss change rate between f and f η , x ∈ X .
For uniform noise, we have:
[Equation]
If we consider L to be error rate 2 , C = 1 .
Now consider the situation for multi-class classification problems, we mutate the labels by label swapping: to mutate the labels by replacing them with the
The loss function L does not have to be error rate (0-1 loss).
Any loss function that satisfies Equation 3 can be applied.
In the present work, next label in the label list, the final label in the label list is replaced with the first label in the label list.
In this way, we have η x n j = η .
Thus, Equation 9 becomes:
[Equation]
Thus, we have:
[Equation]
Let T ( f ) be the accuracy of f over distribution D , T ( f )
= 1 − R L ( f ) , T ( f η ) = 1 − R L ( f η ) .
Let (cid:98) T ( f ) be the empirical accuracy of f on training data with size n : (cid:98) T ( f ) = 1 n (cid:80)
[Equation]
y xi , where 1 w is the indicator function of event w .
We have:
[Equation]
Empirical Model Validation Measurement
Equation 12 specifies a theoretical metamorphic relation: Mutation degree η defines the relationship between inputs S and S η : under each class of S , η proportion of the labels are mutated with label swapping (see more in Section A.1), yielding S η .
Such input changes lead to the expected output changes reflected by T ( f ) , T ( f η ) , and loss change rate r ( x ) in the equation.
The calculation of such a theoretical metamorphic relation, however, is impractical, because data distribution D is unknown, the expectation calculation is also unrealistic.
Inspired by Equation 12, also considering that our motivation is to empirically measure how good a learner fits the available training data, we change the expectations on data distribution D into empirical observations on the available training data.
This leads to the following measurement, m , to empirically access a learner 3 .
[Equation]
In Equation 15, S is the original training data, S η is the mutated training data with mutation degree η ( η ≤ 0 .
5 4 ), f is the model trained on the original training data, f η is the model trained on the mutated data, (cid:98) T S ( f ) , (cid:98) T S ( f η ) are the accuracy of f and f η based on the original training labels, respectively.
(cid:98) T S η ( f η ) is the accuracy of f η based on the mutated training labels.
Connection between m and Our Intuition:
Interestingly, Equation 15 matches well with our intuition introduced in Section 2.1.
In particular, if the learner is less affected by the mutated labels, the predictive behaviours of the trained model with mutated labels should be closer to that of the model trained with the original labels.
This leads to a larger (cid:98) T S ( f η ) and ˆ r , as long as the mutation degree η is fixed.
The matching between m and our intuition provides extra supports for the reliability of MV in validating machine learning models.
The calculation of m can also be regarded as a type of mutation score Jia & Harman (2010); Papadakis et al.
for model validation.
As explained in Section 2.1, we expect that a good learner kills more mutants.
However, the intuitionistic mutation score (i.e., the proportion of killed mutants) has a limitation in model validation: a poor learner that makes random guesses may also kill many mutants.
Equation 15 covers the mutant killing results (i.e., by calculating accuracy decrease rate r ), but also fixes this limitation by also considering the accuracy on the original correct labels (i.e, (cid:98) T S ( f η ) ).
Thus, it can be regarded as a mutation score calculation adapted to suit the model validation scenario.
The larger a learner’s m is, the better the learner fits the training data.
Thus, we adapt the concept of metamorphic relation in the scenario of model validation and extend it to a qualitative measurement, rather than a simple binary judgement.
However, the value of m can also reflect the metamorphic relation we introduced in Section 2.2: let us define that once a learner’s m is below a threshold (e.g., 0.8), the metamorphic relation is violated.
The violation then indicates a fault in model fitting: the learner is either over-complex (with a large (cid:98) T S ( f ) ) or over-simple (with a small (cid:98) T S ( f ) ) for the training data.
A. I NFLUENCE OF M UTATION D EGREE
From Equation 15, it can be seen that the calculation of MV involves a mutation degree, η , for generating the mutated training data.
The value of η needs to be fixed during the calculation.
However, if Equation 15 is reliable , the influence of η on model validation should be minor.
This section empirically explores whether this is true.
The first sub-figure in Figure 7 shows the results for UCI datasets.
The second sub-figure shows the results for the three large image datasets.
It reveals that for most datasets (except for the three smallest datasets, i.e., iris, wine, and heart), the values of MV remain almost identical with different mutation degrees.
This is because there is the constant term η at the end of Equation 15 when calculating MV, which cancels out the decrease of the detected mutants.
This observation provides further evidence for the reliability of our calculation formula shown in Equation 15.
For the three very small datasets, i.e., iris, wine, and heart, with fewer than 300 data points, we observe that a larger noise degree leads to a smaller MV.
This may be because label mutations have more influence on very small datasets.
Nevertheless, with different mutation degrees, we observe that the effectiveness of MV in model selection and hyperparameter configuration do not change, because the relative rankings of models/hyperparameters remain unchanged.
For example, as shown by the third sub-figure in Figure 7, even for the smallest dataset iris, the recommended maximum depths for
Decision Tree are identical.
The same as the choice of n in n-fold cross-validation, although we demonstrate that the choice of η doest not affect model validation conclusions, there may be a best practice for selecting η under different application scenarios.
We call for future work and practices to explore this.
[Figure]
A. I NFLUENCE OF T RAINING D ATA S IZE ON MV
In addition to RQ4, we further investigate what would happen to MV should we deliberately use training data much more than normally expected.
That is, we go beyond the assumption that there is no need to increase data when the test accuracy becomes stable.
As we can see from Figure 8, MV is more responsive to changes in training data size than test accuracy.
For learners that are over-complex to the data, when adding more training data no longer increases test accuracy, MV continues to increase, indicating that the model’s resilience to incorrect labels continues to increase.
The extra training data improve the robustness of the learner to training label noise.
The pattern that MV no longer changes when model complexity increases is also a signal to developers that the training data is perhaps larger than necessary.
[Figure] [Figure]
[Figure] [Figure]
circle 3 7 11 15 19 0.
linear 3 7 11 15 19 0.
T e s t a cc u r a c y 1000 10000moon 3 7 11 15 19 0.
circle 3 7 11 15 19 0.
linear
A. E FFICIENCY OF MV IN M ODEL V ALIDATION
In this part, we compare the efficiency of MV, CV (3-fold), and validation accuracy (for image datasets), using the synthetic datasets on 7 classifiers (with the same setup in RQ1), the 8 UCI datasets on Decision Tree (with a fixed maximum depth of 5), and the 3 image datasets (with a fixed dropout rate of 0.5, and learning rate of 0.0001).
The deep learning experiments with the three image datasets were run on Tesla V100, with 16GB Memory and 61GB RAM.
Table 5 shows the results.
For brevity, we show only the results for the moon synthetic datasets.
Overall, both MV, CV, and validation accuracy have good efficiency on these datasets.
Note that in practice developers often use 5-fold or 10-fold CV, which have larger time cost than the 3-fold CV.
The cost of MV mainly comes from data mutation and model training.
As observed from Table 5, larger datasets take more time to get MV values.
Our results demonstrate that the cost of MV is manageable and comparable to 3-fold CV and validation accuracy in both classic learning and deep learning.
In particular, for the three large image datasets, MV costs only half the time of 3-fold CV.
What is more, as demonstrated by RQ1 and RQ2, the effectiveness and stability of MV help to conduct model selection and hyperparameter configuration more quickly.
Thus, it helps to save cost in selecting the best learners for a given training set.
On the other hand, MV is sensitive to over-complex models
[Table]
and can help to select the simplest model with reasonable test accuracy.
This will also reduce the model training and maintainability cost in the long run.
Overall, MV has comparable efficiency to 3-fold CV and validation accuracy.
For the three deep learning tasks, MV’s efficiency doubles that of 3-fold CV
[Table]
A. M ODEL S ELECTION W ITH UCI D ATASETS (RQ1)
In this part, as an extension to RQ1, we present the results of model selection using UCI datasets.
Note that we do not use test accuracy as the ground truth for model selection considering the possible limitations of test accuracy we discussed in the introduction.
Instead, we present the results to demonstrate how MV differs from CV and test accuracy, as well as how it complements CV and test accuracy in model selection when developers observe similar accuracy results across different learners.
Figure 9 shows the results.
It is interesting that we do have observations on MV that are consistent with common machine learning knowledge.
In particular, for the four smallest dataset (i.e., iris, wine, cancer, and heart), MV suggest the two simplest learners (i.e., Linear SVM and Naive Bayes).
L i n
[Table]
a r S V
M
R B F
S V M
D e c
i s i o n T r e e
R a n d o m
[Table]
s t
A
[Table]
a
[Table]
o o
[Table]
N
[Table]
i
[Table]
m
[Table]
t
[Table]
M
[Table]
M
[Table]
i o
[Table]
m
[Table]
o
[Table]
s t
A
[Table]
a
[Table]
o o s t
N a
i
[Table]
L i n e a r S V
M
R
[Table]
S V M
D e c
i s i o n T r e e
R a n d o m
F o r e s t
A d a B o o s t
N a i v e
B a y e s car
L i n e a r S V
M
R B F
S V M
D e c
i s i o n T r ee
R a n d o m
F o r e s t
A d a B o o s t
N a i v e
B a y e s heart
R B F
S V M
D e c
i s i o n T r ee
R a n d o m
F o r e s t
A d a B o o s t
N a i v e
B a y e s adult
L i n e a r S V
M
R B F
S V M
D e c
i s i o n T r ee
R a n d o m
F o r e s t
A d a B o o s t
N a i v e
B a y e s bank
L i n e a r S V
M
R B F
S V M
D e c
i s i o n T r ee
R a n d o m
F o r e s t
A d a B o o s t
N a i v e
B a y e s connect
A. M ODEL S ELECTION W ITH R ANDOM L ABEL R EPLACEMENT
In the main body of this work, we present empirical results with MV calculated using label swapping.
In this part, we further explore the effectiveness of another label mutation approach: random label replacement.
That is, when conducting label mutation, we replace the original label with a label that is randomly chosen from the label list.
We compare the performance of these two label mutation approaches in model selection with the ground truth provided by synthetic datasets.
Figure 12 shows the results.
We observe that random label replacement is less accurate than label swapping in model selection, but is still more accurate than CV and test accuracy.
[Figure] [Figure]
o f t r
[Figure]
s
[Figure]
[Figure]