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

软件测试可能发现软件中的（　　），但不能证明软件（　　）。