多选题 注册会计师为测试系统身份认证的控制是否确实有效，可能执行的审计程序有______。

• A.仿真客户全控制软件程序，编写一个计算机程序
• B.随机选取系统所处理的部分交易，并测试这些交易是否经过适当的审批
• C.利用无效的用户名及密码尝试进入系统
• D.检察员工所做的有关他们未将个人用户及密码外泄给别人的声明