检验程序是否正确及零件的加工精度是否满足图纸要求。程序效验与首件试切作用是检验程序是否正确及零件的加工精度是否满足图纸要求。程序效验用于证明程序的正确性，或辅助用户编制正确程序外，还可从程序正确性角度评价程序设计方法和程序设计语言的优劣，首件试切是指通过试切削的方式，检验零件加工程序是否合理及零件的加工精度是否满足图纸要求。