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

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