From 551f5a6a69b2c8745f09eb3d5fc438717ddf68a0 Mon Sep 17 00:00:00 2001 From: ZhidanLiu Date: Mon, 21 Jun 2021 19:47:54 +0800 Subject: [PATCH] fix bug of formula of coverage metrics --- mindarmour/fuzz_testing/model_coverage_metrics.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/mindarmour/fuzz_testing/model_coverage_metrics.py b/mindarmour/fuzz_testing/model_coverage_metrics.py index ce647c2..f6a5388 100644 --- a/mindarmour/fuzz_testing/model_coverage_metrics.py +++ b/mindarmour/fuzz_testing/model_coverage_metrics.py @@ -174,8 +174,8 @@ class ModelCoverageMetrics: def get_nbc(self): """ - Get the metric of 'neuron boundary coverage' :math` NBC =（|UpperCornerNeuron| - + |LowerCornerNeuron|）/(2*|N|)`, where :math`|N|` is the number of neurons, + Get the metric of 'neuron boundary coverage' :math:`NBC = (|UpperCornerNeuron| + + |LowerCornerNeuron|)/(2*|N|)`, where :math`|N|` is the number of neurons, NBC refers to the proportion of neurons whose neurons output value in the test dataset exceeds the upper and lower bounds of the corresponding neurons output value in the training dataset. @@ -192,7 +192,7 @@ class ModelCoverageMetrics: def get_snac(self): """ Get the metric of 'strong neuron activation coverage'. - :math` SNAC =|UpperCornerNeuron| / |N|`. SNAC refers to the proportion + :math:`SNAC = |UpperCornerNeuron|/|N|`. SNAC refers to the proportion of neurons whose neurons output value in the test set exceeds the upper bounds of the corresponding neurons output value in the training set.