单项选择题

下面说法正确的是______。

A.我们无法测试一个程序确认它没有错误
B.黑盒测试是逻辑驱动的测试
C.穷举测试一定可以暴露数据敏感错误
D.白盒测试是一种输入/输出驱动的测试