【正文】 S7 S9 S10 X10amp。外部采用形式語言的 控制結構，內部使用自然語言。 循環(huán) while 條件表達式 do s ?！璼 n end。 總體設計小結： 總體設計的目標和任務； 總體設計的表示：層次圖， HIPO圖，模塊結構圖； 基本概念：模塊，以及由此產生的 “ 鴻溝 ” ； 總體設計的基本思想與步驟： 通過：變換設計和事務設計 DFD》 初始的 MSD （幾乎可 “ 機械 ” 地進行） 使用：啟發(fā)式規(guī)則 初始的 MSD》 MSD （體現設計人員的創(chuàng)造） 2〕 詳細設計的任務：定義每一模塊 ? 結構化程序設計 三種控制結構 :順序 begin s1。 2） 就給定的數字儀表板系統(tǒng)而言 ， 如果把 “ 確定加 /減速 ” 的模塊放在 “ 計算速度 mph”模塊下面 ， 則可以減少模塊之間的關聯 ， 提高模塊的獨立性 。 輸出模塊 生成 mpg 顯示 生成 mph 顯示 生成里程 顯示 生成加 /減速顯示 生成蜂鳴 顯示 通過以上求精之后 ,可得如下 的模塊結構圖 變換模塊 計算 mpg 計算 mph 計算里程 計算加 /減速 變換部分的精化 1） 首先 ， 應該了解：對于變換部分的求精 ， 是一項具有挑戰(zhàn)性的工作 。 ? 其它求精的規(guī)則 ， 與輸入部分類同 。 就本例而言： 左邊前三個 “ 顯示 ” ， 基本上屬于相似的物理輸出 ， 因此可以把它們合并為一個顯示模塊 。 示例：數字儀表板系統(tǒng)的精化 讀旋轉信號 收集并 求平均 轉換成 轉 /分 計算 gph 讀并 校核 確定 加速 /減速 計算里程 計算 mph 和超速值 計算 燃料消耗 產生 加速 /減速顯示 產生 里程顯示 發(fā)出 鈴聲 產生 mph顯示 產生 mpg顯示 旋轉信號 信號 /秒 (sps) sps 燃燒流 傳感器信號 燃燒流 gph sps rpm rpm 箭頭指示 上箭頭 下箭頭 水平線 英里 超速值 mph mpg mpg顯示 mph顯示 鈴聲 里程顯示 輸入部分 Get gph Get rpm Get sps Get 燃料流 變換燃料流為 ghp Get 燃轉信號 變換燃轉信 號為燃料流 變換 sps為 rpm Get sps Get sps 轉換為 sps Get 轉速信號 變換為 sps 變換為 sps 數字儀表板系統(tǒng)輸入部分的精化 輸入部分的初始模塊結構圖 轉速信號 轉速信號 燃料流 燃料流 燃料流 gph sps sps rpm sps rpm gph sps sps sps sps sps sps sps 轉速信號 轉速信號 輸入部分 計算 gph 計算 rpm 計算 sps 讀燃轉信號 采集 sps 讀轉速信號 使用啟發(fā)式規(guī)則 1， 并考慮其它規(guī)則 ， 可以將輸入部分的模塊結構圖精化為： 其中： sps為轉速的每秒信號量； sps 為 sps的平均值； sps為 sps的瞬時 變化值； rpm為每分鐘轉速； mph為每小時英里數； gph為每小時燃燒 的燃料加侖數； rpm為行進里程 。 （ 7）功能內聚：模塊的所有成分對完成單一功能是最基本的，且 該模塊對完成這一功能而言是充分必要的。 （ 5）通信內聚：各成分都操作在同一數據集或生成同一數據集。 （ 3）時間內聚：一個模塊完成的功能必須在同一時間內完成，而 這些功能只是因為時間因素關聯在一起。 內聚類型： （ 1）偶然內聚：一個模塊之內各成分之間沒有任何關系。 （ 5）數據耦合：模塊間通過參數傳遞基本類型的數據。 （ 3）控制耦合：一個模塊向另一模塊傳遞一個控制信號， 接受信號的模塊將依據該信號值進行必要的活動。 如下所示： 第二步：如何將初始的 MSD轉化為最終可供詳 細設計使用的 MSD ? 概念：模塊 ? 模塊化 模塊化度量：內聚 耦合 ? 設計規(guī)則－經驗規(guī)則 ? 精化初始的 MSD －體現設計人員的創(chuàng)造 1）耦合：不同模塊之間相互依賴程度的度量。 （ 10） 設計無關性： 指的是 SRS不暗示特定的軟件結構和 算法。 （ 8） 可被跟蹤性： 指的是 SRS中的每個需求的出處都是清 楚的，這意味著 SRS中包含對前期支持文檔的引用表。 SRS中陳述的各個需求之間沒有發(fā)生沖突。 （ 5）一致性： SRS中沒有被標識為“待定”的內容。 未來系統(tǒng)所做的任何事情都包含在 SRS的陳述中； （ 2）無二義性： 指的是 SRS中陳述的每個需求是否都只有 一種解釋。 對該系統(tǒng)的兩種模型進行比較。 2。 2。 2。 2。當然，還可以繼續(xù)細化 1。 3 還 書 1。 1 入庫新書 1。 基于以上分析，可形成該系統(tǒng)的環(huán)境圖： 圖書管理系統(tǒng) 圖書管理員 圖書管理要求 查詢要求 圖書統(tǒng)計表 圖書情況 讀者情況 讀者 系統(tǒng)時鐘 當前日期 罰款單 其中： 3個輸入流 ： 圖書管理要求 ， 查詢要求，系統(tǒng)時鐘 圖書管理要求 =入庫單 借書單 還書單 注銷單 查詢要求 =讀者情況 圖書情況 圖書統(tǒng)計表 4個輸出流 ： 圖書統(tǒng)計表，圖書情況，讀者情況 通過 “ 打碎 ” 、 “ 分派 ” ，可形成如下 0層 DFD： 1 處理借還 書等事務 2 處理咨詢 事務 圖書管理要求 查詢要求 當前日期 目錄文件 借書文件 讀者文件 罰款單 讀者情況 圖書情況 圖書統(tǒng)計表 其中：保持輸入與輸出的一致； 引入三個文件，對頂層 DFD進行細化。 （ 注：不同的功能抽象將導致不同的結果！但應該是等價的。 根據問題陳述，在一定的層次上，可以把該系統(tǒng)分為兩“ 大塊 ” ，即：借還書等事務的處理，以及咨詢事務處理。 與每一加工相關的數據流的數目應適中 （ 與層次有關 ） 小說明和數據流圖的圖形表示必須一致，例如： 在小說明中，必須說明“輸入數據流”如何使用，必須 說明如何產生“輸出數據流”，必須說明如何選取、使用、 修改“數據存儲” （ 2） 控制復雜性規(guī)則 每個數據流和數據存儲必須在數據字典中予以定義 2 計算日銷售額 銷售文件 查詢要求 2 查詢要求 1 銷售情況 日銷售額 加工 3: *其中為什么要引入 加工 “ 判定要求 ” ？ (2)建立數據字典 定義數據流 定義數據存儲 定義數據項 引入：結構符 ＋ | { } －用于定義數據結構 A A A B C B0 C0 B* 數據字典 : 數據流 : 銷售的商品 =商品名 +商品編號 +單價 +數量 +日期 現金額 = 余額 =非負實數 查詢要求 =[商品編號 |日期 ] 查詢要求 1=商品編號 查詢要求 2=日期 銷售情況 =商品名 +商品編號 +金額 日銷售額 = {類名 +現金額 } 數據存貯 : 銷售文件 ={銷售的商品 } 數據項 (3)給出加工小說明 使用的工具可以為判定表 判定樹 判斷表 Ⅰ 條件類別 Ⅱ 條件組合 Ⅲ 操作 Ⅳ 操作執(zhí)行 例如： 考試總分 =620 =620 620 單科成績 有滿分 有不及格 有滿分 發(fā)升級通知書 y y n 發(fā)留級通知書 n n y 發(fā)重修通知書 n y n 3〕 建模中注意的問題 （ 1） 模型平衡規(guī)則 例如：加工 3 可分解為： 判定要求 查詢要求 3。 至此，體現精化，形成 0層數據流圖。 簡化的商業(yè)自動化系統(tǒng) 營業(yè)員 收款員 經 理 銷售的商品 現金額 現金余額 銷售情況 日銷售額 查詢要求 首先：建立系統(tǒng)環(huán)境圖，確定系統(tǒng)邊界 頂層 DFD 其中： 1 數據流為：銷售的商品，日銷售額等 3個輸入流， 3個輸出流 數據源為：營業(yè)員，經理，收款員 數據潭為：經理，收款員 2 加工名為：要建立的系統(tǒng)名字 錄入、修改或 刪除商品信息 錄入、修改 現金額 , 并計算余額 查詢商品銷售情況 計算日銷售額 1 2 3 繼之：自頂向下，逐層分解 A、按人或部門的功能要求，將加工 “ 打碎 ” ，形成： 注：需給每一加工編號； B、 ” 分派 ” 數據流，形成： 錄入、修改或 刪除商品信息 2 錄入、修改 現金額 , 并計算余額 查詢商品銷售情況 計算日銷售額 銷售的商品 現金額 現金余額 查詢要求 銷售情況 日銷售額 1 3 其中：要根據特定的加工要求進行分派； 保持與頂層數據流的一致； 可以不引入數據源和數據潭。 收款員 負責收取現金，并將多交的付款退還用戶。例如： 旅行社 訂票單 預定 機票 準備 機票 記帳 費用 航班 帳單 機票 記帳文件 航班目錄 旅行社 數據流圖由四個基本成分組成： 數據流 加工 數據存儲 數據源和數據潭 其中： 1 各成分的定義 2 數據流、數據存儲 支持數據抽象 加工 支持過程 /功能的抽象 3 關于命名問題 問題陳述：建立一個簡化的商業(yè)自動化系統(tǒng)。為了實現這一目標， （一）結構化分析方法 1〕 提出的概念有： 數據流： 加工： 數據存儲： 數據源： 數據潭： 概念是完備的 。 (關系是操作者和 USE CASE之間的關聯 是操作者之間的泛化 是 USE CASE之間的泛化 、 擴展和包含 ) 可以將一些 USE CASE用一矩形括起 ， 以表示所包括的那個系統(tǒng)或其它語義實體的邊界 。 1 * inclnde inclnde inclnde extend the salesperson asks for the catalog Place Order extension point