多项选择题

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