大多数大型计算机系统至少包括三大程序:产品库(主要用于运行程序);源代码库(保留的源代码)以及测试库(主要用于修改程序),下列有关健全计算机程序库控制的陈述中,正确的有:A.仅有程序员方可接触产品库;B.使用者应当可以接触产品库以确定是否所有的修改均已适当完成;C.仅允许程序库管理员对产品库作出修改;D.计算机操作员应当可以进入产品库和源代码库,以便有助于诊断计算机故障。