單項選擇題通過對軟件的測試，可以證明（）。

A.程序正確性
B.錯誤不存在
C.錯誤存在
D.不含有隱患


您可能感興趣的試卷

你可能感興趣的試題

2.單項選擇題結(jié)構(gòu)化程序之所以有可能驗證其正確性是由于（）

A.只有三種基本結(jié)構(gòu)
B.有限制地使用GOTO語句
C.程序內(nèi)部有“內(nèi)部文檔”
D.選擇良好數(shù)據(jù)結(jié)構(gòu)和算法

3.單項選擇題結(jié)構(gòu)化流程圖（FC）中的箭頭是用于表示（）

A.控制流
B.數(shù)據(jù)流
C.數(shù)據(jù)/控制
D.調(diào)用關(guān)系

4.單項選擇題根據(jù)SP方法的要點規(guī)定，程序最后要由（）審定。

A.專家
B.誰編誰審
C.主程序員
D.資料員

5.單項選擇題在概要設(shè)計的設(shè)計文檔中，對每個模塊的描述內(nèi)容包括（）

A.功能、界面、輸入、輸出
B.界面、輸入、輸出、過程
C.界面、過程、限制和約束
D.功能、界面、過程、注釋