凈室軟件工程( Cleanroom )是軟件開(kāi)發(fā)的一種形式化方法，可以開(kāi)發(fā)較高質(zhì)量的軟件。它使用（1）進(jìn)行分析和建模，并且將（2）作為發(fā)現(xiàn)和排除錯(cuò)誤的主要機(jī)制。使用（3）測(cè)試來(lái)獲取認(rèn)證軟件可靠性所需要的信息。
（1）A、產(chǎn)生式歸約
B、移進(jìn)歸約
C、盒結(jié)構(gòu)歸約
D、規(guī)范歸約
（2）A、正確性驗(yàn)證
B、黑白盒測(cè)試
C、集成測(cè)試
D、基本路徑測(cè)試
（3）A、邊界值
B、統(tǒng)計(jì)
C、代數(shù)
D、精確
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ī)答題
