单项选择题

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