A.实际上可以采用穷举测试来发现软件中的所有错误。

B.错误很多的程序段在修改后错误一般会非常少。

C.测试可以用来证明软件没有错误。

D.白盒测试技术中路径覆盖法往往能比语言覆盖法发现更多的错误。