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