多项选择题

A.代码检查法
B.静态结构分析法
C.逻辑覆盖法
D.域测试
E.符号测试
F.程序变异