The nonlinear programming models of minimum envelop evaluation for form error are presented in terms of the definitions of form error and the mathematical programming theory.