哈工大軟工課件需求分析與建模

需求分需求分2第6章軟求分活需求開(kāi)產(chǎn)出3第6章軟求分活需求開(kāi)產(chǎn)出3第6章軟求分分析模會(huì)議紀(jì)討論紀(jì)審核通過(guò)規(guī)格說(shuō)明需求管需求分析(RequirementAnalysis)–––????需求分析(RequirementAnalysis)–––????4第6章軟求分描述客戶需要什么（軟件描述客戶需要什么（軟件的信息、功能和行為為軟件設(shè)計(jì)奠定基礎(chǔ)（結(jié)構(gòu)、接口、構(gòu)件設(shè)計(jì)定義在軟件完成后可以被確認(rèn)的一組需5第6章軟求分關(guān)于基礎(chǔ)結(jié)構(gòu)和其他非功能的模型應(yīng)推延到設(shè)計(jì)階段再考最小化整個(gè)系統(tǒng)內(nèi)的關(guān)盡可能保持模型簡(jiǎn)6第6章軟求分抓住事物的本質(zhì)，捕獲問(wèn)題空間的“一般/特殊”關(guān)系是認(rèn)識(shí)、構(gòu)造問(wèn)點(diǎn)線碼頭7第抓住事物的本質(zhì)，捕獲問(wèn)題空間的“一般/特殊”關(guān)系是認(rèn)識(shí)、構(gòu)造問(wèn)點(diǎn)線碼頭7第6章軟求分–問(wèn)題的深問(wèn)題的深問(wèn)題的廣整個(gè)問(wèn)–問(wèn)題的深問(wèn)題的深問(wèn)題的廣整個(gè)問(wèn)問(wèn)題的深問(wèn)題的廣問(wèn)題的廣8第2章需件過(guò)程與–9第6章軟求–9第6章軟求分––???––形式化的數(shù)學(xué)模型(formal––???––形式化的數(shù)學(xué)模型(formalmathematical(informalgraphical第2章軟求分–結(jié)構(gòu)化分析與設(shè)計(jì)方法(StructuredAnalysisandDesignTechnique,–面向?qū)ο蠓治雠c設(shè)計(jì)方法(Object-Oriented 第2章軟–結(jié)構(gòu)化分析與設(shè)計(jì)方法(StructuredAnalysisandDesignTechnique,–面向?qū)ο蠓治雠c設(shè)計(jì)方法(Object-Oriented 第2章軟求分第6章軟求分第6章軟求分需求分面向?qū)ο笮枨蠓治鲂枨蠓置嫦驅(qū)ο笮枨蠓治鼋?.2.1面向?qū)ο笮枨蠓?.2.2靜態(tài)分析建6.2.3動(dòng)態(tài)分析建結(jié)構(gòu)化需求分析建第2章軟求分–––第–––第面向?qū)ο蟮姆治瞿Ｐ陀扇齻€(gè)獨(dú)立面向?qū)ο蟮姆治瞿Ｐ陀扇齻€(gè)獨(dú)立的模型構(gòu)成–––第2章軟求分獲取功能需獲取功能需用例模型，細(xì)化系統(tǒng)行()1類2狀態(tài)圖、協(xié)作第2章軟求分第6章軟求分第6章軟求分第第需求分面向?qū)ο笮枨蠓?.2.1需求分面向?qū)ο笮枨蠓?.2.1面向?qū)ο笮枨蠓?.2.2靜態(tài)分析建6.2.3動(dòng)態(tài)分析建結(jié)構(gòu)化需求分第第一階段：建立靜第一階段：建立靜態(tài)模型（領(lǐng)域建模第制品關(guān)系樣例SaSalesLineIte1..1..業(yè)務(wù)建da.制品關(guān)系樣例SaSalesLineIte1..1..業(yè)務(wù)建da....、屬性和關(guān)概念類術(shù)語(yǔ)概念、Operation:enterItem領(lǐng)域概念某些中軟的名來(lái)啟示Post--..:1.2.3收銀員輸入商品ID.需詞匯enterIte(itemID,quantity 設(shè)spec=getProductSpec(item)addLineItem(spec,quantity..第第章需求分通過(guò)領(lǐng)域建模能夠降低與OO建模之間的表示差涉眾對(duì)領(lǐng)域內(nèi)重要概念的看法Sa11P通過(guò)領(lǐng)域建模能夠降低與OO建模之間的表示差涉眾對(duì)領(lǐng)域內(nèi)重要概念的看法Sa11Pays-fodatetimamount因此，涉眾所設(shè)想的領(lǐng)域與其在軟件的表示之間的表示差異被降第2章需件過(guò)程與Sa Pays-fo date:DastartTime:Timamount:MonegetBalance():MonegetTotal():Mone..方法1：重用和修改現(xiàn)有的模方法1：重用和修改現(xiàn)有的模–方法2：使用分類列–––方法3：確定名詞短–第6章需件過(guò)程與………第6章需求分析與建選擇概念類的標(biāo)+狀態(tài),+狀態(tài),-選擇概念類的標(biāo)+狀態(tài),+狀態(tài),-––+行為,--行為,-第6章需件過(guò)程與選擇概念類示abc第選擇概念類示abc第6章軟求分第6章需件過(guò)程與第6章需件過(guò)程與–––…–––… 邊界類(Boundary–––邊界類(Boundary–––令)，而不是用戶界面的顯示形式(如按鈕、菜單等)；對(duì)系統(tǒng)接口/第2章需件過(guò)程與邊界類(Boundary第6章邊界類(Boundary第6章軟求分控制類(Control描述一個(gè)用例所控制類(Control描述一個(gè)用例所具有的事件流的控制行為6章與建控制類(Control第控制類(Control第實(shí)體類(Entity實(shí)體類(Entity第6章軟求分實(shí)體類(Entity實(shí)體類(Entity第6章軟求分第第–通常，一個(gè)參與者與一個(gè)用例之間的交互或通信關(guān)聯(lián)對(duì)第6章軟求分–通常，一個(gè)參與者與一個(gè)用例之間的交互或通信關(guān)聯(lián)對(duì)第6章軟求分第6章軟第6章軟求分第2章軟求分第2章軟求分在分析階段，力求使用用戶的術(shù)語(yǔ)描述界面邊界類實(shí)例的生命周期并不僅限于用例的事件流，如果6章與建負(fù)責(zé)接收邊界類的信息，并將其分發(fā)給實(shí)體類控制邏6章與建第2章需件過(guò)程與第2章需件過(guò)程與例如：圖書(shū)管理系統(tǒng)中的“登錄”例如：圖書(shū)管理系統(tǒng)中的“登錄”第6章軟求分“事物判斷一個(gè)“名詞”雇員顧客醫(yī)生部門學(xué)院“事物判斷一個(gè)“名詞”雇員顧客醫(yī)生部門學(xué)院第第6章需件過(guò)程與第6章需件過(guò)程與6章與建關(guān)聯(lián)：關(guān)聯(lián)是類之間的關(guān)系，表示有意義的連association屬性還是類 關(guān)聯(lián)：關(guān)聯(lián)是類之間的關(guān)系，表示有意義的連association屬性還是類 何時(shí)使用描述類WoProductDescriptionIteDescribesdescriptionBetter*1pricserialnum第temID求分析與建Records-Sa 按照一般常識(shí)，找按照一般常識(shí)，找出對(duì)象的某些屬性人員的姓名、性別、年齡、地址等認(rèn)真研究問(wèn)題域，找出對(duì)象的某些屬性商品的條形碼、學(xué)生的學(xué)號(hào)根據(jù)系統(tǒng)責(zé)任的要求，找出對(duì)象的某些屬性考慮對(duì)象需要系統(tǒng)保存的信息，找出對(duì)象的相應(yīng)屬性對(duì)象為了在服務(wù)中實(shí)現(xiàn)其功能，需要增設(shè)一些屬性確定屬性表示整體與部分結(jié)構(gòu)和實(shí)例連接6章與建–避免加入太多的關(guān)聯(lián)，重點(diǎn)關(guān)注“需要記住”Records-current1–避免加入太多的關(guān)聯(lián)，重點(diǎn)關(guān)注“需要記住”Records-current1第2章需件過(guò)程與Sa關(guān)系––––關(guān)系––––例如––––第2章軟求分Records-sale-oCC11..111Records-accounts0..Used-b**foSalesLineIteStoIteSto*111..1..1HousesContained-iLogs-com1..1Records-sale-oCC11..111Records-accounts0..Used-b**foSalesLineIteStoIteSto*111..1..1HousesContained-iLogs-com1..1*SaCaptured-o0..1111Is-foWorks-oPaid-b111第當(dāng)需求（例如，用例）建議當(dāng)需求（例如，用例）建議或暗示需要記住的信息時(shí)，引入屬第2章需件過(guò)程與Records-sale-oLedgerCataloContainsitemprice11..111Records-accounts0..Used-bDescribes**foSalesLineIteStoIteStonameaddressquantity11*1..1..1HouseContained-iRecords-sale-oLedgerCataloContainsitemprice11..111Records-accounts0..Used-bDescribes**foSalesLineIteStoIteStonameaddressquantity11*1..1..1HouseContained-icom1..1*SaCaptured-o0..dateTim/i1111Works-oIs-foPaid-b111i第第6章軟求第6章軟求分第6章軟求第6章軟求分需求分面向?qū)ο笮枨蠓?.2.1需求分面向?qū)ο笮枨蠓?.2.1面向?qū)ο笮枨蠓?.2.2靜態(tài)分析建6.2.3動(dòng)態(tài)分析建結(jié)構(gòu)化需求分第第二階段：建立動(dòng)態(tài)模第二階段：建立動(dòng)態(tài)模從用例模型和活動(dòng)圖入手，建立系統(tǒng)順序第動(dòng)態(tài)行為模型可用兩個(gè)新視圖描述動(dòng)態(tài)行為模型可用兩個(gè)新視圖描述––順序圖(Sequence第順序圖是強(qiáng)調(diào)消息時(shí)間順序的交互順序圖描述了對(duì)象之間傳送消息的時(shí)間順序，表示用例中的順序圖是強(qiáng)調(diào)消息時(shí)間順序的交互順序圖描述了對(duì)象之間傳送消息的時(shí)間順序，表示用例中的行為順:MaintenanceWindow:::Administrator1:additem(2:find(StCheckcorrespondingtitleexist3:return4:create(Integer,第章軟件過(guò)程與對(duì)象激活生命消息name激對(duì)象激活生命消息name激活create撤創(chuàng)返第6章需件過(guò)程與第6章軟求分激活表示該對(duì)象被占用激活表示該對(duì)象被占用以完成某在UML中，為了表示對(duì)象是激活激活第6章軟求分如果對(duì)象位于順如果對(duì)象位于順序圖的頂部，說(shuō)明在交互開(kāi)始之前該對(duì)象已經(jīng)存在如果要撤銷一個(gè)對(duì)象，只要在其生命線終止點(diǎn)放置一個(gè)“X”符號(hào)即可，第6章軟求分第6章軟求分收銀makeNewendSaletotalwithchangedue,收銀makeNewendSaletotalwithchangedue,第2章軟求分:收銀endSatotal:收銀endSatotalwithmakePaymentchangedue,第6章軟求分簡(jiǎn)單現(xiàn)金銷售過(guò)程場(chǎng)景顧客帶商品到收銀臺(tái)收銀員開(kāi)始一個(gè)新銷售收銀員輸入商品標(biāo)識(shí)系統(tǒng)記錄銷售商品并顯示描述l.收銀員重復(fù)步3-4系統(tǒng)顯示總價(jià)并計(jì)算稅金收銀員告訴顧客總價(jià)并要求支系統(tǒng)處理支付..：系用例描述顧客向系統(tǒng)提起查詢請(qǐng)求系統(tǒng)根用例描述顧客向系統(tǒng)提起查詢請(qǐng)求系統(tǒng)根據(jù)請(qǐng)求為顧客提供一個(gè)顧C(jī)D 顧客在推薦列表中選定一個(gè)CD，然后要求查看更詳細(xì)的信息系統(tǒng)為顧客提供選定CD信息顧客購(gòu)買選定CD顧客離開(kāi)第6章軟求分CD選定C查詢?cè)敿?xì)信息CD購(gòu)買C––––––––第6章軟求分:::1:additem(2:3:create(Integer,4:return第6章軟求分:::1:additem(2:3:create(Integer,4:return第6章軟求分查詢屬性查詢屬性修改屬性第第第第章需求第章需求分析Billing第2章需件過(guò)程與Billing第2章需件過(guò)程與針對(duì)用例“課程注冊(cè)第6章需件過(guò)針對(duì)用例“課程注冊(cè)第6章需件過(guò)程與:::1.registerForCourses(1.1.isRegistrationOpen([registrationopen)2.createSchedule(第:::1.registerForCourses(1.1.isRegistrationOpen([registrationopen)2.createSchedule(第:1.1.getCurrentSchedule(Student,1.4.displayCourseOfferings(2.)2.1.updateScheduleSelections(第2章需件過(guò)程與:1.1.getCurrentSchedule(Student,1.4.displayCourseOfferings(2.)2.1.updateScheduleSelections(第2章需件過(guò)程與:::::1.submitSchedule(SequenceDiagram:RegisterforCourses/RegisterforCourses-SaveSchedule1.1.submitSchedule(1.1.1.save(1.1.2.submit([isselected1.1.2.1.hasPrerequisites(CourseOfferi1.1.2.2.offeringStillOpen(Repeatforallcourse:::::1.submitSchedule(SequenceDiagram:RegisterforCourses/RegisterforCourses-SaveSchedule1.1.submitSchedule(1.1.1.save(1.1.2.submit([isselected1.1.2.1.hasPrerequisites(CourseOfferi1.1.2.2.offeringStillOpen(RepeatforallcourseAnattemptismadetoregisterthestudentforallselectedcourseopen,andnoscheduleconflicts]1.1.2.4.第2章需件過(guò)程與第6章軟求分第6章軟求分startTime:TimeendTime:Timedays:Enum/numStudents:displayCourseOfferings()displaySchedule()submitSchedule()11startTime:TimeendTime:Timedays:Enum/numStudents:1第displayCourseOfferings()displaySchedule()submitSchedule()11startTime:TimeendTime:Timedays:Enum/numStudents:1第6章需件過(guò)程與需求分需求分–6.3.1結(jié)構(gòu)化分–6.3.2數(shù)據(jù)流–6.3.3數(shù)據(jù)字第學(xué)的思想方法(抽象、分解、模塊化)來(lái)分析和解決問(wèn)題。學(xué)的思想方法(抽象、分解、模塊化)來(lái)分析和解決問(wèn)題。將這些設(shè)計(jì)好的模塊組裝成一個(gè)軟件系統(tǒng))；最早產(chǎn)生于1970年代中期，1980年代開(kāi)始成為主核心思想第6–數(shù)據(jù)流圖(DataFlowDiagram,數(shù)據(jù)字典(DataDictionary,–?–數(shù)據(jù)流圖(DataFlowDiagram,數(shù)據(jù)字典(DataDictionary,–?––結(jié)構(gòu)化語(yǔ)言(Structured判定表或判定樹(shù)(Decision––實(shí)體聯(lián)系圖(Entity-RelationshipDiagram,E-狀態(tài)轉(zhuǎn)換圖(StateTransitionDiagram,第2章軟求分需求分需求分–6.3.1結(jié)構(gòu)化分–6.3.2數(shù)據(jù)流–6.3.3數(shù)據(jù)字第繪制DFD繪制DFD第2章軟求分1數(shù)據(jù)流圖(DataFlowDiagram,–主要刻畫“功能的輸入和輸出數(shù)據(jù)”、“數(shù)據(jù)的源頭和目的地–注冊(cè)請(qǐng)2學(xué)生注課1數(shù)據(jù)流圖(DataFlowDiagram,–主要刻畫“功能的輸入和輸出數(shù)據(jù)”、“數(shù)據(jù)的源頭和目的地–注冊(cè)請(qǐng)2學(xué)生注課程安教學(xué)生信息課程注冊(cè)信課程安排數(shù)3班級(jí)列1提供的課安排課第1第6章軟求分1第6章軟求分加工(又稱數(shù)據(jù)處理，dataprocessing)–––加工(又稱數(shù)據(jù)處理，dataprocessing)––––12第數(shù)據(jù)存儲(chǔ)(datastorage，也稱文件)：需要在外存儲(chǔ)器上保–1顧第2章需件過(guò)數(shù)據(jù)存儲(chǔ)(datastorage，也稱文件)：需要在外存儲(chǔ)器上保–1顧第2章需件過(guò)程與外部實(shí)體(externalentity)：本系統(tǒng)外部環(huán)境中的實(shí)體(–外部實(shí)體(externalentity)：本系統(tǒng)外部環(huán)境中的實(shí)體(–點(diǎn)––第6章軟求分?jǐn)?shù)據(jù)流(dataflow)–––––訂訂1錄入訂2審核數(shù)據(jù)流(dataflow)–––––訂訂1錄入訂2審核訂???訂第2章需件過(guò)程與背景：用戶輸入a、b、c、d四個(gè)值，系統(tǒng)計(jì)算(a+b)*(c+a*d)背景：用戶輸入a、b、c、d四個(gè)值，系統(tǒng)計(jì)算(a+b)*(c+a*d)，并將問(wèn)題：繪制該系統(tǒng)的a1ba24dc3第6章軟求分–環(huán)境關(guān)聯(lián)DFD圖(Context-levelDFD，或ContextDiagram)：也稱頂層DFD圖，描述了系統(tǒng)與外部環(huán)境之間的數(shù)據(jù)輸入/輸出關(guān)系；系統(tǒng)內(nèi)部DFD圖(Inner-levelDFD)：–????–環(huán)境關(guān)聯(lián)DFD圖(Context-levelDFD，或ContextDiagram)：也稱頂層DFD圖，描述了系統(tǒng)與外部環(huán)境之間的數(shù)據(jù)輸入/輸出關(guān)系；系統(tǒng)內(nèi)部DFD圖(Inner-levelDFD)：–????…213第6章需件過(guò)程與頂層DFD圖(關(guān)聯(lián)圖––––輸入信息輸出信息外頂層DFD圖(關(guān)聯(lián)圖––––輸入信息輸出信息外部實(shí)體輸入信息輸出信息0系外部實(shí)體2輸出信息輸入信息第6章需件過(guò)程與外部實(shí)體……0課程安排數(shù)注冊(cè)請(qǐng)00課程安排數(shù)注冊(cè)請(qǐng)0班級(jí)列教課程安第2章需件過(guò)程與編號(hào)：1、2、…、23編號(hào)：1、2、…、231第的加工，進(jìn)而逐漸向下構(gòu)造得到1層DFD的加工，進(jìn)而逐漸向下構(gòu)造得到1層DFD、2層DFD、…最底層DFD中的加工稱為“基本加工”–1層DFD：1.1、1.2、…、–2層DFD：1.1.1、1.1.2、…、–第2章軟求分20層311層課選擇日教選擇教教務(wù)提供的課可用教選擇教第20層311層課選擇日教選擇教教務(wù)提供的課可用教選擇教第訂訂1處理訂2客長(zhǎng)期訂長(zhǎng)期訂訂訂訂1處理訂2客長(zhǎng)期訂長(zhǎng)期訂訂標(biāo)準(zhǔn)訂訂客緊急訂緊急訂第2章需件過(guò)程與通過(guò)識(shí)別“事件”–外部事件(Externalevents)：外部實(shí)體與系統(tǒng)進(jìn)行交互(通過(guò)識(shí)別“事件”–外部事件(Externalevents)：外部實(shí)體與系統(tǒng)進(jìn)行交互(顧客下訂單、決策事件(Decisionevents)時(shí)間性事件(Temporalevents)：由時(shí)間所觸發(fā)的周期性時(shí)間(每月25號(hào)狀態(tài)事件(Stateevents)：由某些數(shù)據(jù)的變化所自動(dòng)觸發(fā)的事件(當(dāng)庫(kù)存–––第2章軟求分把數(shù)據(jù)存儲(chǔ)放在0層數(shù)據(jù)流圖或更低層子圖上，不要放在頂層的關(guān)聯(lián)上把數(shù)據(jù)存儲(chǔ)放在0層數(shù)據(jù)流圖或更低層子圖上，不要放在頂層的關(guān)聯(lián)上012第2章軟求分?jǐn)?shù)據(jù)不能直接由一個(gè)數(shù)據(jù)存儲(chǔ)直接流到另一個(gè)數(shù)據(jù)存數(shù)據(jù)不能直接數(shù)據(jù)不能直接由一個(gè)數(shù)據(jù)存儲(chǔ)直接流到另一個(gè)數(shù)據(jù)存數(shù)據(jù)不能直接從一個(gè)外部實(shí)體直接流到一個(gè)數(shù)據(jù)存數(shù)據(jù)不能直接從一個(gè)數(shù)據(jù)存儲(chǔ)直接流到一個(gè)外部實(shí)數(shù)據(jù)不能直接在外部實(shí)體之間流第6繪制DFD數(shù)據(jù)流是單向數(shù)據(jù)存儲(chǔ)0繪制DFD數(shù)據(jù)流是單向數(shù)據(jù)存儲(chǔ)0任何加工必須有輸入和輸出數(shù)據(jù)12對(duì)現(xiàn)有加工進(jìn)行持續(xù)的分解和組合，直到所有加工之間達(dá)到較高的盡量將每一張DFD上的所有元素?cái)?shù)目控制在7-122章找出下面DFD中存在的錯(cuò)誤，并說(shuō)明如何修改找出下面DFD中存在的錯(cuò)誤，并說(shuō)明如何修改第6章軟求分教師將個(gè)人教學(xué)數(shù)據(jù)錄入系統(tǒng)，教學(xué)系統(tǒng)根據(jù)工作量考核標(biāo)準(zhǔn)和教師的教教師的工資分為兩部分：正常教師將個(gè)人教學(xué)數(shù)據(jù)錄入系統(tǒng)，教學(xué)系統(tǒng)根據(jù)工作量考核標(biāo)準(zhǔn)和教師的教教師的工資分為兩部分：正常工資和對(duì)于前者，系統(tǒng)讀取事先已存在的工得到這兩部分工資數(shù)據(jù)之后，系統(tǒng)計(jì)與此同時(shí)，系統(tǒng)需要向每個(gè)教師發(fā)布下層DFD中的輸入輸出數(shù)據(jù)流同上層DFD中相應(yīng)加工的輸入輸出數(shù)據(jù)beab1aadcc下層DFD中的輸入輸出數(shù)據(jù)流同上層DFD中相應(yīng)加工的輸入輸出數(shù)據(jù)beab1aadcc第數(shù)據(jù)流本身可以分解，但其包含的數(shù)據(jù)內(nèi)容應(yīng)保持平e數(shù)據(jù)流本身可以分解，但其包含的數(shù)據(jù)內(nèi)容應(yīng)保持平ecb1cad12c第––––繪制上述系統(tǒng)的頂層、––––繪制上述系統(tǒng)的頂層、0層、1層DFD第2章需件過(guò)程與顧訂備貨0通知顧訂備貨0通知統(tǒng)計(jì)通知采第2章需件過(guò)程與1245312453第6章需件過(guò)程與第2章需件過(guò)第2章需件過(guò)程與第第第0125 0層1層 0125 0層1層 2層第6章軟求分需求分需求分–6.3.1結(jié)構(gòu)化分–6.3.2數(shù)據(jù)流–6.3.3數(shù)據(jù)字第采用數(shù)據(jù)字典(DataDictionary)采用數(shù)據(jù)字典(DataDictionary)DD所有的定義應(yīng)是嚴(yán)密的、精確的，不可有半點(diǎn)含混，不可有二義第6章需件過(guò)程與第2章軟求分=+與