依据《检验检测机构资质认定评审准则》4.5.12，机构应建立纠正措施程序，以识别和管理不符合，并采取措施消除产生原因。该程序应是形成文件的。