An ADC error model for testing digitizing signal analyzers