下面哪一项IS审计师可用来确定编辑和确认程序的有效性（effectiveness）（）。