[2]04軟件設(shè)計基礎(chǔ)(文件)
【正文】 不為空 。 組件 1被告知棧 X不為空 。 組件 2想出棧 ， 但被告知 X已上鎖 。 第 4章 軟件設(shè)計 30 ? 設(shè)計復(fù)審（ design review） ? 及早發(fā)現(xiàn)設(shè)計中的缺陷 ? 差錯的傳播 ? 復(fù)審的內(nèi)容 ? 概要設(shè)計復(fù)審 ? 系統(tǒng)的總體結(jié)構(gòu)，模塊劃分，內(nèi)外接口 ? 詳細設(shè)計復(fù)審 ? 各個模塊的具體設(shè)計 ? 復(fù)審的方式 ? 正式復(fù)審（ Formal review） ? 設(shè)計復(fù)審會（ Design review meeting） ? 非正式復(fù)審（ Informal review） ? 走查（ Walkthrough） 。 組件 2被告知 X已開鎖 （ 由于外部進程或者因為組件 2 再次嘗試 ） 組件 2出棧。 組件 2被告知棧 X不為空 。 組件 2想出棧，但 X已為空，系統(tǒng)進入非法狀態(tài)。 組件 1被告知棧 X不為空 。 第 4章 軟件設(shè)計 24 ? 自定向下和自底向上設(shè)計 自頂向下和由底向上是模塊化設(shè)計的兩種設(shè)計方法。 ? 在設(shè)計軟件時應(yīng)追求盡可能松散耦合的系統(tǒng)。 (2) 一個模塊不通過正常入口轉(zhuǎn)到另一模塊內(nèi)部 。 ? 若只是兩模塊間有公共數(shù)據(jù)環(huán)境，則公共耦合有兩種情況， 松散公共耦合 和 緊密公共耦合 。 A B 非簡單變量 記錄參數(shù) 第 4章 軟件設(shè)計 18 控制耦合 (Control Coupling) ? 如果一個模塊 通過傳送開關(guān)、標志、名字等控制信息 ，明顯地控制選擇另一模塊的功能，就是控制耦合。 ? 這種耦合的模塊獨立性最強。 第 4章 軟件設(shè)計 9 時間性模塊 ? 模塊內(nèi)各成分是由相同的執(zhí)行時間將它們連接到一起 ? 模塊內(nèi)各成分須在 同一時間段內(nèi) 執(zhí)行 程序段 1 程序段 2 程序段 n … 模塊 每一程序段的先后執(zhí)行順序任意，但必須在一個時間段內(nèi)完成。 ? 分解（ deposition） C (P1+P2)C (P1)+C (P2) E (P1+P2)E (P1)+E (P2) C為問題的復(fù)雜度， E為解題需要的工作量 模塊數(shù) 接口成本 最小成本區(qū) M
范文總結(jié)相關(guān)推薦
鄂ICP備17016276號-1