軟件需求分析與形式化方法

丁艷輝E-Mail：dingyanhui@1軟件需求分析與形式化方法軟件需求分析與形式化方法

這是一門什么樣的課程？（What）為什么要學習這門課程？（Why）如何學習這門課程？（How）2軟件需求分析與形式化方法這是一門什么樣的課程？（What）《軟件需求分析與形式化方法》

是一門什么樣的課程？軟件軟件是程序以及開發、使用和維護程序需要的所有文檔。軟件的開發舉例：蓋房子3《軟件需求分析與形式化方法》

是一門什么樣的課程？軟件軟件是建造過程確定和分析需求提出并文檔化房子的總體設計提出房子的詳細規格說明識別并設計房子的組成部分（房子、管道、電）構建房子的每一個組成部分測試房子的每一個組成部分把房子的各個組成部分集成在一起，在住戶搬進來之前做最后的修改由房子的住戶持續進行維護4建造過程確定和分析需求4軟件的開發包括以下活動需求分析和定義系統設計程序設計編寫程序單元測試集成測試系統測試系統交付維護5軟件的開發包括以下活動需求分析和定義5這是一門什么樣的課程？研究如何有效地獲得需求（需求開發），并有效地對需求進行管理（需求管理）。6這是一門什么樣的課程？研究如何有效地獲得需求（需求開發），6第2個問題：為什么要學習這么課？圖1-1CHAOS報告數據分析7第2個問題：為什么要學習這么課？圖1-1CHAOS報告表1-1項目超支、超期情況分析項目超支項目比例進度超期項目比例<20%15.5%<20%13.9%21%-50%31.5%21%-50%18.3%51%-100%29.6%51%-100%20.0%101%-200%10.2%101%-200%35.5%201%-400%8.8%201%-400%11.2%>400%4.4%>400%1.1%8表1-1項目超支、超期情況分析項目超支項目比例進度超期項目成功因素權重失敗因素權重用戶的參與15.9%不完整的需求13.1%執行層的支持13.9%缺乏用戶參與12.4%清晰的需求描述13.0%資源不足10.6%合適的規劃9.6%不切實際的用戶期望9.9%現實的客戶期望8.2%缺乏執行層的支持9.3%較小的里程碑7.7%需求變更頻繁8.7%有才能的員工7.2%規劃不足8.1%主權5.3%提供了不再需要的7.5%清晰地愿景和目標2.9%缺乏IT管理6.2%努力的工作和穩定的員工2.4%技術能力缺乏4.3%其他13.9%其他9.9%表1-2項目成敗因素分析9成功因素權重失敗因素權重用戶的參與15.9%不完整的需求13“項目需求無疑是在軟件項目前期造成麻煩的一個最大原因，一個又一個研究表明，當項目失敗時，需求問題正是核心問題.”--------R.Glass10“項目需求無疑是在軟件項目前期造成麻煩的一個最大原因，第2個問題：為什么要學習這門課？《軟件需求分析與形式化方法》主要在需求分析階段，有效地發現和解決與需求相關的問題。因此，需要學習這門課。11第2個問題：為什么要學習這門課？《軟件需求分析與形式化方第3個問題：如何學習這門課？多看多思考多動手12第3個問題：如何學習這門課？多看12第一章需求工程概述1、什么是軟件需求？例如，對于選課系統，用戶有哪些需求？Davis認為，軟件需求是從軟件外部可見的，軟件所具有的、滿足于用戶的特點、功能及屬性等的集合。13第一章需求工程概述1、什么是軟件需求？Davis認IEEE，軟件工程標準詞匯表將需求定義為：（1）用戶解決問題或達到目標所需的條件或能力；（2）系統或系統部件要滿足合同、標準、規范或其它正式規定文檔所需具有的條件或能力。14IEEE，軟件工程標準詞匯表將需求定義為：14關于軟件需求還有不同的定義，原因在于一方面需求工程發展過程還不長（20世紀90年代提出）；另一方面，真正的需求實際是在人們的腦海中形成的，很難給予準確的定義。總的來說，軟件需求是指軟件系統必須滿足的所有功能、性質和限制。15關于軟件需求還有不同的定義，原因在于一方面需求工程發2、軟件需求的分類目標需求：表示組織或客戶高層次的目標；（描述了組織為什么要開發一個系統）業務需求：描述用戶的目標，或用戶要求系統必須完成的任務；功能需求：規定開發人員必須在產品中實現的軟件功能；性能需求：實際的軟件系統功能應達到的技術指標；約束與限制：軟件開發人員在設計和實現軟件系統時的限制。162、軟件需求的分類目標需求：表示組織或客戶高層次的目標；（描3、需求規格說明軟件需求規格說明是軟件所應滿足的全部需求，并可用文檔的方式完整和精確地陳述這些需求。173、需求規格說明軟件需求規格說明是軟件所應滿足的全部4、需求工程指應用工程化的方法、技術和規格來開發和管理軟件的需求。184、需求工程指應用工程化的方法、技術和規格來開發和管5、需求的開發和管理需求工程需求開發需求管理需求獲取需求分析需求描述需求驗證195、需求的開發和管理需求工程需求開發需求管理需求獲取需求分析需求獲取：確定和收集與軟件系統相關的、來自不同來源和對象的用戶需求信息。需求分析：對獲得的用戶需求信息進行分析和綜合，即提煉、分析和仔細審查已收集到的用戶需求信息，并找出其中的錯誤、遺漏或其他不足的地方，以獲得用戶對軟件系統的真正需求，建立軟件系統的需求模型。20需求獲取：確定和收集與軟件系統相關的、來自不同來源和對象的用3）需求定義：使用適當的描述語言，按標準的格式描述軟件系統的需求，并產生需求規格說明及其相應文檔。4）需求驗證：審查和驗證需求規格說明是否正確和完整地表達了用戶對軟件系統的需求。213）需求定義：使用適當的描述語言，按標準的格式描述軟件系統的6、需求管理基準需求說明分析編寫文檔評審、商議需求變更過程市場需求客戶管理市場客戶管理項目環境當前基線需求開發需求管理修正后基線需求變更項目變更需求開發與管理之間的界線226、需求管理基準需求說明分析需求變更過程市場需求客戶管理市場7、優秀需求的特點完整性：每一項需求都必須將所有實現的功能描述清楚，以便開發人員獲得設計和實現這些功能所需的必要信息。正確性：每一項需求都必須準確地描述將要開發的功能。可行性：每一項需求都必須在已知系統和環境的限制范圍內是可以實施的。237、優秀需求的特點完整性：每一項需求都必須將所有實現的功能描必要性：每一項需求都應把客戶真正需要的和最終系統所遵從的標準記錄下來。劃分優先級：給每項需求、特性或使用實例分配一個實施優先級，以指明它在特定產品中所占的分量。無二義性：對所有需求說明都只能有一個明確統一的解釋。可驗證性：檢查每項需求是否能通過設計測試用例或其他的驗證方法。24必要性：每一項需求都應把客戶真正需要的和最終系統所遵從的標準8、需求工程在軟件開發中的地位

需求是制定項目計劃的基礎。需求工程所產生的最終產物需求規格說明是軟件設計和軟件實現的基礎。需求規格說明也是測試工作和用戶驗收軟件系統的依據。需求規格說明也是軟件維護工作的依據。258、需求工程在軟件開發中的地位需求是制定項目計劃的基礎。2小結1、什么是軟件需求2、軟件需求的分類3、需求的開發和管理4、優秀需求的特點5、需求工程在軟件開發中的地位26小結1、什么是軟件需求26軟件需求分析與形式化方法

丁艷輝E-Mail：dingyanhui@27軟件需求分析與形式化方法軟件需求分析與形式化方法

這是一門什么樣的課程？（What）為什么要學習這門課程？（Why）如何學習這門課程？（How）28軟件需求分析與形式化方法這是一門什么樣的課程？（What）《軟件需求分析與形式化方法》

是一門什么樣的課程？軟件軟件是程序以及開發、使用和維護程序需要的所有文檔。軟件的開發舉例：蓋房子29《軟件需求分析與形式化方法》

是一門什么樣的課程？軟件軟件是建造過程確定和分析需求提出并文檔化房子的總體設計提出房子的詳細規格說明識別并設計房子的組成部分（房子、管道、電）構建房子的每一個組成部分測試房子的每一個組成部分把房子的各個組成部分集成在一起，在住戶搬進來之前做最后的修改由房子的住戶持續進行維護30建造過程確定和分析需求4軟件的開發包括以下活動需求分析和定義系統設計程序設計編寫程序單元測試集成測試系統測試系統交付維護31軟件的開發包括以下活動需求分析和定義5這是一門什么樣的課程？研究如何有效地獲得需求（需求開發），并有效地對需求進行管理（需求管理）。32這是一門什么樣的課程？研究如何有效地獲得需求（需求開發），6第2個問題：為什么要學習這么課？圖1-1CHAOS報告數據分析33第2個問題：為什么要學習這么課？圖1-1CHAOS報告表1-1項目超支、超期情況分析項目超支項目比例進度超期項目比例<20%15.5%<20%13.9%21%-50%31.5%21%-50%18.3%51%-100%29.6%51%-100%20.0%101%-200%10.2%101%-200%35.5%201%-400%8.8%201%-400%11.2%>400%4.4%>400%1.1%34表1-1項目超支、超期情況分析項目超支項目比例進度超期項目成功因素權重失敗因素權重用戶的參與15.9%不完整的需求13.1%執行層的支持13.9%缺乏用戶參與12.4%清晰的需求描述13.0%資源不足10.6%合適的規劃9.6%不切實際的用戶期望9.9%現實的客戶期望8.2%缺乏執行層的支持9.3%較小的里程碑7.7%需求變更頻繁8.7%有才能的員工7.2%規劃不足8.1%主權5.3%提供了不再需要的7.5%清晰地愿景和目標2.9%缺乏IT管理6.2%努力的工作和穩定的員工2.4%技術能力缺乏4.3%其他13.9%其他9.9%表1-2項目成敗因素分析35成功因素權重失敗因素權重用戶的參與15.9%不完整的需求13“項目需求無疑是在軟件項目前期造成麻煩的一個最大原因，一個又一個研究表明，當項目失敗時，需求問題正是核心問題.”--------R.Glass36“項目需求無疑是在軟件項目前期造成麻煩的一個最大原因，第2個問題：為什么要學習這門課？《軟件需求分析與形式化方法》主要在需求分析階段，有效地發現和解決與需求相關的問題。因此，需要學習這門課。37第2個問題：為什么要學習這門課？《軟件需求分析與形式化方第3個問題：如何學習這門課？多看多思考多動手38第3個問題：如何學習這門課？多看12第一章需求工程概述1、什么是軟件需求？例如，對于選課系統，用戶有哪些需求？Davis認為，軟件需求是從軟件外部可見的，軟件所具有的、滿足于用戶的特點、功能及屬性等的集合。39第一章需求工程概述1、什么是軟件需求？Davis認IEEE，軟件工程標準詞匯表將需求定義為：（1）用戶解決問題或達到目標所需的條件或能力；（2）系統或系統部件要滿足合同、標準、規范或其它正式規定文檔所需具有的條件或能力。40IEEE，軟件工程標準詞匯表將需求定義為：14關于軟件需求還有不同的定義，原因在于一方面需求工程發展過程還不長（20世紀90年代提出）；另一方面，真正的需求實際是在人們的腦海中形成的，很難給予準確的定義。總的來說，軟件需求是指軟件系統必須滿足的所有功能、性質和限制。41關于軟件需求還有不同的定義，原因在于一方面需求工程發2、軟件需求的分類目標需求：表示組織或客戶高層次的目標；（描述了組織為什么要開發一個系統）業務需求：描述用戶的目標，或用戶要求系統必須完成的任務；功能需求：規定開發人員必須在產品中實現的軟件功能；性能需求：實際的軟件系統功能應達到的技術指標；約束與限制：軟件開發人員在設計和實現軟件系統時的限制。422、軟件需求的分類目標需求：表示組織或客戶高層次的目標；（描3、需求規格說明軟件需求規格說明是軟件所應滿足的全部需求，并可用文檔的方式完整和精確地陳述這些需求。433、需求規格說明軟件需求規格說明是軟件所應滿足的全部4、需求工程指應用工程化的方法、技術和規格來開發和管理軟件的需求。444、需求工程指應用工程化的方法、技術和規格來開發和管5、需求的開發和管理需求工程需求開發需求管理需求獲取需求分析需求描述需求驗證455、需求的開發和管理需求工程需求開發需求管理需求獲取需求分析需求獲取：確定和收集與軟件系統相關的、來自不同來源和對象的用戶需求信息。需求分析：對獲得的用戶需求信息進行分析和綜合，即提煉、分析和仔細審查已收集到的用戶需求信息，并找出其中的錯誤、遺漏或其他不足的地方，以獲得用戶對軟件系統的真正需求，建立軟件系統的需求模型。46需求獲取：確定和收集與軟件系統相關的、來自不同來源和對象的用3）需求定義：使用適當的描述語言，按標準的格式描述軟件系統的需求，并產生需求規格說明及其相應文檔。4）需求驗證：審查和驗證需求規格說明是否正確和完整地表達了用戶對軟件系統的需求。473）需求定義：使用適當的描述語言，按標準的格式描述軟件系統的6、需求管理基準需求說明