【大學】 軟件需求工程新進展

第九章

軟件需求工程新進展編輯ppt課程提綱軟件需求基本理論和概念

軟件需求工程過程

軟件需求獲取

軟件需求分析

軟件需求規(guī)格說明

軟件需求驗證

軟件需求管理

軟件需求實現(xiàn)

軟件需求工程新進展

軟件需求開發(fā)與需求管理工具編輯ppt內(nèi)容提要基于知識的需求工程形式化需求分析方法軟件需求自動化編輯ppt一.基于知識的需求工程編輯ppt基于知識的需求工程

把AI(ArtificialIntelligence，人工智能)技術(shù)應用到需求工程領域，具有一個知識庫和推理機制，在此基礎上進行需求分析，檢測其活動。

AI中知識表示和知識獲取、定向推理等方法對于領域建模、問題理解和需求獲取的研究是有重要意義的。編輯ppt基于知識的需求工程工具RA：MIT研究人員開發(fā)的基于知識的系統(tǒng)，為需 求的開發(fā)提供一個智能助手TMMRP：德國USU公司基于元模型對各種不同 需求進行管理的工具QARCC：美國南加州大學開發(fā)的一個基于知識 的需求檢測工具PROMIS：中科院數(shù)學所設計的MIS開發(fā)環(huán)境編輯ppt二.形式化需求分析方法編輯ppt形式化方法的定義從廣義上說，是應用數(shù)學的手段來設計、模擬和分析，得到像數(shù)學公式那樣精確的表示。從狹義上說，是使用一種形式化語言進行語言公式的形式推理，用于檢查語法的良構(gòu)性并證明某些屬性。編輯ppt引入形式化方法的目的減少二義性提高準確性為驗證打好基礎允許對需求進行推理編輯ppt形式化需求分析方法注意事項選擇科學的過程模型選擇合適的需求表達技術(shù)選擇合理的形式化驗證方法編輯ppt科學的過程模型的內(nèi)容完整的生命周期一組全面而有條理的概念和模型一套完整的技術(shù)(規(guī)則，指導和啟發(fā))一組詳細說明的可交付產(chǎn)品一種建模語言，具有元模型以及有效而直觀的表示方法一組用于測試和確認的規(guī)格說明保證質(zhì)量的指導方針或建議編碼(及其它)標準系統(tǒng)復用建議項目管理指導方針(包括對工作小組的結(jié)構(gòu)以及各人的分工、程序和資源的分配和管理等)編輯ppt形式化方法描述需求實例

將圖書管理系統(tǒng)的規(guī)格劃分為Books，Readers，LibrarySystem3個模塊LibrarySystemBooksReaders編輯pptBooks的形式化描述編輯ppt三.軟件需求自動化編輯ppt需求工程自動化的重要性從非形式化的軟件需求定義到形式化的功能規(guī)約的自動轉(zhuǎn)換仍是軟件自動化的一大難題形式化是軟件自動化發(fā)展的基礎需求工程將向著對象化、形式化和自動化全面發(fā)展編輯ppt需求工程自動化實例需求分析自動化系統(tǒng)（NDRASS）實現(xiàn)從DFD,ERD和STD，以及有關字典到Z形式功能規(guī)約的自動轉(zhuǎn)換需求分析支撐系統(tǒng)（NDORASS） 包括一個需求定義支撐子系統(tǒng)（NDORS)和一個需求定義自動轉(zhuǎn)換子系統(tǒng)(NDFUNS)編輯ppt軟件需求功能的新發(fā)展所涉及到的：基于知識的需求工程，面向方面的需求分析方法，基于MDA的軟件需求開發(fā)，形式化需求分析方法和軟件需求自動化等，主要查閱與參考了以下論文：1. MDA的夢想與實現(xiàn)--解救西西弗斯2. MDA開發(fā)中的模型一致性檢驗3. 基于UML擴展的面相方面建模4. 基于形式化方法的需求分析5. 基于知識需求的主動式知識系統(tǒng)6. 具有用戶參與的面向方面的工程項目管理需求分析7. 軟件需求定義語言NDRDL8. 軟件需求定義語言NDRDL的設計9. 軟件需求工程--方法及工具評述編輯ppt10. 軟件需求工程及其發(fā)展11. 軟件需求工程新發(fā)展12. 軟件需求規(guī)格自動生成工具13. 數(shù)字圖書館非功能性需求的面向方面建模14. 需求工程