下列属于白盒测试能保证的是（）

A.模块中所有独立路径至少测试一次

B.测试所有逻辑决策真和假两个方面

C.在所有循环的边界内部和边界上执行循环体

D.与需求文档不一致或漏掉的功能

正确答案：模块中所有独立路径至少测试一次；测试所有逻辑决策真和假两个方面；在所有循环的边界内部和边界上执行循环体