以下關于軟件開發(fā)方法的敘述，錯誤的是（）。A. 對于較為復雜的應用問題，適合采用形式化方法進行需求分析B. 形式化方法的優(yōu)勢在于能夠精確地表述和研究應用問題及其軟件實現(xiàn)C. 凈室軟件工程將正確性驗證作為發(fā)現(xiàn)和排除錯誤的主要機制D. 凈室軟件工程強調統(tǒng)計質量控制技術，包括對客戶軟件使用預期的測試
