以下关于测试的叙述中，正确的是（)。

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

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

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

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

请帮忙给出正确答案和分析，谢谢！