验证程序包括：（）。

A .对危害分析、关键控制点和关键限值的验证

B .对监控程序和纠正措施验证

C .对在HACCP体系的建立、实施和改进过程中产生的记录的复核

D .对整个HACCP体系的验证