多项选择题

A.受控处理法
B.测试数据法
C.虚拟单位法
D.程序运行记录检查法
E.程序运行结果检查法