A.

用较多的测试用例说明程序的正确性

B.

用较多的测试用例说明程序符合要求

C.

用较少的测试用例发现尽可能多的错误

D.

用较少的测试用例纠正尽可能多的错误