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