多项选择题

A.程序验证
B.程序分析
C.机床仿真
D.程序优化
E.模型输出