單項(xiàng)選擇題

在軟件工程中,當(dāng)前用于保證軟件質(zhì)量的主要技術(shù)手段還是()

A.正確性證明
B.測(cè)試
C.自動(dòng)程序設(shè)計(jì)
D.符號(hào)證明

微信掃碼免費(fèi)搜題