以下關于測試的敘述中，正確的是（ ）。
A、實際上，可以采用窮舉測試來發(fā)現(xiàn)軟件中的所有錯誤
B、錯誤很多的程序段在修改后錯誤一般會非常少
C、測試可以用來證明軟件沒有錯誤
D、白盒測試技術中，路徑覆蓋法往往能比語句覆蓋法發(fā)現(xiàn)更多的錯誤