第九章軟件需求工程新進(jìn)展

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

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

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

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

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

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

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

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