试分析比较常用的几种数控程序检验方法，简要说明其原理和特点