軟件需求的質(zhì)量保證-資料下載頁
2025-05-12 20:45本頁面
【正文】 ? 需求必須是可驗證的或 “ 可測試的 ” 。 ? “ 可驗證的或可測試的 ” 需要合理的定義良好的無歧義的需求。 ? 如果需求是不可驗證的 ,則說明需求尚不明確 ，同時意味著缺乏開發(fā)依據(jù) ,確認(rèn)缺乏標(biāo)準(zhǔn) 。 ? 驗收標(biāo)準(zhǔn)和驗證項有一定的區(qū)別 ,驗收標(biāo)準(zhǔn)用于確認(rèn)提交的軟件最終產(chǎn)品 ,驗證項用于確認(rèn)需求 。 50 40 可驗證需求的保證 ? 可驗證需求保證的唯一方法是對每項需求編寫足夠的驗證項并由用戶參加對驗證進(jìn)行評審。 50 41 實例 ? 系統(tǒng)響應(yīng)任意查詢的時間應(yīng)該小于 500毫秒 – 要根據(jù) ‘ 任意 ’ 一詞的具體含義來定。 – 如果可能查詢的范圍是有限的 ,并且如果能確定最復(fù)雜的查詢 ,就能驗證系統(tǒng)的行為。 50 42 無法驗證和測試的需求 ? 時間的顯示應(yīng)該把數(shù)字顯示得漂亮一些。 ? 系統(tǒng)應(yīng)該是用戶友好的。 ? 如何對上述兩條需求進(jìn)行驗證 ? 50 43 ? 需求集 的結(jié)構(gòu)和風(fēng)格可以對其中任一需求的變更很容易地、完整地、一致地進(jìn)行 ,同時保持己存在的需求集的結(jié)構(gòu)和風(fēng)格。 50 44 可修改需求集的保證 ? 開發(fā)團(tuán)隊統(tǒng)一的需求開發(fā)框架、標(biāo)準(zhǔn)、規(guī)范和模板。 ? 要求包含需求的包具有最小的冗余并且以恰當(dāng)?shù)哪夸?、索引以及交叉引用的能力? ? 開發(fā)團(tuán)隊統(tǒng)一的需求開發(fā)平臺和集成工具。 50 45 ? 從最初提出需求到最后需求的實現(xiàn)成為提交的工作產(chǎn)品 ,要經(jīng)歷許多階段，每個階段都是一種轉(zhuǎn)換。 ? 在轉(zhuǎn)換過程中需求做為一種知識和信息 ,有可能因為開發(fā)人員的誤解造成知識和信息的失真和衰減。 ? 能夠把最初的需求與最后提交的產(chǎn)品中實現(xiàn)該需求的部分聯(lián)系起來是很重要的。 50 46 可跟蹤的需求 ? 如果需求是可跟蹤的，那么當(dāng)更改發(fā)生時，找出產(chǎn)品的哪些部分將受到更改的影響就更容易。 ? 確保需求可跟蹤性意味著可以設(shè)計出最有效的方式來進(jìn)行更改。 50 47 跟蹤性的保證 ? 為了確認(rèn)每項需求是可追蹤的，必須具備： – 唯一的需求標(biāo)識 – 需求或限制類型的說明 – 該需求所屬的所有業(yè)務(wù)事件和用例的引用 – 對其它有沖突需求的引用 – 對該需求有某種更改影響的相關(guān)需求的引用 – 一致的使用術(shù)語 (用引用的方法使用術(shù)語 ) 50 48 ? 用戶和開發(fā)人員都能完全理解單個需求和需求集包含的全部功能。 ? 當(dāng)我們細(xì)化系統(tǒng)定義即產(chǎn)生詳細(xì)需求時 ,各種描述更加明確和詳細(xì) ? 寫需求的人必須理解所有讀者的專業(yè)詞匯、術(shù)語和文化。 ? 需求集的用戶是否能從整體上理解系統(tǒng)的行為也非常重要。 ? 可以通過提供場景或說明性用例展示系統(tǒng)在運(yùn)行環(huán)境的使用來實現(xiàn)。 50 49 可理解性的保證 ? 構(gòu)造對于不同涉眾理解的四種模型： ? 業(yè)務(wù)模型 – 面向客戶和用戶的模型 (企事業(yè)過程模型 EPMS) ? 需求模型 – 面向客戶和分析人員的模型 (用例模型 +驗證模型 ) ? 分析模型 – 面向設(shè)計人員的模型 (靜態(tài)和動態(tài)模型 ) ? 設(shè)計模型 – 面向?qū)崿F(xiàn)人員的模型 (詳細(xì)設(shè)計模型 ) 50 50 END 北京航空航天大學(xué)軟件工程研究所 羅燕京
畢業(yè)設(shè)計相關(guān)推薦
鄂ICP備17016276號-1