根據(jù)能力成熟度模型(CMM)評估某應(yīng)用開發(fā)項目,IS審計師應(yīng)該能夠驗證:()A.產(chǎn)品的可靠性是有保證的B.程序員的效率得到了提高C.安全需求得到了設(shè)計D.預(yù)期的軟件開發(fā)流程是被遵循的