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