以下关于测试的叙述中，正确的是（ ）。
A、实际上，可以采用穷举测试来发现软件中的所有错误
B、错误很多的程序段在修改后错误一般会非常少
C、测试可以用来证明软件没有错误
D、白盒测试技术中，路径覆盖法往往能比语句覆盖法发现更多的错误