以下關(guān)于軟件開(kāi)發(fā)方法的敘述，錯(cuò)誤的是（）。
A. 對(duì)于較為復(fù)雜的應(yīng)用問(wèn)題，適合采用形式化方法進(jìn)行需求分析
B. 形式化方法的優(yōu)勢(shì)在于能夠精確地表述和研究應(yīng)用問(wèn)題及其軟件實(shí)現(xiàn)
C. 凈室軟件工程將正確性驗(yàn)證作為發(fā)現(xiàn)和排除錯(cuò)誤的主要機(jī)制
D. 凈室軟件工程強(qiáng)調(diào)統(tǒng)計(jì)質(zhì)量控制技術(shù)，包括對(duì)客戶軟件使用預(yù)期的測(cè)試
10年專注信管，信管教育專注者，信管網(wǎng)優(yōu)勢(shì) 免費(fèi)試聽(tīng)信管網(wǎng)信息系統(tǒng)項(xiàng)目管理師課程 全國(guó)前50名高分學(xué)員訪談：董麗(174)、李思... 信息系統(tǒng)項(xiàng)目管理師高端班培訓(xùn)課程 信管老師100小時(shí)直播課程 軟考報(bào)名專題（報(bào)名時(shí)間、入口等） 中級(jí)系統(tǒng)集成項(xiàng)目管理工程師通關(guān)課程 系統(tǒng)規(guī)劃與管理師課程（考試介紹與題型分析） 軟題庫(kù)：軟考在線題庫(kù)、支持手機(jī)答題
