This is a more detailed experimental results for paper `Boosting Operational DNN Testing Efficiency through Conditioning'.

You can easily implement this method by yourself or by modifying this code.

This git is just used for trying to answer the following questions and showing some experimental results.

In my opinion, other layers do not enjoy all the following features:

• Although not necessarily comprehensible for human, the representation is more stable than the prediction when the operation context is drifting.

• The DNN prediction is directly derived from the linear combination of this layer's outputs, and thus it must be highly correlated with the prediction accuracy.

• Independence between neurons facilitating approximation of the joint distribution. The deeper the layer is, the higher the features it encodes, and the less dependent the neurons are.

• In addition, the dimension of last layer always lower than others, thus it can decrease the computational cost.

The results also validated this point (the folder \Layer-selection). In the following figures, the black line is variance of estimation through SRS(Simple Random Sampling); and the red line is vaiance of estimation through CES(Cross Entropy Sampling)

• In MNIST dataset, we choose last 1,3,5 layer for comparison.

The last 1st layer

The last 3rd layer

The last 5th layer

The last 1st layer

The last 2th layer

The last 3rd layer

The purposes of our work and these structural coverage are clearly different, our work aims to estimate a DNN’s accuracy precisely and efficiently, but not to find individual error-inducing inputs. In addition, we believe these scalar measures are not informative enough for improving sampling efficiency. To verify this, we experimented with the Surprise Adequacy in a similar way as CSS, and it turned out to be ineffective.

I designed 3 operational context as following.

1. I use the original MNIST training set and normal model, then test it on original MNIST test set.

2. I use the mutant MNIST training set and mutant model, then test it on original MNIST test set (a similar way in the paper).

3. I use the transfer dataset for training and testing (the mnist-usps dataset, it can be seen in the folder SA-exp/mnist-usps).

The detailed experimental results are as follows.

The original context

The mutant context

The transfer context

Due to my limited ability, no very strong theoretical proof has been provided at present. However, i conduct some experiments to validate this point.

I choose the down-sampling dataset (i.e. the context of different system settings in the paper) as test dataset. In this situation, the CES is used for sampling until the size of sample set achieves 2,500.

From the figure we can see that the relative effciency is very stable even when the sample size grew up to 2,500.