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

下列属于白盒测试能保证的是（）
A.模块中所有独立路径至少测试一次
B.测试所有逻辑决策真和假两个方面
C.在所有循环的边界内部和边界上执行循环体
D.与需求文档不一致或漏掉的功能
正确答案：模块中所有独立路径至少测试一次；测试所有逻辑决策真和假两个方面；在所有循环的边界内部和边界上执行循环体