湖北省实验动物质量检测站挂靠在湖北省疾病预防控制中心，负责全省实验动物微生物、寄生虫、遗传、病理、环境设施、笼器具和饲料营养质量检测工作

在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中不存在错误，只有 【4】 才能证明程序的正确性。