系統(tǒng)驗(yàn)證是貫穿整個(gè)軟件生命周期的活動(dòng)，它的兩個(gè)主要手段是（）。

假設(shè)和依賴應(yīng)表述為（）。

下面哪個(gè)不是類圖中的要素？（）

業(yè)務(wù)目標(biāo)是業(yè)務(wù)需求的一個(gè)核心要素。

以下屬于過程改進(jìn)循環(huán)的是（）

對(duì)項(xiàng)目前景的描述合理的一項(xiàng)是（）。

以下不屬于軟件需求規(guī)格說明文檔的寫作特點(diǎn)是（）。

和驗(yàn)證活動(dòng)貫穿于軟件開發(fā)活動(dòng)一樣，驗(yàn)證活動(dòng)同樣普遍于（）中。

確定每一個(gè)問題對(duì)應(yīng)目標(biāo)的過程就是（）的過程。

和靜態(tài)方法相比，原型和模擬方法是成本較（）的一種方法，所以它通常只用于驗(yàn)證一些（）需求。