關鍵字：需求分析 軟件可靠性
形式化方法通常有嚴格定義的分割、抽象、投影機制，其數學定義有助于澄清認識。規格說明的構造往往是增量式的，但數學定義不是所有軟件開發人員都能輕易掌握的，它與一般應用尚存在相當的距離。
非形式化方法常常以某種方法學或方法框架的形式出現，非形式化地描述一系列規格說明的步驟和原則，并定義相應的記號。其典型方法有結構化分析方法和面向對象分析方法等。結構化分析方法源于數據處理應用，是一種單純的自頂向下的功能分解技術。面向對象分析方法大多通過對象(類)、狀態、交互行為來刻劃問題及問題的解，強調對對象及對象類的定義和求精。
在實踐中，人們逐步認識到形式化和非形式化方法的不足。于是，力圖尋求一種結合這兩種方法的長處、并能有效克服其缺點的綜合方法�；谥R表示的方法是這種方法的代表。
知識表示技術為需求規格說明奠定了形式基礎，而非形式的方法框架給出了需求說明的指導原則。它由輔助系統檢測當前的需求狀態，提示下一步的工作。其輔助系統一般檢測和提示多種意向的存在，并支持對需求的增量式開發。因此，其前景依賴于輔助系統的智能化程度和方法框架給出的各項指導原則的有效性。
需求說明語言的選擇至關重要，它直接影響需求說明的質量和可理解性。一般地，需求說明語言應能對現實世界中的各種概念、特征、變化等具有完備的表達能力。而且，它應是易學、易用、易讀、易懂的。目前，主要有自然語言、結構化行為描述語言、形式語言、半形式語言四類規格說明語言。
現在，大多數需求規格說明使用自然語言編制，但這相當危險，其非形式特征將妨礙軟件開發人員就擬開發軟件的各個細節達成共識。
三、需求分析工程中的可靠性保證
1.影響需求分析可靠性的因素
下述因素是影響軟件需求分析可靠性的主要因素：
分析工具、方法的選擇、使用及其有效性。
建模語言的選擇與開發人員、分析對象和需求領域的適配性。
需求分析人員與用戶和專家之間的溝通。
需求獲取與分析的徹底性、完整性、準確性，以及分析方法的有效性。
需求分析規格說明定義與描述的完整性、準確性、一致性、無二義性，以及可讀性、易理解性和可維護性。
功能需求包括備選功能的定義和識別。
性能需求包括糾錯及功能增加所產生的影響。
環境要求對軟件實現的影響。
數據的準確性和邏輯組織。
文章來源于領測軟件測試網 http://www.kjueaiud.com/