軟件工程3分析

2023/6/121需求建模需求建模方法結(jié)構(gòu)化分析方法面向數(shù)據(jù)流的分析方法面向數(shù)據(jù)的分析方法面向?qū)ο蟮姆治龇椒?023/6/122需求建模需求建模方法的組成

一組語言機(jī)制供需求分析人員表達(dá)用戶需求、構(gòu)造軟件模型。

規(guī)則和經(jīng)驗(yàn)

指導(dǎo)分析人員提取需求并使用戶需求精確化、全面化、一致化。2023/6/123結(jié)構(gòu)化分析方法六十年代未、七十年代初結(jié)構(gòu)化設(shè)計(jì)盛行，結(jié)構(gòu)化分析以結(jié)構(gòu)化設(shè)計(jì)附產(chǎn)品的身份出現(xiàn)。七十年代未期

DouglasRoss提出結(jié)構(gòu)化分析的術(shù)語

DeMarco[DEM79]進(jìn)行推廣，給出分析員可以創(chuàng)建信息流模型的主要圖形記號(hào)，建議將“數(shù)據(jù)字典”和“處理說明”作為信息流模型的補(bǔ)充，並提供方法應(yīng)用的實(shí)例；2023/6/124結(jié)構(gòu)化分析方法八十年代初期Jones[PAG80],Gane[GAN82]等人提出結(jié)構(gòu)化分析方法的一些變種，用于信息系統(tǒng)的開發(fā)；八十年代中期

Ward、Mellor[WAR85]、Hatiy和Pirbhai[HAT87]對(duì)結(jié)構(gòu)化分析進(jìn)行擴(kuò)充支持實(shí)時(shí)、控制和嵌入式系統(tǒng)的開發(fā);Harel＆Pnueli研制了面向復(fù)雜實(shí)時(shí)反應(yīng)式系統(tǒng)(ComplexReal-timeReactiveSystem)的開發(fā)環(huán)境STATEMATE。2023/6/125第五章面向數(shù)據(jù)流的分析方法

1數(shù)據(jù)流圖與數(shù)據(jù)字典2實(shí)體一關(guān)系圖數(shù)據(jù)對(duì)象、屬性與關(guān)系實(shí)體一關(guān)系圖3數(shù)據(jù)流圖的實(shí)時(shí)系統(tǒng)擴(kuò)充

Ward&Mellor擴(kuò)充

Hatley&Pirhai擴(kuò)充4基于數(shù)據(jù)流的分析方法創(chuàng)建數(shù)據(jù)流模型創(chuàng)建控制流模型創(chuàng)建過程規(guī)格說明5基于數(shù)據(jù)流圖的需求分析CASE工具。語言機(jī)制動(dòng)態(tài)分析基于CASE工具的需求分析以“家庭保安系統(tǒng)”為例展示結(jié)構(gòu)化分析方法的使用過程。2023/6/126結(jié)構(gòu)化的分析模型第五章面向數(shù)據(jù)流的分析方法2023/6/127結(jié)構(gòu)化的分析模型核心數(shù)據(jù)字典描述軟件工程項(xiàng)目的所有數(shù)據(jù)對(duì)象中間層實(shí)體-關(guān)系圖、數(shù)據(jù)流圖、狀態(tài)-變遷圖實(shí)體-關(guān)系圖描述數(shù)據(jù)對(duì)象之間的關(guān)系數(shù)據(jù)流圖功能建模的基礎(chǔ)系統(tǒng)或子系統(tǒng)對(duì)數(shù)據(jù)實(shí)施的變換、變換的功能提供信息分析的信息狀態(tài)-變遷圖行為建模的基礎(chǔ)系統(tǒng)的行為模式（稱“狀態(tài)”）以及狀態(tài)變遷的方式第五章面向數(shù)據(jù)流的分析方法2023/6/128結(jié)構(gòu)化的分析模型

最外層數(shù)據(jù)對(duì)象描述、加工規(guī)格說明PSPEC、控制規(guī)格說明CSPEC數(shù)據(jù)對(duì)象

表示實(shí)體-關(guān)系圖中每個(gè)數(shù)據(jù)對(duì)象的屬性加工規(guī)格說明PSPEC

描述數(shù)據(jù)流圖的每個(gè)功能。

控制規(guī)格說明CSPEC

描述軟件控制的附加信息第五章面向數(shù)據(jù)流的分析方法2023/6/1295.1數(shù)據(jù)流圖與數(shù)據(jù)字典基于計(jì)算機(jī)的信息處理系統(tǒng)由數(shù)據(jù)流和一系列的加工構(gòu)成，這些加工將輸入數(shù)據(jù)流加工為輸出數(shù)據(jù)流數(shù)據(jù)流圖描述數(shù)據(jù)流和加工數(shù)據(jù)流圖用圖形符號(hào)表示數(shù)據(jù)流、加工、數(shù)據(jù)源及外部實(shí)體數(shù)據(jù)流圖具有層次結(jié)構(gòu)，支持問題分解、逐步求精的分析方法它是數(shù)據(jù)驅(qū)動(dòng)的數(shù)據(jù)流圖既可以表示基于計(jì)算機(jī)的系統(tǒng)，也可以表示軟件第五章面向數(shù)據(jù)流的分析方法2023/6/1210數(shù)據(jù)流圖標(biāo)記5.1數(shù)據(jù)流圖與數(shù)據(jù)字典2023/6/1211數(shù)據(jù)流與數(shù)據(jù)加工之間的關(guān)系2023/6/1212分層的數(shù)據(jù)流圖2023/6/1213在多層數(shù)據(jù)流圖中，頂層流圖僅包含一個(gè)加工，它代表被開發(fā)系統(tǒng)。它的輸入流是該系統(tǒng)的輸入數(shù)據(jù)，輸出流是系統(tǒng)所輸出數(shù)據(jù)底層流圖是指其加工不需再做分解的數(shù)據(jù)流圖，它處在最底層中間層流圖則表示對(duì)其上層父圖的細(xì)化。它的每一加工可能繼續(xù)細(xì)化，形成子圖。2023/6/1214頂層數(shù)據(jù)流圖隨著需求分析活動(dòng)的深入，較高抽象級(jí)別的復(fù)雜加工逐步精化為一系列相互關(guān)聯(lián)的數(shù)據(jù)流和子加工。5.1數(shù)據(jù)流圖與數(shù)據(jù)字典2023/6/1215數(shù)據(jù)流圖的精化與平衡逐層精化必須保持?jǐn)?shù)據(jù)流圖的平衡數(shù)據(jù)流與加工精化必須保持一致需求分析活動(dòng)只求對(duì)問題全面、清晰的理解，不考慮軟件設(shè)計(jì)細(xì)節(jié)

5.1數(shù)據(jù)流圖與數(shù)據(jù)字典2023/6/1216結(jié)構(gòu)化分析方法功能建模的步驟

商店業(yè)務(wù)處理系統(tǒng)2023/6/1217這個(gè)數(shù)據(jù)流圖只是一個(gè)高層的系統(tǒng)邏輯模型，它反映了目標(biāo)系統(tǒng)要實(shí)現(xiàn)的功能數(shù)據(jù)流圖繪制步驟首先確定系統(tǒng)的輸入和輸出根據(jù)商店業(yè)務(wù)，畫出頂層數(shù)據(jù)流圖，以反映最主要業(yè)務(wù)處理流程2023/6/1218經(jīng)過分析，商店業(yè)務(wù)處理的主要功能應(yīng)當(dāng)有銷售、采購、會(huì)計(jì)三大項(xiàng)。主要數(shù)據(jù)流輸入的源點(diǎn)和輸出終點(diǎn)是顧客和供應(yīng)商。然后從輸入端開始，根據(jù)商店業(yè)務(wù)工作流程，畫出數(shù)據(jù)流流經(jīng)的各加工框，逐步畫到輸出端，得到第一層數(shù)據(jù)流圖2023/6/1219第一層數(shù)據(jù)流圖2023/6/1220加細(xì)每一個(gè)加工框 銷售細(xì)化2023/6/1221采購細(xì)化2023/6/1222檢查和修改數(shù)據(jù)流圖的原則數(shù)據(jù)流圖上所有圖形符號(hào)只限于前述四種基本圖形元素?cái)?shù)據(jù)流圖的主圖必須包括前述四種基本元素，缺一不可數(shù)據(jù)流圖的主圖上的數(shù)據(jù)流必須封閉在外部實(shí)體之間每個(gè)加工至少有一個(gè)輸入數(shù)據(jù)流和一個(gè)輸出數(shù)據(jù)流2023/6/1223在數(shù)據(jù)流圖中，需按層給加工框編號(hào)。編號(hào)表明該加工所處層次及上下層的親子關(guān)系規(guī)定任何一個(gè)數(shù)據(jù)流子圖必須與它上一層的一個(gè)加工對(duì)應(yīng)，兩者的輸入數(shù)據(jù)流和輸出數(shù)據(jù)流必須一致。此即父圖與子圖的平衡可以在數(shù)據(jù)流圖中加入物質(zhì)流，幫助用戶理解數(shù)據(jù)流圖2023/6/1224圖上每個(gè)元素都必須有名字?jǐn)?shù)據(jù)流圖中不可夾帶控制流初畫時(shí)可以忽略瑣碎的細(xì)節(jié)，以集中精力于主要數(shù)據(jù)流2023/6/1225基本加工邏輯說明

對(duì)數(shù)據(jù)流圖的每一個(gè)基本加工，必須有一個(gè)基本加工邏輯說明基本加工邏輯說明必須描述基本加工如何把輸入數(shù)據(jù)流變換為輸出數(shù)據(jù)流的加工規(guī)則加工邏輯說明必須描述實(shí)現(xiàn)加工的策略而不是實(shí)現(xiàn)加工的細(xì)節(jié)加工邏輯說明中包含的信息應(yīng)是充足的，完備的，有用的，無冗余的2023/6/1226用于寫加工邏輯說明的工具結(jié)構(gòu)化英語判定表判定樹2023/6/1227（1）結(jié)構(gòu)化英語結(jié)構(gòu)化英語的詞匯表由英語命令動(dòng)詞數(shù)據(jù)詞典中定義的名字有限的自定義詞邏輯關(guān)系詞IF_THEN_ELSE、

CASE_OF、

WHILE_DO、

REPEAT_UNTIL等組成。2023/6/1228是一種介于自然語言和形式化語言之間的語言語言的正文用基本控制結(jié)構(gòu)進(jìn)行分割，加工中的操作用自然語言短語來表示其基本控制結(jié)構(gòu)有三種：簡(jiǎn)單陳述句結(jié)構(gòu)：避免復(fù)合語句；重復(fù)結(jié)構(gòu)：while_do

或

repeat_until結(jié)構(gòu)。判定結(jié)構(gòu)：if_then_else

或

case_of結(jié)構(gòu)；2023/6/1229商店業(yè)務(wù)處理系統(tǒng)中“檢查發(fā)貨單”if發(fā)貨單金額超過$500then

if

欠款超過了60天then

在償還欠款前不予批準(zhǔn)

else

（欠款未超期）發(fā)批準(zhǔn)書，發(fā)貨單

else

（發(fā)貨單金額未超過$500）

if

欠款超過60天then

發(fā)批準(zhǔn)書，發(fā)貨單及賒欠報(bào)告

else

（欠款未超期）發(fā)批準(zhǔn)書，發(fā)貨單

2023/6/1230（2）判定表如果數(shù)據(jù)流圖的加工需要依賴于多個(gè)邏輯條件的取值，使用判定表來描述比較合適2023/6/1231以“檢查發(fā)貨單”為例2023/6/12322023/6/1233（3）判定樹判定樹也是用來表達(dá)加工邏輯的一種工具。有時(shí)侯它比判定表更直觀。檢查發(fā)貨單金額>$500金額$500欠款>60天不發(fā)出批準(zhǔn)書欠款60天發(fā)貨單發(fā)出批準(zhǔn)書、欠款>60天發(fā)出批準(zhǔn)書、發(fā)貨單及賒欠報(bào)告欠款60天發(fā)出批準(zhǔn)書、發(fā)貨單2023/6/1234數(shù)據(jù)字典定義數(shù)據(jù)字典由數(shù)據(jù)條目組成，數(shù)據(jù)字典描述、組織和管理數(shù)據(jù)流圖的數(shù)據(jù)流、加工、數(shù)據(jù)源及外部實(shí)體。數(shù)據(jù)字典用簡(jiǎn)潔、清晰、易理解的文字描述條目，說明數(shù)據(jù)流圖的加工功能、性能、要求及設(shè)計(jì)約束等。數(shù)據(jù)流圖與數(shù)據(jù)字典配套使用，完整地描述軟件需求。5.1數(shù)據(jù)流圖與數(shù)據(jù)字典2023/6/1235數(shù)據(jù)字典的數(shù)據(jù)條目?jī)?nèi)容（1）名稱與別名數(shù)據(jù)流、數(shù)據(jù)源或外部實(shí)體的標(biāo)識(shí)；（2）數(shù)據(jù)類型；（3）何處使用／如何使用輸入流／輸出流的加工表；（4）內(nèi)容描述；（5）補(bǔ)充說明如，取值范圍與缺省值，有關(guān)的設(shè)計(jì)約束等。5.1數(shù)據(jù)流圖與數(shù)據(jù)字典2023/6/1236（1）數(shù)據(jù)流詞條描述數(shù)據(jù)流名：說明：簡(jiǎn)要介紹作用即它產(chǎn)生的原因和結(jié)果數(shù)據(jù)流來源：來自何方數(shù)據(jù)流去向：去向何處數(shù)據(jù)流組成：數(shù)據(jù)結(jié)構(gòu)數(shù)據(jù)量流通量：數(shù)據(jù)量，流通量2023/6/1237（2）數(shù)據(jù)元素詞條描述數(shù)據(jù)元素名：類型：數(shù)字（離散值，連續(xù)值），文字（編碼類型）長度：取值范圍：相關(guān)的數(shù)據(jù)元素及數(shù)據(jù)結(jié)構(gòu)：2023/6/1238（3）數(shù)據(jù)文件詞條描述數(shù)據(jù)文件名：簡(jiǎn)述：存放的是什么數(shù)據(jù)輸入數(shù)據(jù)：輸出數(shù)據(jù)：數(shù)據(jù)文件組成：數(shù)據(jù)結(jié)構(gòu)存儲(chǔ)方式：順序，直接，關(guān)鍵碼存取頻率：2023/6/1239（4）加工邏輯詞條描述加工名：加工編號(hào)：反映該加工的層次簡(jiǎn)要描述：加工邏輯及功能簡(jiǎn)述輸入數(shù)據(jù)流：輸出數(shù)據(jù)流：加工邏輯：簡(jiǎn)述加工程序，加工順序2023/6/1240（5）源點(diǎn)及匯(終)點(diǎn)詞條描述名稱：外部實(shí)體名簡(jiǎn)要描述：什么外部實(shí)體有關(guān)數(shù)據(jù)流：數(shù)目：2023/6/1241數(shù)據(jù)結(jié)構(gòu)的描述

符號(hào)

含義

舉例＝被定義為＋與

x=a＋b[...,...]或[...|...]或

x=[a,b]，x=[a|b]{...}或m{...}n重復(fù)

x={a}，x=3{a}8(...)可選

x=(a)“...”基本數(shù)據(jù)元素

x=“a”.. 連結(jié)符

x=1..92023/6/1242存折格式2023/6/1243存折＝戶名＋所號(hào)＋帳號(hào)＋開戶日＋性質(zhì)＋(印密)＋1{存取行}50戶名＝2{字母}24所號(hào)＝“001”..“999”帳號(hào)＝“00000001”..“99999999”開戶日＝年＋月＋日性質(zhì)＝“1”..“6”注：“1”表示普通戶，“5”表示工資戶等印密＝“0”注：印密在存折上不顯示存取行＝日期＋（摘要）＋支出＋存入＋余額＋操作＋復(fù)核2023/6/12445.2實(shí)體—關(guān)系圖需求分析的重要任務(wù)是，對(duì)復(fù)雜的數(shù)據(jù)及數(shù)據(jù)關(guān)系進(jìn)行分析、建模。實(shí)體—關(guān)系圖是數(shù)據(jù)模型的基礎(chǔ)，它描述數(shù)據(jù)對(duì)象、屬性、及其關(guān)系。

第五章面向數(shù)據(jù)流的分析方法2023/6/12455.2.1數(shù)據(jù)對(duì)象、屬性與關(guān)系數(shù)據(jù)對(duì)象數(shù)據(jù)屬性數(shù)據(jù)關(guān)系數(shù)據(jù)對(duì)象、屬性與關(guān)系5.2實(shí)體-關(guān)系圖2023/6/12461數(shù)據(jù)對(duì)象數(shù)據(jù)對(duì)象

現(xiàn)實(shí)世界具有不同特征和屬性的實(shí)體或事務(wù)的標(biāo)識(shí)，計(jì)算機(jī)軟件描述并處理的一組信息。如，事件、行為、角色、組織、地點(diǎn)、結(jié)構(gòu)等。數(shù)據(jù)對(duì)象只封裝數(shù)據(jù)，包括：數(shù)據(jù)流、數(shù)據(jù)源、外部實(shí)體的數(shù)據(jù)部分，不封裝操作。數(shù)據(jù)對(duì)象是相互關(guān)聯(lián)的。5.2實(shí)體-關(guān)系圖2023/6/12472數(shù)據(jù)對(duì)象的屬性屬性用“標(biāo)識(shí)符、符號(hào)串和值”標(biāo)識(shí)，描述數(shù)據(jù)對(duì)象的性質(zhì)。包括：（1）命名標(biāo)識(shí)數(shù)據(jù)對(duì)象（2）描述描述數(shù)據(jù)對(duì)象的性質(zhì)（3）引用建立數(shù)據(jù)對(duì)象之間的聯(lián)系數(shù)據(jù)對(duì)象的屬性是原子數(shù)據(jù)項(xiàng)，不包含內(nèi)部數(shù)據(jù)結(jié)構(gòu)。數(shù)據(jù)對(duì)象的任何屬性有且僅有一個(gè)屬性值。現(xiàn)實(shí)世界的實(shí)體具有許多屬性，分析人員只能考慮與應(yīng)用問題有關(guān)的屬性。5.2實(shí)體-關(guān)系圖2023/6/1248數(shù)據(jù)對(duì)象描述例汽車銷售管理問題的數(shù)據(jù)對(duì)象描述表.

汽車屬性制造商型號(hào)標(biāo)識(shí)碼車體類型顏色買主

5.2實(shí)體-關(guān)系圖2023/6/12493數(shù)據(jù)對(duì)象的關(guān)系關(guān)系數(shù)據(jù)對(duì)象按照某種關(guān)系相互連接用對(duì)象－關(guān)系偶描述數(shù)據(jù)對(duì)象關(guān)系的命名及內(nèi)涵應(yīng)反映描述的問題刪除與問題無關(guān)的關(guān)系5.2實(shí)體-關(guān)系圖2023/6/12504數(shù)據(jù)對(duì)象、屬性與關(guān)系數(shù)據(jù)對(duì)象、屬性和關(guān)系問題的數(shù)據(jù)對(duì)象與其它數(shù)據(jù)對(duì)象存在各種形式的關(guān)聯(lián)。數(shù)據(jù)模型研究，數(shù)據(jù)對(duì)象、數(shù)據(jù)對(duì)象的屬性、數(shù)據(jù)對(duì)象之間的關(guān)系?；跀?shù)據(jù)的對(duì)象、屬性與關(guān)系構(gòu)成應(yīng)用問題數(shù)據(jù)模型的基本要素。5.2實(shí)體-關(guān)系圖2023/6/1251數(shù)據(jù)對(duì)象、屬性與關(guān)系例汽車銷售問題的數(shù)據(jù)對(duì)象、屬性與關(guān)系

數(shù)據(jù)對(duì)象數(shù)據(jù)對(duì)象關(guān)系制造商汽車生產(chǎn)購車用戶汽車購買5.2實(shí)體-關(guān)系圖2023/6/12525.2.2實(shí)體—關(guān)系圖數(shù)據(jù)對(duì)象的描述用基數(shù)和形態(tài)兩個(gè)參數(shù)實(shí)體—關(guān)系圖描述系統(tǒng)所有數(shù)據(jù)對(duì)象的組成和屬性，描述數(shù)據(jù)對(duì)象之間關(guān)系的圖形語言。5.2實(shí)體-關(guān)系圖2023/6/12531數(shù)據(jù)對(duì)象的基數(shù)和形態(tài)基數(shù)cardinality一對(duì)象與另一對(duì)象關(guān)聯(lián)個(gè)數(shù)的度量。

取值“一對(duì)一”（1：1）一個(gè)對(duì)象A關(guān)聯(lián)一個(gè)對(duì)象B,反之，一個(gè)對(duì)象B關(guān)聯(lián)一個(gè)對(duì)象A。如，夫妻。“一對(duì)多”（1：N）一個(gè)對(duì)象A關(guān)聯(lián)多個(gè)對(duì)象B,反之，一個(gè)對(duì)象B關(guān)聯(lián)一個(gè)對(duì)象A。如，父子。“多對(duì)多”（N：M）一個(gè)對(duì)象A關(guān)聯(lián)多個(gè)對(duì)象B,反之，一個(gè)對(duì)象B關(guān)聯(lián)多個(gè)對(duì)象A。如，叔侄。5.2實(shí)體-關(guān)系圖2023/6/1254數(shù)據(jù)對(duì)象的基數(shù)和形態(tài)形態(tài)modality數(shù)據(jù)對(duì)象與某一“關(guān)系”關(guān)聯(lián)程度的度量。取值0、1、多。

“數(shù)據(jù)對(duì)象”與“關(guān)系”

“關(guān)系的形態(tài)”無關(guān)／可選0出現(xiàn)一次1出現(xiàn)多次“多”5.2實(shí)體-關(guān)系圖2023/6/12552實(shí)體—關(guān)系圖實(shí)體－關(guān)系圖標(biāo)識(shí)系統(tǒng)輸入/輸出的數(shù)據(jù)對(duì)象定義對(duì)象的屬性描述對(duì)象間的關(guān)系5.2實(shí)體-關(guān)系圖2023/6/1256E-R圖中表示實(shí)體關(guān)聯(lián)的符號(hào)如下：XY一個(gè)X與一個(gè)Y相關(guān)聯(lián)一個(gè)X與一個(gè)或多個(gè)Y相關(guān)聯(lián)XY一個(gè)X與零個(gè)或一個(gè)Y相關(guān)聯(lián)XY一個(gè)X與零個(gè),一個(gè)或多個(gè)Y相關(guān)聯(lián)XY一個(gè)X與一個(gè)Y或Z相關(guān)聯(lián)XYZ一個(gè)X與一個(gè)Y與Z相關(guān)聯(lián)XYZ2023/6/1257實(shí)體—關(guān)系圖實(shí)例

汽車制造商與運(yùn)輸商的運(yùn)貨合同數(shù)據(jù)對(duì)象

長方形表示關(guān)系菱形表示數(shù)據(jù)對(duì)象有基數(shù)和形態(tài)兩個(gè)參數(shù)?；鶖?shù)

關(guān)系線上離距形近的符號(hào)形態(tài)

關(guān)系線上離距形遠(yuǎn)的符號(hào)5.2實(shí)體-關(guān)系圖2023/6/1258例汽車的層次表示

用實(shí)體—關(guān)系圖表示數(shù)據(jù)對(duì)象的層次結(jié)構(gòu)及部分—整體關(guān)系

5.2實(shí)體-關(guān)系圖2023/6/1259例汽車的部分—整體關(guān)系5.2實(shí)體-關(guān)系圖2023/6/1260結(jié)構(gòu)化分析

創(chuàng)建實(shí)體關(guān)系圖過程(1)客戶列出業(yè)務(wù)過程中的事物，它對(duì)應(yīng)一組輸入/輸出數(shù)據(jù)對(duì)象，及生產(chǎn)/消費(fèi)信息的外部實(shí)體

(2)系統(tǒng)分析員和客戶逐個(gè)定義對(duì)象及對(duì)象間的連接(3)根據(jù)對(duì)象間的連接標(biāo)識(shí)對(duì)象-關(guān)系偶(4)確定對(duì)象-關(guān)系偶的基數(shù)和形態(tài)(5)重復(fù)（2）-（4）直至創(chuàng)建所有的對(duì)象-關(guān)系偶(6)描述實(shí)體屬性(7)復(fù)審實(shí)體-關(guān)系圖(8)重復(fù)（1）-（7）完成數(shù)據(jù)建模

5.2實(shí)體-關(guān)系圖2023/6/12615.4基于數(shù)據(jù)流的分析方法數(shù)據(jù)建模的基本元素是，數(shù)據(jù)對(duì)象、屬性和關(guān)系。創(chuàng)建數(shù)據(jù)流模型創(chuàng)建控制流模型過程規(guī)格說明例“家庭保安系統(tǒng)”第五章面向數(shù)據(jù)流的分析方法2023/6/12625.4.1創(chuàng)建數(shù)據(jù)流模型數(shù)據(jù)流圖是目標(biāo)軟件系統(tǒng)中各個(gè)處理子功能以及它們之間的數(shù)據(jù)流動(dòng)的圖形表示。數(shù)據(jù)流圖的精化過程是處理子功能和數(shù)據(jù)流的細(xì)化過程。隨著這一過程的進(jìn)行，用戶需求逐步精確化、一致化、完全化。5.4基于數(shù)據(jù)流的分析方法2023/6/1263結(jié)構(gòu)化分析

創(chuàng)建數(shù)據(jù)流模型過程(1)用一個(gè)園盤描述第0層軟件/系統(tǒng)的DFD圖(2)標(biāo)記系統(tǒng)的輸入/輸出(3)

精化

描述第I層的數(shù)據(jù)對(duì)象、存儲(chǔ)和加工

(4)

標(biāo)記箭頭和園盤(5)對(duì)第I層信息流進(jìn)行一致性維護(hù)(6)對(duì)加工園盤逐個(gè)進(jìn)行精化(7)當(dāng)?shù)趎層DFD圖園盤己精化為容易實(shí)現(xiàn)的簡(jiǎn)單操作時(shí)，創(chuàng)建數(shù)據(jù)流模型的過程仃止。

5.4基于數(shù)據(jù)流的分析方法2023/6/1264結(jié)構(gòu)化分析

創(chuàng)建數(shù)據(jù)流模型利用數(shù)據(jù)流圖DFD開發(fā)信息域和功能域模型。當(dāng)DFD精化到較細(xì)級(jí)別時(shí)，分析員進(jìn)行隱式功能分解，並導(dǎo)致相應(yīng)數(shù)據(jù)的精化。加工規(guī)格說明

PSPEC

描述輸入信息、加工算法、產(chǎn)生輸出結(jié)果，指明加工的約束和限制、產(chǎn)品的性能特征和工作環(huán)境等。5.4基于數(shù)據(jù)流的分析方法2023/6/1265創(chuàng)建用戶需求數(shù)據(jù)流模型應(yīng)遵循的規(guī)則（1）首先建立頂級(jí)數(shù)據(jù)流圖頂級(jí)數(shù)據(jù)流圖只有一個(gè)代表目標(biāo)軟件系統(tǒng)的功能加工根據(jù)軟件系統(tǒng)與外部環(huán)境的關(guān)系確定頂級(jí)數(shù)據(jù)流圖的外部實(shí)體以及它們與軟件系統(tǒng)之間的數(shù)據(jù)流?！凹彝ケ０蚕到y(tǒng)”0級(jí)數(shù)據(jù)流圖5.4基于數(shù)據(jù)流的分析方法2023/6/1266“家庭保安系統(tǒng)”1級(jí)數(shù)據(jù)流圖2）對(duì)用戶需求的文字描述進(jìn)行語法分析名詞和名詞短語構(gòu)成潛在的外部實(shí)體數(shù)據(jù)源或數(shù)據(jù)流、動(dòng)詞構(gòu)成潛在的處理功能。

結(jié)合分析人員對(duì)問題域和用戶需求的理解，確定軟件系統(tǒng)的主要功能以及它們之間的數(shù)據(jù)流。5.4基于數(shù)據(jù)流的分析方法2023/6/1267創(chuàng)建用戶需求數(shù)據(jù)流模型應(yīng)遵循的規(guī)則

（3）功能分解按照“強(qiáng)內(nèi)聚、松藕合”原則，對(duì)處理功能進(jìn)行精化；對(duì)數(shù)據(jù)流進(jìn)行精化，針對(duì)被精化的處理功能生成下一級(jí)數(shù)據(jù)流圖。數(shù)據(jù)流精化的意義數(shù)據(jù)流的內(nèi)容及各項(xiàng)特征將逐步彰現(xiàn)，所以要將其作為數(shù)據(jù)字典的一個(gè)條目，并不斷精化、調(diào)整內(nèi)容。在父數(shù)據(jù)流圖中的復(fù)合數(shù)據(jù)項(xiàng)可被分解為子數(shù)據(jù)項(xiàng)，這種數(shù)據(jù)流分解并不違背平衡準(zhǔn)則。如，如果將圖5.16中的“啟動(dòng)／停止系統(tǒng)”功能分解為“啟動(dòng)系統(tǒng)”和“停止系統(tǒng)”，那么“啟動(dòng)／停止命令”應(yīng)相應(yīng)地精化為“啟動(dòng)命令”和“停止命令”。5.4基于數(shù)據(jù)流的分析方法2023/6/1268“家庭保安系統(tǒng)”2級(jí)數(shù)據(jù)流圖（4）在精化過程中必須維持各級(jí)數(shù)據(jù)流圖的平衡。（５）精化過程應(yīng)適可而止，避免涉及軟件設(shè)計(jì)細(xì)節(jié)。某子功能可以用一段簡(jiǎn)潔、精確的文字描述清楚，就無需進(jìn)一步分解。5.4基于數(shù)據(jù)流的分析方法2023/6/12695.4.2創(chuàng)建控制流模型實(shí)時(shí)嵌入式系統(tǒng)存在事件驅(qū)動(dòng)機(jī)制，通過系統(tǒng)的加工產(chǎn)生控制信息。系統(tǒng)對(duì)事件信息的加工必須在指定的時(shí)間內(nèi)完成。實(shí)時(shí)嵌入式系統(tǒng)的描述不僅需要數(shù)據(jù)流圖，而且還需要控制流圖CFD?？刂埔?guī)格說明用狀態(tài)變遷圖（STD）、加工激活表（PAT）描述系統(tǒng)的行為。狀態(tài)變遷圖是行為的“順序規(guī)格說明”加工激活表是行為的“組合規(guī)格說明”，它指明某一事件發(fā)生時(shí)，流模型被激活的加工園盤。5.4基于數(shù)據(jù)流的分析方法2023/6/1270“家庭保安系統(tǒng)”控制流圖5.4基于數(shù)據(jù)流的分析方法2023/6/1271“家庭保安系統(tǒng)”狀態(tài)加工圖5.4基于數(shù)據(jù)流的分析方法2023/6/1272結(jié)構(gòu)化分析

創(chuàng)建控制流模型過程(1)列出系統(tǒng)的輸入傳感器(2)列出系統(tǒng)的中斷條件(3