多项选择题

A.代码检查法
B.静态结构分析法
C.符号测试
D.逻辑覆盖法