保证一个程序的源代码和可执行代码相匹配的控制方法有（）。

A.证实程序移植的请求是经过授权的确

B.要求对代码进行程序、系统和并行测试

C.授权程序员只访问测试库

D.将源代码重新编译到生产载入库