论文中计算Sign-Sign等覆盖率都是已两个测试用例来计算的。
例如Sign-Sign覆盖率,从公式上看,某一个神经元(A, B)对满足Sign-Sign覆盖需要满足3点要求:
1:A在两个测试用例X1,X2下Sign值变化
2:A所在层其他所有神经元在X1,X2下Sign均不变化
3:B在X1,X2下Sign值变化。
从这三点要求来说,计算法则是在两个测试用例上来计算的,同时,第二点在事实上也是很难满足的。
而代码中则是一大组测试用例,针对每一个测试用例来进行计算,并没有体现两个测试用例对比计算的地方(可能是我没有看到)。请问是和论文中的不一致吗?