A.

测试证明了程序的正确性

B.

测试无法执行穷举测试，只能做选择测试

C.

测试工作需要制订测试计划，按计划执行测试工作

D.

白盒测试方法用于单元测试环节