软件测试可能发现软件中的（），但不能证明软件（）。
A、所有错误、没有错误 B、设计错误、没有错误
C、逻辑错误、没有错误 D、错误、没有错误