多项选择题

白盒测试主要是想对程序模块进行如下检查()

A.对程序模块的所有独立的执行路径至少测试一遍
B.对所有的逻辑判定,取“真”与取“假”的两种情况都能至少测一遍
C.在循环的边界和运行的界限内执行循环体
D.测试内部数据结构的无效性,等等