IS审计师在审查信用卡交易程序中推荐加入初始复核控制，该初始复核控制最可能用于：（）

• A、检验交易类型与与对应信用卡类型是否有效
• B、验证输入卡号的格式并在数据库中查找该卡号
• C、确保输入的交易额在持卡人的信用额度内
• D、在主文件中验证该信用卡没有丢失或被盗