下列关于黑盒测试的说法中，正确的是（）。

A.保证每一循环都在边界条件下至少执行一次

B.保证所有判断的每一分支至少执行一次

C.验证软件功能的正确性

D.验证所有软件的有效性