第九章軟件需求工程新進展

1、第九章第九章 軟件需求工程新進展軟件需求工程新進展周立新周立新 博士博士北京大學軟件與微電子學院北京大學軟件與微電子學院課程提綱課程提綱1.1.軟件需求基本理論和概念軟件需求基本理論和概念 2.2.軟件需求工程過程軟件需求工程過程 3.3.軟件需求獲取軟件需求獲取 4.4.軟件需求分析軟件需求分析 5.5.軟件需求規(guī)格說明軟件需求規(guī)格說明 6.6.軟件需求驗證軟件需求驗證 7.7.軟件需求管理軟件需求管理 8.8.軟件需求實現(xiàn)軟件需求實現(xiàn) 9.9.軟件需求工程新進展軟件需求工程新進展 10.10. 軟件需求開發(fā)與需求管理工具軟件需求開發(fā)與需求管理工具基于知識的需求工程基于知識的需求工程把把AI

2、 (Artificial Intelligence，人工，人工智能智能 )技術應用到需求工程領域，具有技術應用到需求工程領域，具有一個知識庫和推理機制，在此基礎上進一個知識庫和推理機制，在此基礎上進行需求分析，檢測其活動。行需求分析，檢測其活動。 AI中知識表示和知識獲取、定向推理中知識表示和知識獲取、定向推理等方法對于領域建模、問題理解和需求等方法對于領域建模、問題理解和需求獲取的研究是有重要意義的。獲取的研究是有重要意義的?；谥R的需求工程工具基于知識的需求工程工具 RA：MIT研究人員開發(fā)的基于知識的系統(tǒng)，為需研究人員開發(fā)的基于知識的系統(tǒng)，為需求的開發(fā)提供一個智能助手求的開發(fā)提供一個智

3、能助手 TMMRP：德國德國USU公司基于元模型對各種不同公司基于元模型對各種不同需求進行管理的工具需求進行管理的工具 QARCC：美國南加州大學開發(fā)的一個基于知識美國南加州大學開發(fā)的一個基于知識的需求檢測工具的需求檢測工具 PROMIS：中科院數(shù)學所設計的中科院數(shù)學所設計的MIS開發(fā)環(huán)境開發(fā)環(huán)境形式化方法的定義形式化方法的定義 從廣義上說，是應用數(shù)學的手段來從廣義上說，是應用數(shù)學的手段來設計、模擬和分析，得到像數(shù)學公設計、模擬和分析，得到像數(shù)學公式那樣精確的表示。式那樣精確的表示。 從狹義上說，是使用一種形式化語從狹義上說，是使用一種形式化語言進行語言公式的形式推理，用于言進行語言公式的形式

4、推理，用于檢查語法的良構性并證明某些屬性。檢查語法的良構性并證明某些屬性。引入形式化方法的目的引入形式化方法的目的 減少二義性減少二義性 提高準確性提高準確性 為驗證打好基礎為驗證打好基礎 允許對需求進行推理允許對需求進行推理形式化需求分析方法注意事項形式化需求分析方法注意事項 選擇科學的過程模型選擇科學的過程模型 選擇合適的需求表達技術選擇合適的需求表達技術 選擇合理的形式化驗證方法選擇合理的形式化驗證方法科學的過程模型的內容科學的過程模型的內容 完整的生命周期完整的生命周期 一組全面而有條理的概念和模型一組全面而有條理的概念和模型 一套完整的技術一套完整的技術(規(guī)則，指導和啟發(fā)規(guī)則，指導和

5、啟發(fā)) 一組詳細說明的可交付產品一組詳細說明的可交付產品 一種建模語言，具有元模型以及有效而直觀的表示一種建模語言，具有元模型以及有效而直觀的表示方法方法 一組用于測試和確認的規(guī)格說明一組用于測試和確認的規(guī)格說明 保證質量的指導方針或建議保證質量的指導方針或建議 編碼編碼(及其它及其它)標準標準 系統(tǒng)復用建議系統(tǒng)復用建議 項目管理指導方針項目管理指導方針(包括對工作小組的結構以及各包括對工作小組的結構以及各人的分工、程序和資源的分配和管理等人的分工、程序和資源的分配和管理等)形式化方法描述需求實例形式化方法描述需求實例將圖書管理系統(tǒng)的規(guī)格劃分為將圖書管理系統(tǒng)的規(guī)格劃分為Books，Reader

6、s，LibrarySystem3個模塊個模塊LibrarySystemBooksReadersBooksBooks的形式化描述的形式化描述需求工程自動化的重要性需求工程自動化的重要性 從非形式化的軟件需求定義到形式從非形式化的軟件需求定義到形式化的功能規(guī)約的自動轉換仍是軟件化的功能規(guī)約的自動轉換仍是軟件自動化的一大難題自動化的一大難題 形式化是軟件自動化發(fā)展的基礎形式化是軟件自動化發(fā)展的基礎 需求工程將向著對象化、形式化和需求工程將向著對象化、形式化和自動化全面發(fā)展自動化全面發(fā)展需求工程自動化實例需求工程自動化實例 需求分析自動化系統(tǒng)（需求分析自動化系統(tǒng)（NDRASS）實現(xiàn)從實現(xiàn)從DFD,ER

7、D和和STD，以及有關字典到，以及有關字典到Z形式功能規(guī)約的自動轉換形式功能規(guī)約的自動轉換 需求分析支撐系統(tǒng)（需求分析支撐系統(tǒng)（NDORASS）包括一個需求定義支撐子系統(tǒng)（包括一個需求定義支撐子系統(tǒng)（NDORS)和和一個需求定義自動轉換子系統(tǒng)一個需求定義自動轉換子系統(tǒng)(NDFUNS) 軟件需求功能的新發(fā)展所涉及到的：基于知識的軟件需求功能的新發(fā)展所涉及到的：基于知識的需求工程，面向方面的需求分析方法，基于需求工程，面向方面的需求分析方法，基于MDA的軟件需求開發(fā)，形式化需求分析方法和軟件需的軟件需求開發(fā)，形式化需求分析方法和軟件需求自動化等，主要查閱與參考了以下論文：求自動化等，主要查閱與參考

8、了以下論文： 1.MDA的夢想與實現(xiàn)的夢想與實現(xiàn)-解救西西弗斯解救西西弗斯 2.MDA開發(fā)中的模型一致性檢驗開發(fā)中的模型一致性檢驗 3.基于基于UML擴展的面相方面建模擴展的面相方面建模 4.基于形式化方法的需求分析基于形式化方法的需求分析 5.基于知識需求的主動式知識系統(tǒng)基于知識需求的主動式知識系統(tǒng) 6.具有用戶參與的面向方面的工程項目管理需求分析具有用戶參與的面向方面的工程項目管理需求分析 7.軟件需求定義語言軟件需求定義語言NDRDL 8.軟件需求定義語言軟件需求定義語言NDRDL的設計的設計 9.軟件需求工程軟件需求工程-方法及工具評述方法及工具評述 10. 軟件需求工程及其發(fā)展軟件需求工程及其發(fā)展 11. 軟件需求工程新發(fā)展軟件需求工程新發(fā)展 12. 軟件需求規(guī)格自動生成工具軟件需求規(guī)格自動生成工具 13. 數(shù)字圖書館非功能性需求的面向方面建模數(shù)字圖書館非功能性需求的面向方面建模 14. 需求工程洋酒新進