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