文章目錄

• 一：驗證需求正確性的四個方面
• 二：驗證軟件需求的方法
• 三：用于需求分析的軟件工具
• • （1）要求（了解）
  • （2）PSL/PSA系統

一：驗證需求正確性的四個方面

• 一致性：所有需求必須是一致的，任何一條需求不能和其他需求互相矛盾
• 完整性：需求必須是完整的，規格說明書應該包括用戶需要的每一個功能或性能
• 現實性：指定的需求應該能用現有的硬件和軟件技術可以實現
• 有效性：必須證明需求是正確有效的，確實能解決用戶面對的問題

二：驗證軟件需求的方法

• 驗證一致性：自然語言描述需求、形式化語言描述需求、使用軟件工具驗證
• 驗證現實性：參照開發經驗
• 驗證完整性和有效性：建立軟件原型

三：用于需求分析的軟件工具

（1）要求（了解）

• 必須有形式化的語法(或表)，因此可以用計算機自動處理使用這種語法說明的內容
• 使用這個軟件工具能夠導出詳細的文檔
• 必須提供分析(測試)規格說明書的不一致性和冗余性的手段，并且應該能夠產生一組報告指明對完整性分析的結果
• 使用這個軟件工具之后，應該能夠改進通信狀況

（2）PSL/PSA系統

• PSL（問題陳述語言）：是用來描述系統的形式語言
• PSA（問題陳述分析程序）：是處理PSL描述的分析程序

用PSL描述的系統屬性放在一個數據庫中。一旦建立起數據庫之后即可增加信息、刪除信息或修改信息，并且保持信息的一致性。PSA對數據庫進行處理以產生各種報告，測試不一致性或遺漏，并且生成文檔資料。

總結

以上是生活随笔為你收集整理的（软件工程复习核心重点）第三章需求分析-第五节：验证软件需求的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。