多项选择题

A.代码检查法
B.域测试
C.符号测试
D.逻辑覆盖法