填空題為了把握軟件開(kāi)發(fā)各個(gè)環(huán)節(jié)的正確性和協(xié)調(diào)性，人們需要進(jìn)行（）和（）工作。（）的目的是想證實(shí)在一給定的外部環(huán)境中軟件的邏輯正確性。它包括（）和（），（）則試圖證明在軟件生存期各個(gè)階段，以及階段間的邏輯（）、（）和正確性。
您可能感興趣的試卷
你可能感興趣的試題
最新試題
面向?qū)ο蠓治鲋?，確定類(lèi)的關(guān)鍵策略不包括（）。
題型：?jiǎn)雾?xiàng)選擇題
面向?qū)ο蠓治鲋?，發(fā)現(xiàn)對(duì)象之間關(guān)系的常用方法是（）。
題型：?jiǎn)雾?xiàng)選擇題
軟件需求分為功能需求與非功能需求，下面哪一項(xiàng)是非功能需求？（）
題型：?jiǎn)雾?xiàng)選擇題
在銷(xiāo)售管理系統(tǒng)需求文檔中出現(xiàn)下列描述，屬于設(shè)計(jì)約束范疇的是（）
題型：?jiǎn)雾?xiàng)選擇題
“一種自然語(yǔ)言來(lái)表達(dá)需求規(guī)約”的表達(dá)風(fēng)格是（）
題型：?jiǎn)雾?xiàng)選擇題
定義數(shù)據(jù)字典時(shí)，需要使用一些符號(hào)，以下表示重復(fù)的符號(hào)的是（）
題型：?jiǎn)雾?xiàng)選擇題
下面哪一項(xiàng)不是用況圖包含的模型元素？（）
題型：?jiǎn)雾?xiàng)選擇題
關(guān)于依賴(lài)說(shuō)法錯(cuò)誤的是（）
題型：?jiǎn)雾?xiàng)選擇題
以下哪一種需求發(fā)現(xiàn)技術(shù)可能會(huì)導(dǎo)致“完美蠕行”病癥的體現(xiàn)？（）
題型：?jiǎn)雾?xiàng)選擇題
聚合是關(guān)聯(lián)的一種特殊形式，其圖形符號(hào)表示是（）
題型：?jiǎn)雾?xiàng)選擇題