注册会计师进行控制测试时，可以运用的审计程序有（）。

A、分析程序

B、询问

C、检查文件记录

D、重新计算

某市要兴建一大型的水上公司，需要征收某乡土地66亩，建设单位经市政府土地管理局批准之后即对该地进行征收。该乡几户农民因与建设单位在征地补偿费上发生纠纷，提请市政府予以裁决，市政府作出了强制性补偿的决定，但农民对此决定仍不服。对此，几户农民应该怎么办

A．只能向市政府请求解决，而不能提起诉讼

B．应当以建设单位为被告提起民事诉讼

C．应当以建设单位为被告提起行政诉讼

D．应当以市人民政府为被告提起行政诉讼