单项选择题

下列不属于白盒测试的基本原则的是( )。

A.保证所测模块中每一独立路径至少执行一次
B.保证所测模块所判断的每一分支至少执行一次
C.保证所测模块每一循环都在边界条件和一般条件下至少各执行一次
D.验证部分内部数据结构的有效性