判斷題程序的靜態(tài)驗(yàn)證是利用數(shù)學(xué)方法證明程序的正確性。
您可能感興趣的試卷
最新試題
系統(tǒng)分析中用于描述新系統(tǒng)邏輯模型的圖示是()
題型:?jiǎn)雾?xiàng)選擇題
系統(tǒng)模塊結(jié)構(gòu)圖反映的是()
題型:?jiǎn)雾?xiàng)選擇題
信息系統(tǒng)開發(fā)五個(gè)階段中起點(diǎn)是信息系統(tǒng)()
題型:?jiǎn)雾?xiàng)選擇題
系統(tǒng)設(shè)計(jì)要回答新系統(tǒng)()的問(wèn)題,即如何實(shí)現(xiàn)系統(tǒng)分析報(bào)告中規(guī)定的系統(tǒng)功能。
題型:?jiǎn)雾?xiàng)選擇題
具有糾錯(cuò)能力的代碼是()
題型:?jiǎn)雾?xiàng)選擇題
結(jié)構(gòu)化開發(fā)方法的基本思想中體現(xiàn)把復(fù)雜的事務(wù)和活動(dòng)分解成一系列小的步驟的思想是()
題型:?jiǎn)雾?xiàng)選擇題
計(jì)算機(jī)硬件中最重要的部件是()
題型:?jiǎn)雾?xiàng)選擇題
在數(shù)據(jù)流程圖中,用于描述靜態(tài)數(shù)據(jù)的是()
題型:?jiǎn)雾?xiàng)選擇題
需求模型建立的工作過(guò)程包括()
題型:多項(xiàng)選擇題
下列哪一項(xiàng)是信息有別于其他資源的重要特性?()
題型:?jiǎn)雾?xiàng)選擇題