达康集团将信息技术职能外包给专门服务机构，注册会计师获取相关控制运行有效性的证据时，可以执行的程序有()。

A、对服务机构实施控制测试
B、向服务机构寄发询证函
C、获取服务机构注册会计师对服务机构出具的财务报表审计报告
D、测试被审计单位对服务机构活动的控制