SE06-瀑布模型-設(shè)計(jì)過(guò)程

設(shè)計(jì)工程總體設(shè)計(jì)詳細(xì)設(shè)計(jì)設(shè)計(jì)設(shè)計(jì)是將問(wèn)題轉(zhuǎn)換成解決方案的創(chuàng)造性過(guò)程。滿足需求規(guī)格說(shuō)明中所有需求的設(shè)計(jì)，就是一個(gè)可行的解決方案要從假設(shè)干可行方案中選擇一種適宜的方案設(shè)計(jì)分概要設(shè)計(jì)和詳細(xì)設(shè)計(jì)后者是前者的細(xì)化概要設(shè)計(jì)、系統(tǒng)設(shè)計(jì)、總體設(shè)計(jì)的含義一樣介紹做什么詳細(xì)設(shè)計(jì)、技術(shù)設(shè)計(jì)的含義一樣介紹怎么做區(qū)別概念設(shè)計(jì)與技術(shù)設(shè)計(jì)的區(qū)別概念設(shè)計(jì)：客戶可解讀系統(tǒng)的外部特征詳細(xì)設(shè)計(jì)：開(kāi)發(fā)人員可解讀系統(tǒng)的內(nèi)部特征與解決方案概要設(shè)計(jì)需解決的問(wèn)題數(shù)據(jù)來(lái)自哪里系統(tǒng)中的數(shù)據(jù)會(huì)發(fā)生什么情況對(duì)用戶來(lái)說(shuō)，系統(tǒng)將會(huì)怎樣向用戶提供的選擇有哪些事件的計(jì)時(shí)是什么報(bào)表和屏幕是什么樣的等等詳細(xì)設(shè)計(jì)需解決對(duì)主要硬件局部及其功能描述軟件構(gòu)件的層次和功能數(shù)據(jù)結(jié)構(gòu)和數(shù)據(jù)流硬件配置、軟件需求、通信接口、系統(tǒng)的輸入輸出、網(wǎng)絡(luò)體系結(jié)構(gòu)等兩者可以綜合在一個(gè)文檔中不在一個(gè)文檔中時(shí)，需保持二者的聯(lián)系系統(tǒng)區(qū)分方式面向?qū)ο笤O(shè)計(jì)OODOOA、OOD、OOP、OOT根本上是迭代進(jìn)行的面向結(jié)構(gòu)設(shè)計(jì)SDSA、SD、SP和ST根本是順序進(jìn)行的混合方式OO與S的混合使用SA/OOA+OOD/SD+OOP/SP+OOT/STSD總體設(shè)計(jì)決定“怎么做”系統(tǒng)設(shè)計(jì)，確定系統(tǒng)的具體實(shí)現(xiàn)方案。將系統(tǒng)劃分成組成系統(tǒng)的物理元素——程序、文件、數(shù)據(jù)庫(kù)、人工過(guò)程和文檔設(shè)計(jì)軟件的結(jié)構(gòu)：確定系統(tǒng)中每個(gè)程序由那些模塊組成，以及這些模塊之間的關(guān)系SD總體設(shè)計(jì)過(guò)程設(shè)想供選擇的方案選取合理的方案推薦最正確方案功能分解DFDIPO的細(xì)化設(shè)計(jì)軟件結(jié)構(gòu)數(shù)據(jù)庫(kù)設(shè)計(jì)制定測(cè)試方案書(shū)寫(xiě)文檔系統(tǒng)說(shuō)明用戶手冊(cè)測(cè)試方案詳細(xì)地實(shí)現(xiàn)方案數(shù)據(jù)庫(kù)設(shè)計(jì)結(jié)果審查和復(fù)查SD總體設(shè)計(jì)過(guò)程設(shè)想供選擇的方案尋找實(shí)現(xiàn)目標(biāo)系統(tǒng)的各種不同的方案，并力求從中選出最正確方案可能的方法是：將DFD中某些處理按邏輯地放在一個(gè)自動(dòng)化邊界內(nèi)作為一組，對(duì)處理進(jìn)行各種分組，拋棄在技術(shù)上行不通的分組方法，余下的分組方法，不同的自動(dòng)化邊界分法意味著不同的實(shí)現(xiàn)策略。選取合理的方案低、中、高本錢(qián)三種方案系統(tǒng)流程圖+物理元素清單+本錢(qián)/效益分析+進(jìn)度方案翻譯分析模型到設(shè)計(jì)數(shù)據(jù)字典ERDDFDSTDPSPECCSPECDSDS

數(shù)據(jù)對(duì)象描述STD

狀態(tài)變遷圖PSPEC

加工規(guī)約CSPEC

控制規(guī)約過(guò)程設(shè)計(jì)接口設(shè)計(jì)體系結(jié)構(gòu)設(shè)計(jì)數(shù)據(jù)設(shè)計(jì)設(shè)計(jì)原那么設(shè)計(jì)過(guò)程不應(yīng)該受“隧道視野”的限制設(shè)計(jì)對(duì)于分析模型來(lái)說(shuō)應(yīng)是可跟蹤的設(shè)計(jì)不應(yīng)該從頭做起設(shè)計(jì)應(yīng)該縮短軟件和現(xiàn)實(shí)世界中問(wèn)題的距離應(yīng)表現(xiàn)出一致性和集成性應(yīng)該被構(gòu)造以適應(yīng)變更設(shè)計(jì)不是編碼，編碼也不是設(shè)計(jì)在創(chuàng)立設(shè)計(jì)時(shí)就應(yīng)該能夠評(píng)估質(zhì)量，而不是在事情做完之后應(yīng)該評(píng)審設(shè)計(jì)以減少概念性錯(cuò)誤設(shè)計(jì)概念每一種概念都為設(shè)計(jì)者提供了應(yīng)用更加復(fù)雜的設(shè)計(jì)方法的根底模塊化抽象求精詳細(xì)描述的過(guò)程信息隱蔽和局部化軟件體系結(jié)構(gòu)控制層次結(jié)構(gòu)劃分?jǐn)?shù)據(jù)結(jié)構(gòu)軟件過(guò)程軟件工程師的智慧的開(kāi)始表達(dá)于識(shí)別使程序工作和使程序正確之間的區(qū)別復(fù)雜問(wèn)題簡(jiǎn)單C(x)復(fù)雜度E(x)工作量

IfC(P1)>C(P2)ThenE(P1)>E(P2)

C(P1+P2)>C(P1)+C(P2)

E(P1+P2)>E(P1)+E(P2)本錢(qián)/模塊集成本錢(qián)總本錢(qián)分解與模塊化模塊化分解將功能分配給構(gòu)件/模塊功能的高層描述

給出每個(gè)構(gòu)件及構(gòu)件間連接的低層說(shuō)明面向數(shù)據(jù)的分解依據(jù)外部數(shù)據(jù)結(jié)構(gòu)高層描述總體數(shù)據(jù)結(jié)構(gòu)

低層包含的數(shù)據(jù)元素及相互關(guān)系面向事件的分解基于系統(tǒng)必須處理的事件，事件改變系統(tǒng)狀態(tài)例：消息處理機(jī)制，Windows高層對(duì)狀態(tài)分類(lèi)

低層描述狀態(tài)如何轉(zhuǎn)移由外到內(nèi)的設(shè)計(jì)面向?qū)ο蟮脑O(shè)計(jì)分解與模塊化模塊化分解面向數(shù)據(jù)的分解面向事件的分解由外到內(nèi)的設(shè)計(jì)黑盒法，基于系統(tǒng)輸入輸出高層描述所有可能輸入

低層描述如何處理每個(gè)輸入，并產(chǎn)生相應(yīng)輸出面向?qū)ο蟮脑O(shè)計(jì)對(duì)象的類(lèi)及相互關(guān)系高層描述對(duì)象類(lèi)型

低層討論對(duì)象屬性和動(dòng)作，并解釋對(duì)象間如何交互分解與模塊化環(huán)境集成的NIST/ECMA參考模型與客戶打交道，此模型OK設(shè)計(jì)人員還不能設(shè)計(jì)體系結(jié)構(gòu)與策略完成任務(wù)/設(shè)計(jì)的3個(gè)層次體系結(jié)構(gòu)設(shè)計(jì)將SRS中確定的系統(tǒng)能力與實(shí)現(xiàn)這些能力的構(gòu)件關(guān)聯(lián)起來(lái)；構(gòu)件多為模塊；體系結(jié)構(gòu)還定義從子系統(tǒng)創(chuàng)立系統(tǒng)的相關(guān)操作代碼設(shè)計(jì)含算法和數(shù)據(jù)結(jié)構(gòu)；其構(gòu)件是編程語(yǔ)言原語(yǔ)、數(shù)據(jù)操縱原語(yǔ)以及組裝機(jī)制可執(zhí)行設(shè)計(jì)靜態(tài)層次處理代碼設(shè)計(jì)，討論內(nèi)存分配、數(shù)據(jù)格式等設(shè)計(jì)方式自頂向下先體系結(jié)構(gòu)，再代碼設(shè)計(jì)，最后可執(zhí)行設(shè)計(jì)正常情況下，是往返于上述各層之間〔類(lèi)似迭代〕例如表驅(qū)動(dòng)〔時(shí)間響應(yīng)〕數(shù)組驅(qū)動(dòng)體系結(jié)構(gòu)分類(lèi)管道和過(guò)濾器面向?qū)ο箅[含調(diào)用分層信息庫(kù)解釋器過(guò)程控制C/SB/S管道和過(guò)濾器過(guò)濾器，輸入到輸出的轉(zhuǎn)換過(guò)濾器不了解整體系統(tǒng)輸出的正確性不依賴(lài)與過(guò)濾器使用的順序過(guò)濾器是線性順序的編譯器可使用此模型詞法分析語(yǔ)法分析語(yǔ)義分析代碼生成管道和過(guò)濾器特性設(shè)計(jì)人員能理解整個(gè)系統(tǒng)對(duì)輸入輸出的影響容易將過(guò)濾器復(fù)用到其他系統(tǒng)〔用管道連接〕系統(tǒng)演化簡(jiǎn)單〔增刪過(guò)濾器容易〕過(guò)濾器獨(dú)立性，可模擬系統(tǒng)行為允許過(guò)濾器并發(fā)執(zhí)行缺點(diǎn)鼓勵(lì)使用批處理不善于處理交互式應(yīng)用兩個(gè)數(shù)據(jù)流相關(guān)時(shí)，系統(tǒng)需維護(hù)其對(duì)應(yīng)關(guān)系過(guò)濾器獨(dú)立性意味著可能需處理其他過(guò)濾器已處理的功能，對(duì)性能有影響的代碼將相當(dāng)復(fù)雜例：處理日期面向?qū)ο蟮脑O(shè)計(jì)需求按對(duì)象和其抽象〔類(lèi)〕來(lái)組織設(shè)計(jì)圍繞抽象數(shù)據(jù)類(lèi)型來(lái)構(gòu)造構(gòu)件對(duì)象需保證數(shù)據(jù)表示的完整性數(shù)據(jù)表示對(duì)其他對(duì)象是隱藏的對(duì)象之間交互時(shí)，需知道其他對(duì)象的標(biāo)識(shí)相互聯(lián)系增加，不獨(dú)立分層每一層為外層提供效勞，同時(shí)又是內(nèi)層的客戶每層可訪問(wèn)局部或所有層；每層僅能訪問(wèn)相鄰層較好利用了抽象的概念層次結(jié)構(gòu)的協(xié)調(diào)會(huì)影響效率文件平安性的系統(tǒng)信息庫(kù)中心數(shù)據(jù)存儲(chǔ)和其上的存儲(chǔ)、檢索與更新系信息的構(gòu)件集兩種類(lèi)型構(gòu)件的交互事物以輸入流的形式觸發(fā)進(jìn)程黑板系統(tǒng)，中心數(shù)據(jù)存儲(chǔ)控制進(jìn)程的觸發(fā)信號(hào)處理和模式識(shí)別多用此模式例子 可復(fù)用構(gòu)件庫(kù)大型數(shù)據(jù)庫(kù)搜索引擎黑板系統(tǒng)難處為共享解釋器讀入一串字符〔偽代碼〕，將其轉(zhuǎn)換成可隨后執(zhí)行的實(shí)際代碼組成內(nèi)存解釋引擎解釋引擎的當(dāng)前狀態(tài)正被模擬的程序的當(dāng)前狀態(tài)Shell編程，matlab語(yǔ)言，basic語(yǔ)言解釋器例子過(guò)程控制三個(gè)局部別離計(jì)算元素：過(guò)程與控制別離數(shù)據(jù)元素：控制循環(huán)方案：分布式系統(tǒng)C/SB/S抽象過(guò)程抽象數(shù)據(jù)抽象控制抽象模塊化計(jì)算機(jī)中的設(shè)計(jì)三個(gè)芯片構(gòu)建的左圖另外三個(gè)芯片構(gòu)建的左圖模塊化模塊執(zhí)行一個(gè)或一系列操作，并與其他模塊相連模塊化的要求模塊可分解性模塊可組裝性模塊可理解性以獨(dú)立單位可被理解，那么易于構(gòu)造和修改模塊連續(xù)性對(duì)系統(tǒng)微小變更只需修改單個(gè)模塊模塊保護(hù)異常情況的影響限制在模塊內(nèi)部模塊的關(guān)系模塊間的耦合程度——越低越好(高)內(nèi)容耦合、公共耦合、控制耦合、標(biāo)記耦合、數(shù)據(jù)耦合、無(wú)耦合(低)面向?qū)ο笤O(shè)計(jì)的構(gòu)件多有低耦合度模塊內(nèi)的內(nèi)聚程度——越高越好(高)功能內(nèi)聚、順序內(nèi)聚、通信內(nèi)聚、過(guò)程內(nèi)聚、時(shí)態(tài)內(nèi)聚、邏輯內(nèi)聚、偶然內(nèi)聚(低)耦合內(nèi)容耦合：一個(gè)修改另一個(gè)訪問(wèn)另一個(gè)模塊內(nèi)部數(shù)據(jù)不通過(guò)正常入口而轉(zhuǎn)到另一個(gè)模塊內(nèi)部?jī)赡K有程序代碼重迭有多個(gè)入口例P修改q的一條語(yǔ)句P依據(jù)q中的數(shù)值位移來(lái)訪問(wèn)q的局部數(shù)據(jù)P跳到q中的一個(gè)局部標(biāo)簽耦合公共(環(huán)境)耦合通過(guò)公共環(huán)境相互作用缺陷代碼不可讀耦合控制耦合通過(guò)參數(shù)交換信息，含有控制信息數(shù)據(jù)耦合通過(guò)參數(shù)交換信息，且交換的僅僅是數(shù)據(jù)無(wú)耦合耦合舉例qrstUP數(shù)據(jù)數(shù)據(jù)公共公共Q控制數(shù)據(jù)RS數(shù)據(jù)數(shù)據(jù)t公共耦合獨(dú)立工作通過(guò)參數(shù)交換信息，且交換的僅僅是數(shù)據(jù)數(shù)據(jù)耦合交換信息，且交換的僅僅是數(shù)據(jù)結(jié)構(gòu)自身標(biāo)記耦合通過(guò)公共環(huán)境相互作用公共環(huán)境耦合內(nèi)容耦合：一個(gè)修改另一個(gè)訪問(wèn)另一個(gè)模塊內(nèi)部數(shù)據(jù)不通過(guò)正常入口而轉(zhuǎn)到另一個(gè)模塊內(nèi)部?jī)赡K有程序代碼重迭有多個(gè)入口耦合兩個(gè)模塊間有依賴(lài)關(guān)系對(duì)一個(gè)軟件結(jié)構(gòu)內(nèi)部不同模塊之間的互連程度的度量耦合的強(qiáng)弱取決于模塊間接口的復(fù)雜程度、進(jìn)入或訪問(wèn)一個(gè)模塊的點(diǎn)，通過(guò)接口的數(shù)據(jù)耦合程度強(qiáng)烈影響系統(tǒng)的可理解性、可測(cè)試性、可靠性和可維護(hù)性耦合程度一個(gè)構(gòu)件引用另一個(gè)構(gòu)件一個(gè)構(gòu)件傳遞給另一個(gè)構(gòu)件的數(shù)據(jù)量某個(gè)構(gòu)件控制其他構(gòu)件的數(shù)量構(gòu)件之間接口的復(fù)雜程度盡量使用數(shù)據(jù)耦合，少用控制耦合，限制公共環(huán)境耦合的范圍，完全不用內(nèi)容耦合內(nèi)容耦合公共耦合內(nèi)聚標(biāo)志模塊內(nèi)部個(gè)元素彼此結(jié)合的緊密程度偶然內(nèi)聚邏輯內(nèi)聚時(shí)間內(nèi)聚過(guò)程內(nèi)聚通信內(nèi)聚順序內(nèi)聚功能內(nèi)聚力求做到高內(nèi)聚高低內(nèi)聚程度內(nèi)聚偶然內(nèi)聚構(gòu)件各個(gè)局部不相關(guān)，只是出于方便或偶爾的原因，處于統(tǒng)一構(gòu)件中邏輯內(nèi)聚邏輯相關(guān)的功能或數(shù)據(jù)元素處于同一構(gòu)件其元素是功能不相關(guān)時(shí)間內(nèi)聚構(gòu)件順序執(zhí)行的功能，具有時(shí)間相關(guān)性〔如順序〕過(guò)程內(nèi)聚必須按照某個(gè)順序執(zhí)行一系列功能，構(gòu)件中的功能組合僅是為確保該順序，那么該構(gòu)件是過(guò)程內(nèi)聚的例，輸入數(shù)據(jù)，檢查，操作數(shù)據(jù)內(nèi)聚通信內(nèi)聚將某些功能關(guān)聯(lián)起來(lái)，僅因?yàn)樗麄儾僮骰蛏赏粩?shù)據(jù)集，那么稱(chēng)為通信內(nèi)均會(huì)破壞設(shè)計(jì)的模塊化和功能獨(dú)立性順序內(nèi)聚構(gòu)件的某局部輸出是下一局部的輸入，那么該構(gòu)件是順序內(nèi)聚功能內(nèi)聚構(gòu)件中的每個(gè)處理元素對(duì)于執(zhí)行的單個(gè)功能是必須的，且在一個(gè)構(gòu)件中包含了所有必須的元素其他改進(jìn)軟件結(jié)構(gòu)，降低模塊間耦合程度改進(jìn)軟件結(jié)構(gòu)提高模塊獨(dú)立性模塊規(guī)模適中深度、寬度、扇入和扇出都應(yīng)適中模塊的作用域應(yīng)該在控制域之內(nèi)力爭(zhēng)降低模塊接口的復(fù)雜程度設(shè)計(jì)單輸入單輸出的模塊模塊功能應(yīng)該可以預(yù)測(cè)帶內(nèi)部“存儲(chǔ)器”的模塊的功能有可能不可預(yù)測(cè)MAGBCDEF規(guī)模適中7，2規(guī)那么規(guī)則7-277+2模塊數(shù)781137,25748,427,651代碼行62,48010,980,5603,874,204,880每模塊以80代碼行計(jì)OperatingSystemSLOC(Million)Debian2.255-59Debian3.0104Debian3.1215Debian4.0283Debian5.0324OpenSolaris9.7FreeBSD8.8MacOSX

10.486Linuxkernel

2.6.05.2Linuxkernel

2.6.2911.0Linuxkernel

2.6.3212.6Linuxkernel

2.6.3513.5YearOperatingSystemSLOC(Million)1993WindowsNT3.14-51994WindowsNT3.57-81996WindowsNT4.011-122000Windows2000>

292001WindowsXP452003WindowsServer200350圖形工具層次圖功能性HIPO圖層次圖+IPO每個(gè)功能框均有IPO圖與之對(duì)應(yīng)結(jié)構(gòu)圖帶箭頭的線表示調(diào)用關(guān)系帶注釋表示調(diào)用過(guò)程中傳遞的信息O表示數(shù)據(jù)，●表示控制產(chǎn)生最佳解得到好輸入計(jì)算最佳解輸出結(jié)果獲得輸入輸出結(jié)果輸出結(jié)果輸出結(jié)果面向數(shù)據(jù)流的設(shè)計(jì)方法變換流與事務(wù)流T時(shí)間信息內(nèi)部表示外部表示變換流輸入流輸出流活動(dòng)通路事務(wù)變換流事務(wù)流變換型映射DesignCmCtCaCe事務(wù)型映射DesignDGFE總控E調(diào)度DGA-CTLB-CTLC-CTLF接收通路C通路B通路A通路設(shè)計(jì)過(guò)程精化數(shù)據(jù)流圖流類(lèi)型區(qū)分事務(wù)中心和數(shù)據(jù)接收通路區(qū)分輸入和輸出分支映射成事務(wù)結(jié)構(gòu)映射成變換結(jié)構(gòu)用啟發(fā)式設(shè)計(jì)規(guī)則精化軟件結(jié)構(gòu)導(dǎo)出接口描述和全程數(shù)據(jù)結(jié)構(gòu)復(fù)查詳細(xì)設(shè)計(jì)設(shè)計(jì)優(yōu)化盡早對(duì)軟件結(jié)構(gòu)進(jìn)行精化。這是把軟件結(jié)構(gòu)設(shè)計(jì)和程序設(shè)計(jì)分開(kāi)的優(yōu)點(diǎn)之一優(yōu)化的原那么是有效的模塊化的前提下使用盡量少的模塊，以及在能夠滿足信息要求的前提下使用最簡(jiǎn)單的數(shù)據(jù)結(jié)構(gòu)時(shí)間起決定性作用的軟件可以使用一下方法優(yōu)化在不考慮時(shí)間因素的前提下開(kāi)發(fā)并精化軟件結(jié)構(gòu)在詳細(xì)設(shè)計(jì)階段選出最耗時(shí)的那些模塊，仔細(xì)設(shè)計(jì)它的處理過(guò)程使用高級(jí)程序設(shè)計(jì)語(yǔ)言編程軟件中孤立出那些占用大量資源的模塊必要時(shí)重新設(shè)計(jì)或用依賴(lài)于機(jī)器的語(yǔ)言重寫(xiě)上述大量占用資源的模塊的代碼先使它工作，再使它快起來(lái)DFD

結(jié)構(gòu)圖鍵盤(pán)與用戶交互處理密碼配置系統(tǒng)激活/停止系統(tǒng)顯示信息和狀態(tài)配置信息總體設(shè)計(jì)詳細(xì)設(shè)計(jì)詳細(xì)設(shè)計(jì)具體地實(shí)現(xiàn)所要求的系統(tǒng)邏輯上正確地實(shí)現(xiàn)每個(gè)模塊的功能，重要的是設(shè)計(jì)出的處理過(guò)程應(yīng)該盡可能簡(jiǎn)明易懂模塊來(lái)自于系統(tǒng)設(shè)計(jì)在編碼階段只要對(duì)本階段得到的對(duì)系統(tǒng)的精確描述，翻譯成某種程序設(shè)計(jì)語(yǔ)言書(shū)寫(xiě)的程序不是寫(xiě)程序，而是設(shè)計(jì)程序的“藍(lán)圖”工具程序流程圖本質(zhì)上不是逐步求精的好工具，它誘使程序員過(guò)早地考慮程序的控制，而不是程序的全局結(jié)構(gòu)程序流程圖中的箭頭代表控制流，可以隨意轉(zhuǎn)移控制不易表示數(shù)據(jù)結(jié)構(gòu)工具NS圖(Nassi-Shneiderlman)功能域明確不能隨意轉(zhuǎn)移控制容易確定局部和全局?jǐn)?shù)據(jù)的作用域易表現(xiàn)嵌套關(guān)系，也可表示模塊的層次結(jié)構(gòu)任務(wù)1任務(wù)2任務(wù)3條件Thenelse部分部分TF循環(huán)條件DoUntil部分Dowhile部分循環(huán)條件工具PAD圖(ProblemAnalysisDiagram)結(jié)構(gòu)化控制結(jié)構(gòu)程序結(jié)構(gòu)清晰程序邏輯易讀易懂易記易轉(zhuǎn)換成高級(jí)語(yǔ)言可表示數(shù)據(jù)結(jié)構(gòu)支持自頂向下逐步求精方法P1P2P3P4P5CP2P6P7WhileC3P10defUntilC2P8C1P9IPO表系統(tǒng)：模塊：編號(hào)：作者：日期：被調(diào)用：調(diào)用：輸入?yún)?shù)：輸出參數(shù)：處理：局部數(shù)據(jù)元素：注釋?zhuān)篒PO表描述算法工具判定表多重嵌套時(shí)使用，可以簡(jiǎn)潔而無(wú)歧義的描述判定規(guī)那么與卡諾圖或布爾代數(shù)結(jié)合起來(lái)，可以教研或簡(jiǎn)化判定表判定樹(shù)針對(duì)判定表的含義不直觀的修正判定表123456789國(guó)內(nèi)乘客TTTTFFFF頭等艙TFTFTFTF殘疾乘客FFTTFFTT行李重量w≤30TFFFFFFFF免費(fèi)○(w-30)x2○(w-30)x3○(w-30)x4○○(w-30)x6○○(w-30)x8○(w-30)x12○條件可能的動(dòng)作條件組合工具過(guò)程設(shè)計(jì)語(yǔ)言PDL(ProcessDesignLanguage)具有嚴(yán)格的關(guān)鍵字外部語(yǔ)法，定義控制結(jié)構(gòu)和數(shù)據(jù)結(jié)構(gòu)內(nèi)部的實(shí)際操作和條件語(yǔ)言是靈活自由的評(píng)價(jià)評(píng)價(jià)標(biāo)準(zhǔn)模塊性整體簡(jiǎn)單性易編輯性機(jī)器可讀性可維護(hù)性結(jié)構(gòu)增強(qiáng)性自動(dòng)處理能力數(shù)據(jù)表示邏輯驗(yàn)證“面向代碼”能力PDL最好的組合流程圖和NS圖易看清控制流PAD決策樹(shù)與決策表是表驅(qū)動(dòng)應(yīng)用的理想工具其他問(wèn)題界面的設(shè)計(jì)并發(fā)性設(shè)計(jì)模式與復(fù)用異常標(biāo)識(shí)和處理防錯(cuò)和容錯(cuò)技術(shù)改進(jìn)設(shè)計(jì)技術(shù)設(shè)計(jì)的評(píng)估和確認(rèn)文檔化設(shè)計(jì)界面的設(shè)計(jì)文化用戶偏愛(ài)用戶界面特性的指導(dǎo)原那么并發(fā)性并發(fā)處理的要求共享狀態(tài)等計(jì)時(shí)、同步、進(jìn)程優(yōu)先權(quán)等將并發(fā)的正確性轉(zhuǎn)換成決定性問(wèn)題監(jiān)控器控制特定進(jìn)程互斥的對(duì)象或構(gòu)件M是進(jìn)程P的監(jiān)控器，A要調(diào)用P，那么通過(guò)M進(jìn)行調(diào)用，此時(shí)B也希望調(diào)用P，那么M將B掛起，直到A執(zhí)行完P(guān)，再激活B，使其執(zhí)行P守護(hù)者是永遠(yuǎn)在運(yùn)行的任務(wù)，目的是控制對(duì)封裝資源的訪問(wèn)有個(gè)條件檢查器，進(jìn)行訪問(wèn)控制的決策G是資源R的守護(hù)者，任務(wù)T要使用R，需向G發(fā)請(qǐng)求，G立即掛起T，直到條件檢查器報(bào)告條件滿足，然后G相應(yīng)請(qǐng)求設(shè)計(jì)模式與復(fù)用設(shè)計(jì)或構(gòu)造的某些系統(tǒng)與以前的系統(tǒng)類(lèi)似復(fù)用這些模式設(shè)計(jì)模式：命名、抽象并標(biāo)識(shí)公共設(shè)計(jì)結(jié)構(gòu)的主要方面，使其可用于創(chuàng)立可服用的設(shè)計(jì)。設(shè)計(jì)模式標(biāo)識(shí)參與的類(lèi)和實(shí)例，他們的角色和協(xié)作以及責(zé)任的分配異常標(biāo)識(shí)和處理典型的異常無(wú)法提供一種效勞提供了錯(cuò)誤的效勞或數(shù)據(jù)破壞了數(shù)據(jù)處理方法重試，恢復(fù)到前一狀態(tài)，嘗試不同策略執(zhí)行效勞改正，恢復(fù)到前一狀態(tài)，改正某些方面，嘗試同一策略再執(zhí)行一次報(bào)告，恢復(fù)到前一狀態(tài)，向錯(cuò)誤處理構(gòu)件報(bào)告問(wèn)題，不再提供效勞捕獲異常校驗(yàn)和以及檢查數(shù)字，以便雙重檢查數(shù)據(jù)和計(jì)算的正確性冗余連接，包括前向和后向指針計(jì)時(shí)器防錯(cuò)和容錯(cuò)技術(shù)主動(dòng)故障檢測(cè)被動(dòng)檢測(cè)主動(dòng)檢測(cè)質(zhì)疑盡快處理冗余故障改正容錯(cuò)對(duì)故障造成的損害進(jìn)行隔離改進(jìn)設(shè)計(jì)技術(shù)降低復(fù)雜性判定表可依據(jù)卡諾化簡(jiǎn)進(jìn)行簡(jiǎn)化處理按合同設(shè)計(jì)原型化設(shè)計(jì)故障樹(shù)分析自己查資料看設(shè)計(jì)的評(píng)估和確認(rèn)確認(rèn)是確保設(shè)計(jì)滿足用戶需求驗(yàn)證是確保設(shè)計(jì)的質(zhì)量測(cè)量設(shè)計(jì)質(zhì)量度量結(jié)構(gòu)復(fù)雜度復(fù)雜度C=S+D結(jié)構(gòu)復(fù)雜度S=(1/n)∑f2(i)數(shù)據(jù)復(fù)雜度D=V(i)/[f(i)+1]f(i)構(gòu)件i的扇出V(i)構(gòu)件i中輸入和輸出變量數(shù)n構(gòu)件數(shù)設(shè)計(jì)復(fù)雜性占故障變化率的69%千行代碼每增加1%復(fù)雜性，增加0.4%故障千行代碼中故障數(shù)與C的關(guān)系1