2.軟件需求定義方法
在需求分析的前期，用戶往往難以對其要求進行準確、完整的描述，因此獲取并定義軟件需求特別重要。常用的需求定義方法是需求背景描述法。它可以通過對下面問題的獲取與分析，來獲得對用戶需求的定義。
用戶需求的數學、物理和工程技術等背景。
相關數據量及其數據的準確性和提供方式。
用戶需求的規模和一般限制。
精度要求。
原始數據的診斷要求和參數缺省處理要求。
操作控制與環境要求。
可靠性要求。
在規范用戶需求的基礎上，分析用戶的需求背景，應特別注意其差異。根據開發和運行環境限制，得到軟件功能和性能的初始集合，最終形成需求集合。
另一種方法是問題求解過程定義。因為有些需求難以用簡練的原始問題模型或輸入/輸出規格予以定義，需要把解決問題的過程逐步描述出來，即指定每一步的數學模型、數據加工、算法、精度要求及時間限制、模型校核、優化設計等，從而獲得對用戶需求過程的定義。
此外，事務元定義也是一種常用的方法。它通過軟件所要完成的每個獨立事務來推測用戶對某些特殊功能或性能的需求。
3.軟件需求規格說明
面向不同的需求對象，產生了多種需求規格說明方法。它們均針對不同的對象發揮了較好的作用，但目前尚無一種能“包治百病”的方法�，F有的需求規格說明方法可分為三類：形式化方法、非形式化方法、基于知識表示的綜合方法。
形式化方法是一種基于嚴格數學基礎的系統特征描述方法，可分為兩類。一是面向模型的，即通過應用一系列數學結構構造系統模型，來直接定義系統行為;二是面向特征的，即通過給出系統必須滿足的公理集，來描述系統的特征，從而間接地定義系統行為。形式化方法往往與形式化的規格說明語言緊密地結合在一起。前者的典型方法有VDM、Z、Petri網和CSP等后者又可分為公理規格說明和代數規格說明。
文章來源于領測軟件測試網 http://www.kjueaiud.com/
