單項(xiàng)選擇題在軟件工程中，當(dāng)前用于保證軟件質(zhì)量的主要技術(shù)手段還是（）

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


您可能感興趣的試卷

你可能感興趣的試題

1.單項(xiàng)選擇題在軟件工程中，軟件測(cè)試的目的是（）

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

3.單項(xiàng)選擇題Jackson設(shè)計(jì)方法由英國(guó)的M.Jackson提出的，它是一種面向（）的設(shè)計(jì)方法。

A.對(duì)象
B.數(shù)據(jù)流
C.數(shù)據(jù)結(jié)構(gòu)
D.控制結(jié)構(gòu)

4.單項(xiàng)選擇題模塊本身的內(nèi)聚是模塊獨(dú)立性的重要度量因素之一，在七類內(nèi)聚中，具有最強(qiáng)內(nèi)聚的一類是（）

A.順序性內(nèi)聚
B.過(guò)程性內(nèi)聚
C.邏輯性內(nèi)聚
D.功能性內(nèi)聚

5.單項(xiàng)選擇題結(jié)構(gòu)化分析SA是軟件開(kāi)發(fā)需求分析階段所使用的方法，（）不是SA所使用的工具。

A.DFD圖
B.PAD圖
C.結(jié)構(gòu)化英語(yǔ)
D.判定表