填空題為了把握軟件開發(fā)各個環(huán)節(jié)的正確性和協(xié)調(diào)性，人們需要進(jìn)行（）和（）工作。（）的目的是想證實在一給定的外部環(huán)境中軟件的邏輯正確性。它包括（）和（），（）則試圖證明在軟件生存期各個階段，以及階段間的邏輯（）、（）和正確性。
您可能感興趣的試卷
你可能感興趣的試題
最新試題
以下哪一項不是RUP實現(xiàn)的目標(biāo)？（）
題型：單項選擇題
以下哪一項不是功能測試技術(shù)？（）
題型：單項選擇題
“一種自然語言來表達(dá)需求規(guī)約”的表達(dá)風(fēng)格是（）
題型：單項選擇題
定義數(shù)據(jù)字典時，需要使用一些符號，以下表示重復(fù)的符號的是（）
題型：單項選擇題
聚合是關(guān)聯(lián)的一種特殊形式，其圖形符號表示是（）
題型：單項選擇題
軟件體系結(jié)構(gòu)中的分層設(shè)計通常是為了達(dá)到什么目的？（）
題型：單項選擇題
在UML中，活動圖主要用于（）?
題型：單項選擇題
不需要建立“原型"的軟件開發(fā)模式是（）。
題型：單項選擇題
類程序設(shè)計語言（PDL），又稱為（）。
題型：單項選擇題
CMMI組織過程改善的成熟度等級中的2級是（）
題型：單項選擇題