填空題為了把握軟件開(kāi)發(fā)各個(gè)環(huán)節(jié)的正確性和協(xié)調(diào)性，人們需要進(jìn)行（）和（）工作。（）的目的是想證實(shí)在一給定的外部環(huán)境中軟件的邏輯正確性。它包括（）和（），（）則試圖證明在軟件生存期各個(gè)階段，以及階段間的邏輯（）、（）和正確性。
您可能感興趣的試卷
你可能感興趣的試題
最新試題
以下屬于軟件設(shè)計(jì)階段的任務(wù)是（）
題型：?jiǎn)雾?xiàng)選擇題
聚合是關(guān)聯(lián)的一種特殊形式，其圖形符號(hào)表示是（）
題型：?jiǎn)雾?xiàng)選擇題
某公司欲開(kāi)發(fā)一個(gè)移動(dòng)辦公平臺(tái)，以下需求中屬于設(shè)計(jì)約束的是（）
題型：?jiǎn)雾?xiàng)選擇題
在UML中，以下不是構(gòu)件圖的作用的是（）。
題型：?jiǎn)雾?xiàng)選擇題
以下哪一種需求發(fā)現(xiàn)技術(shù)可能會(huì)導(dǎo)致“完美蠕行”病癥的體現(xiàn)？（）
題型：?jiǎn)雾?xiàng)選擇題
（）中，控制器通常用于協(xié)調(diào)模型和視圖之間的交互。
題型：?jiǎn)雾?xiàng)選擇題
關(guān)于依賴說(shuō)法錯(cuò)誤的是（）
題型：?jiǎn)雾?xiàng)選擇題
在UML中，一種可以表達(dá)系統(tǒng)功能模型的圖形化工具是（）
題型：?jiǎn)雾?xiàng)選擇題
以下UML圖中，能夠動(dòng)態(tài)地展示對(duì)象之間的交互的是（）。
題型：?jiǎn)雾?xiàng)選擇題
“與所期望的設(shè)計(jì)之間的偏差”是指（）
題型：?jiǎn)雾?xiàng)選擇題