多项选择题

利用白盒测试法对软件进行测试可以达到的目的包括()

A.保证一个模块中的所有独立路径至少被使用一次
B.对所有逻辑值均需测试true和false
C.在上下边界及可操作范围内运行所有循环
D.检查内部数据结构,以确保其有效性