A. 保证模块中的所有独立路径至少被测试过一次 B. 所有逻辑值均需测试真、假两种情况 C. 检查程序的内部数据结构,并保证其结构的有效性 D. 在上下边界及可操作范围内运行所有的循环
A. 撤销案件 B. 不起诉 C. 终止审理 D. 宣告无罪