單項選擇題在軟件工程中，當前用于保證軟件質量的主要技術手段還是（）

A.正確性證明
B.測試
C.自動程序設計
D.符號證明


您可能感興趣的試卷

你可能感興趣的試題

1.單項選擇題在軟件工程中，軟件測試的目的是（）

A.試驗性運行軟件
B.發(fā)現(xiàn)軟件錯誤
C.證明軟件是正確的
D.找出軟件中的全部錯誤

2.單項選擇題結構化設計思想的核心是要求程序只由順序、循環(huán)和（）三種結構組成。

A.分支
B.單入口
C.單出口
D.有規(guī)則GOTO

3.單項選擇題Jackson設計方法由英國的M.Jackson提出的，它是一種面向（）的設計方法。

A.對象
B.數(shù)據(jù)流
C.數(shù)據(jù)結構
D.控制結構

4.單項選擇題模塊本身的內聚是模塊獨立性的重要度量因素之一，在七類內聚中，具有最強內聚的一類是（）

A.順序性內聚
B.過程性內聚
C.邏輯性內聚
D.功能性內聚