【文章內(nèi)容簡介】 上、下數(shù)據(jù)流對應(yīng)關(guān)系在數(shù)據(jù)字典中給出，但包內(nèi) 數(shù)據(jù)流的性質(zhì)（輸入、輸出）必須一致。 一幅圖中的圖元個數(shù)應(yīng)控制在 7+/2以內(nèi) 與每一加工相關(guān)的數(shù)據(jù)流的數(shù)目應(yīng)適中 （ 與層次有關(guān) ） 分析數(shù)據(jù)內(nèi)容，確定是否所有的輸入信息都用于 產(chǎn)生輸出信息； 分析加工，確定一個加工所產(chǎn)生的輸出，是否都 能由該加工的輸入信息導(dǎo)出 實(shí)例講解 ： 圖書管理系統(tǒng) —問題陳述見 P35。 根據(jù)問題陳述，在一定的層次上，可以把該系統(tǒng)分為兩“ 大塊 ” ，即：借還書等事務(wù)的處理，以及咨詢事務(wù)處理。 進(jìn)行功能抽象 。 （ 注：不同的功能抽象將導(dǎo)致不同的結(jié)果！但應(yīng)該是等價的。 ） 于是，可以根據(jù)這一抽象，可以識別： 1）頂層數(shù)據(jù)流： 借還書等事務(wù)處理要求 咨詢事務(wù)要求 以及相關(guān)的數(shù)據(jù)流 2）數(shù)據(jù)源和數(shù)據(jù)潭為：圖書管理人員，讀者以及時鐘。 基于以上分析，可形成該系統(tǒng)的環(huán)境圖： 圖書管理系統(tǒng) 圖書管理員 圖書管理要求 查詢要求 圖書統(tǒng)計(jì)表 圖書情況 讀者情況 讀者 系統(tǒng)時鐘 當(dāng)前日期 罰款單 其中： 3個輸入流 ： 圖書管理要求 ， 查詢要求，系統(tǒng)時鐘 圖書管理要求 =入庫單 借書單 還書單 注銷單 查詢要求 =讀者情況 圖書情況 圖書統(tǒng)計(jì)表 4個輸出流 ： 圖書統(tǒng)計(jì)表，圖書情況，讀者情況 通過 “ 打碎 ” 、 “ 分派 ” ，可形成如下 0層 DFD： 1 處理借還 書等事務(wù) 2 處理咨詢 事務(wù) 圖書管理要求 查詢要求 當(dāng)前日期 目錄文件 借書文件 讀者文件 罰款單 讀者情況 圖書情況 圖書統(tǒng)計(jì)表 其中：保持輸入與輸出的一致； 引入三個文件，對頂層 DFD進(jìn)行細(xì)化。 （注：存在數(shù)據(jù)庫設(shè)計(jì)問題） 以同樣方式，對加工 1進(jìn)行分解，形成： 1。 1 入庫新書 1。 2 借書 1。 3 還 書 1。 4 注銷圖書 圖書管理要求 處理圖書管理要求 目錄文件 罰款單 當(dāng)前日期 借書文件 讀者文件 入庫單 借書單 注銷單 還書單 其中：注意平衡問題；平面化問題。當(dāng)然，還可以繼續(xù)細(xì)化 1。 2 借書 目錄文件 借書文件 例如：借書 讀者文件 借書單 1。 2。 1 檢查讀者的有效性 讀者文件 1。 2。 2 檢查讀者的資格 1。 2。 3 辦理借書 1。 2。 4 檢查圖書庫存 借書單 無效讀者 有效讀者借書單 借書超限 核準(zhǔn)后的借書單 該書已借完 借書記錄 借書文件 目錄文件 注意：其中粗線數(shù)據(jù)流！ 圖書管理系統(tǒng)的 USE CASE模型（基本思路）： 借書 還書 新書入庫 注銷圖書 圖書管理員 讀 者 請： 在這一思路的基礎(chǔ)上，建立該系統(tǒng)的 USE CASE模型；并給出每一 USE CASE的描述。 對該系統(tǒng)的兩種模型進(jìn)行比較。（在哪些方法進(jìn)行？） 關(guān)于需求驗(yàn)證 有關(guān) SRS內(nèi)容方面： （ 1）正確性： 指的是 SRS中陳述的每個需求是否都表達(dá)了 系統(tǒng)的某個要求。 （ 2）無二義性： 指的是 SRS中陳述的每個需求是否都只有 一種解釋。 （ 3）完整性： 未來系統(tǒng)所做的任何事情都包含在 SRS的陳述中； 未來系統(tǒng)響應(yīng)所有可能的輸入（包括有效和無效）； SRS中沒有被標(biāo)識為“待定”的內(nèi)容。 （ 4）可驗(yàn)證性： SRS中陳述的每個需求都是可驗(yàn)證的 即當(dāng)且僅當(dāng)存在一個有限代價的過程（人工或機(jī)器） 可以檢查構(gòu)造的軟件產(chǎn)品是否符合用戶的需求。 （ 5）一致性： SRS中陳述的需求沒有與以前的文檔發(fā)生沖突； SRS中陳述的各個需求之間沒有發(fā)生沖突。 （ 6）可理解性： 有關(guān) SRS格式與風(fēng)格方面 （ 7）可修改性： 指的是 SRS的結(jié)構(gòu)和風(fēng)格使任何對需求的 必要修改都易于完整、一致的進(jìn)行。 （ 8） 可被跟蹤性： 指的是 SRS中的每個需求的出處都是清 楚的，這意味著 SRS中包含對前期支持文檔的引用表。 （ 9） 可跟蹤性： 指的是 SRS的書寫方式有助于對其中陳述 的每個需求進(jìn)行引用。 （ 10） 設(shè)計(jì)無關(guān)性： 指的是 SRS不暗示特定的軟件結(jié)構(gòu)和 算法。 第四章 結(jié)構(gòu)化設(shè)計(jì) 要回答如何解決問題 －即給出軟件解決方案 1〕 總體設(shè)計(jì)的任務(wù)：如何將 DFD轉(zhuǎn)化為 MSD 分二步實(shí)現(xiàn)： 第一步：如何將 DFD轉(zhuǎn)化為初始的 MSD 分類：變換型數(shù)據(jù)流圖 事務(wù)型數(shù)據(jù)流圖 變換設(shè)計(jì) 事務(wù)設(shè)計(jì) ?數(shù)據(jù)流圖分類 變換型 : 事務(wù)型 1 2 3 4 5 6 7 8 a b c d e f h g y x z 1 2 3 5 4 6 a b c d e f g y ?變換設(shè)計(jì) XX系統(tǒng) 變換模塊 get e put h put g get c get d c,de ef fg,h hy put y gx put x xz put z get a get b bd ac e e g,h h g z z x x g y y h d b c a c d e e f g,h f x a b 事務(wù)設(shè)計(jì) 事務(wù)中心 輸入模塊 路徑 1 路徑 2 輸出模塊 a y c g b f ce c e eg e g bd b d df d f 3 4 6 8 2 5 7 9 A2 c b d e f g i h m k n 1 10 A1 x 一個系統(tǒng)的 DFD， 通常是變換型數(shù)據(jù)流圖和事務(wù)型數(shù)據(jù)流 圖的組合 。 如下所示： 第二步：如何將初始的 MSD轉(zhuǎn)化為最終可供詳 細(xì)設(shè)計(jì)使用的 MSD ? 概念：模塊 ? 模塊化 模塊化度量：內(nèi)聚 耦合 ? 設(shè)計(jì)規(guī)則－經(jīng)驗(yàn)規(guī)則 ? 精化初始的 MSD －體現(xiàn)設(shè)計(jì)人員的創(chuàng)造 1）耦合：不同模塊之間相互依賴程度的度量。 耦合類型： （ 1）內(nèi)容耦合： （ 2）公共耦合：兩個以上的模塊共同引用一個全局?jǐn)?shù)據(jù)項(xiàng)。 （ 3）控制耦合：一個模塊向另一模塊傳遞一個控制信號， 接受信號的模塊將依據(jù)該信號值進(jìn)行必要的活動。 （ 4）標(biāo)記耦合：兩個模塊至少有一個通過界面?zhèn)鬟f的公共 有結(jié)構(gòu)的參數(shù)。 （ 5）數(shù)據(jù)耦合：模塊間通過參數(shù)傳遞基本類型的數(shù)據(jù)。 2）內(nèi)聚：一個模塊之內(nèi)各成分之間相互依賴程度的度量。 內(nèi)聚類型： （ 1）偶然內(nèi)聚：一個模塊之內(nèi)各成分之間沒有任何關(guān)系。 （ 2）邏輯內(nèi)聚：幾個邏輯上相關(guān)的功能放在同一模塊中。 （ 3）時間內(nèi)聚：一個模塊完成的功能必須在同一時間內(nèi)完成，而 這些功能只是因?yàn)闀r間因素關(guān)聯(lián)在一起。 （ 4）過程內(nèi)聚：處理成分必須以特定的次序執(zhí)行。 （ 5）通信內(nèi)聚：各成分都操作在同一數(shù)據(jù)集或生成同一數(shù)據(jù)集。 （ 6）順序內(nèi)聚：各成分與一個功能相關(guān)，且一個成分的輸出作為 另一成分的輸入。 （ 7）功能內(nèi)聚：模塊的所有成分對完成單一功能是最基本的，且 該模塊對完成這一功能而言是充分必要的。 啟發(fā)性規(guī)則 經(jīng)驗(yàn)的總結(jié) （ 1）改進(jìn)軟件結(jié)構(gòu)，提高模塊獨(dú)立性； （ 2）模塊規(guī)模適中 每頁 60行語句； （ 3）深度、寬度、扇入和扇出適中； （ 4）模塊的作用域力爭在控制域之內(nèi)； （ 5）降低模塊接口的復(fù)雜性； （ 6）模塊功能應(yīng)該可以預(yù)測。 示例：數(shù)字儀表板系統(tǒng)的精化 讀旋轉(zhuǎn)信號 收集并 求平均 轉(zhuǎn)換成 轉(zhuǎn) /分 計(jì)算 gph 讀并 校核 確定 加速 /減速 計(jì)算里程 計(jì)算 mph 和超速值 計(jì)算 燃料消耗 產(chǎn)生 加速 /減速顯示 產(chǎn)生 里程顯示 發(fā)出 鈴聲 產(chǎn)生 mph顯示 產(chǎn)生 mpg顯示 旋轉(zhuǎn)信號 信號 /秒 (sps) sps 燃燒流 傳感器信號 燃燒流 gph sps rpm rpm 箭頭指示 上箭頭 下箭頭 水平線 英里 超速值 mph mpg mpg顯示 mph顯示 鈴聲 里程顯示 輸入部分 Get gph Get rpm Get sps Get 燃料流 變換燃料流為 ghp Get 燃轉(zhuǎn)信號 變換燃轉(zhuǎn)信 號為燃料流 變換 sps為 rpm Get sps Get sps 轉(zhuǎn)換為 sps Get 轉(zhuǎn)速信號 變換為 sps 變換為 sps 數(shù)字儀表板系統(tǒng)輸入部分的精化 輸入部分的初始模塊結(jié)構(gòu)圖 轉(zhuǎn)速信號 轉(zhuǎn)速信號 燃料流 燃料流 燃料流 gph sps sps rpm sps rpm gph sps sps sps sps sps sps sps 轉(zhuǎn)速信號 轉(zhuǎn)速信號 輸入部分 計(jì)算 gph 計(jì)算 rpm 計(jì)算 sps 讀燃轉(zhuǎn)信號 采集 sps 讀轉(zhuǎn)速信號 使用啟發(fā)式規(guī)則 1， 并考慮其它規(guī)則 ， 可以將輸入部分的模塊結(jié)構(gòu)圖精化為： 其中： sps為轉(zhuǎn)速的每秒信號量； sps 為 sps的平均值； sps為 sps的瞬時 變化值； rpm為每分鐘轉(zhuǎn)速； mph為每小時英里數(shù)； gph為每小時燃燒 的燃料加侖數(shù)； rpm為行進(jìn)里程 。 輸出部分 PUT mpg PUT mph PUT里程 PUT 加 /減速 PUT 超速量 顯示 顯示 顯示 數(shù)字儀表板系統(tǒng)輸出部分的精化 輸出部分的初始模塊結(jié)構(gòu)圖 顯示 對于這一初始的模塊結(jié)構(gòu)圖 ， 一般情況下應(yīng)： ? 把相同或類似的物理輸出合并為一個模塊 ， 以減少模塊之間的關(guān)聯(lián) 。 就本例而言： 左邊前三個 “ 顯示 ” ， 基本上屬于相似的物理輸出 ， 因此可以把它們合并為一個顯示模塊 。 而將 “ PUT mpg”模塊和相關(guān)的 “ 生成顯示 ‘ 的模塊合并為一個模塊；同樣地 ， 應(yīng)把“ PUT mph”模塊 、 “ PUT里程 ” 各自與相關(guān)的生成顯示的模塊合并為一個模塊 ， 參見下圖 。 ? 其它求精的規(guī)則 ， 與輸入部分類同 。 例如 ， 可以將 “ PUT 加 /減速 ” 模塊與其下屬的兩個模塊合并為一個模塊 ， 將“ PUT 超速量 ” 模塊與其下屬的兩個模塊合并為一個模塊 。 輸出模塊 生成 mpg 顯示 生成 mph 顯示 生成里程 顯示 生成加 /減速顯示 生成蜂鳴 顯示 通過以上求精之后 ,可得如下 的模塊結(jié)構(gòu)圖 變換模塊 計(jì)算 mpg 計(jì)算 mph 計(jì)算里程 計(jì)算加 /減速 變換部分的精化 1） 首先 ， 應(yīng)該了解：對于變換部分的求精 ，