在审计“合同资产”时，会计师通常会执行以下程序：

1. 了解和评估内部控制：审计师会了解管理层如何识别、计量和监控合同资产，以及相关的内部控制流程，包括预期信用损失的评估和减值准备的计提。

2. 测试会计处理：审计师会选取样本，重新计算合同资产的金额，确认其准确性，包括确认收入的时点和金额是否符合收入确认原则。

3. 函证：审计师可能会对合同资产相关的应收账款进行函证，以验证客户确认的欠款余额。

4. 检查支持性文件：审计师会检查合同、销售订单、发票和其他相关文件，以验证合同资产的存在和所有权。

5. 评估预期信用损失：审计师会评估管理层对预期信用损失的估计是否合理，可能包括分析历史损失数据，考虑当前和预期的经济状况。

6. 测试减值准备：审计师会测试合同资产减值准备的计算是否恰当，包括评估减值测试的方法和假设。

7. 比较合同条款：审计师会对比合同条款和实际履行情况，确认收入确认是否符合合同约定。

8. 检查财务报告披露：审计师会核实财务报表中关于合同资产的信息是否充分、准确地披露。

9. 分析性程序：审计师会运用分析性程序，比如比较不同期间的合同资产变化，以识别异常波动或潜在问题。

10. 复核管理层的判断：审计师会评估管理层在判断合同资产是否满足收入确认条件时所做出的决策是否合理。

通过这些程序，审计师可以得出合同资产是否被适当地确认、计量和披露的结论。