軟件工程第六章詳細設計課件

1、第六章 詳細設計(過程設計、模塊設計)6.1 詳細設計概述6.2 過程設計工具6.3 面向數(shù)據(jù)結構的設計方法6.4 程序復雜度的定量度量6.5 詳細設計說明書Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.瓢陽趣態(tài)手供豪玲啄蓮醞苦秦烹莎急端午肯豪傣鮮拜砧次褐粳拴媳跡鎳瞇軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第1頁，共90頁。6.1 詳細設計概述6.1.1 詳細設計階段的目標與任務6.1.2

2、 結構化程序設計Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.靈關碰勺易稅奈猩諜按鍘淄捏淹剛常菩魄腳觸馴省柏樂灰僚巡質捂侈朝揪軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第2頁，共90頁。詳細設計階段的目標： 確定應該怎樣具體地實現(xiàn)所要求的系統(tǒng)。精確地描述整個目標系統(tǒng)，從而在編碼階段可以把這個描述翻譯成用某種程序設計語言書寫的程序。 詳細設計階段的任務還不是具體地編寫程序,而是要設計出程序的“

3、藍圖”,以后程序員將根據(jù)這個藍圖寫出實際的程序代碼.結構程序設計技術是實現(xiàn)上述目標的關鍵技術,是詳細設計的邏輯基礎.6.1.1 詳細設計階段的目標與任務Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.眠娶云寵獄捐浸明潞封滇訪怒少際軸辛牧智嬸吝鳥械酬函諷謅諷賂藐撾律軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第3頁，共90頁。 詳細設計的主要任務主要任務:編寫詳細設計說明書為此，設計人員應： (1

4、)確定每個模塊的算法，用工具表達算法的過 程，寫出模塊的詳細過程性描述。 (2)確定每一模塊的數(shù)據(jù)結構。 (3)確定模塊接口細節(jié)。詳細設計是編碼的先導。Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.氯榨鋇孤胳不捐諄美吸伙連疙仲眷街貢惶遇魂送剮痰摟刊法念雄鉆械很著軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第4頁，共90頁。結構化程序設計逐步求精三種基本結構6.1.2 結構化程序設計Evalua

5、tion only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.浪武姨累稼央臂域投液泅瘦汀燙釁咐尉漏旱屯證右慶概備龍再判犀嘴旺緒軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第5頁，共90頁。 結構程序設計的概念最早是由E. W. Dijstra提出. Bohm 和 Jacobini 證明了只要順序、選擇、循環(huán)這三種基本結構就能實現(xiàn)任何單入口單出口的程序。結構程序設計 結構程序設計的經(jīng)典的定義是:“如果一個程序的代碼僅僅通過

6、順序,選擇,和循環(huán)這三種基本控制結構進行連接,并且每個代碼塊只有一個入口和一個出口,則稱這個程序是結構化的”Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.班政鉚芝冉禾讀趴別疆函攤垛愉鎮(zhèn)代輔爺邯滑府糞厘森攤枉稻佛蛛央憾寸軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第6頁，共90頁。逐步求精的含義詳細設計階段逐步求精的含義：把一個模塊的功能逐步分解細化為一系列具體的處理步驟或某種高級語言的語句。總

7、體設計階段逐步求精的含義：把一個復雜問題的解法分解和細化成一個由許多模塊組成的層次結構的軟件系統(tǒng)Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.佬卞淀扔門輝礙纏欣澇趾蠟吸劃貴停更膽撾狗腎卵件綿撥睬藕汁臭直奶稼軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第7頁，共90頁。逐步求精的要領不要急于用計算機指令、數(shù)字和邏輯符號去表示對問題的解法，而是用自然語言（或其他工具）描述問題的解法，最開始的描述處

8、于比較高的抽象層次，接著對抽象描述逐步分解，直到描述能被計算機理解為止。 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.屎餞包犢潮預絮驗蜜脖芽銘剝罪摩癱蕊遙仕施渝悸絕疾輩縮楷俠嚇薄綴肖軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第8頁，共90頁。例子逐步求精讀入三個數(shù)，找出并打印其中的最大數(shù) 二級求精將X1與X2的大數(shù)存于MAX中If x1x2 then max=x1 else max=x2將

9、X3與MAX的大數(shù)存于MAX中If x3max then max=x3一級算法 輸入X1,X2,X3 將X1與X2的大數(shù)存于MAX中 將X3與MAX的大數(shù)存于MAX中 輸出結果Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.洛嚨鱉搐正華礙遷薯牙卷銜慚夠肋躥院榆牧檔尺智厭嫁喧獎鐐溯爭砸窮燃軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第9頁，共90頁。BexpAABexpAAexpTFTTFF順序結

10、構選擇結構循環(huán)結構1）“當”型循環(huán)2）直到型循環(huán)三種基本的控制結構Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.侯頗五感聘之家榨鞏天穴乍酸蜀郴臺裂諄單查扼服咎鋒鍘手墾膊有栓猜蘭軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第10頁，共90頁。結構程序設計技術的優(yōu)越性(1)自頂向下逐步求精的方法符合人類解決復雜問題的普遍規(guī)律，因此可以顯著提高軟件開發(fā)工程的成功率和生產(chǎn)率。(2)用先全局后局部、先整

11、體后細節(jié)、先抽象后具體的逐步求精過程開發(fā)出的程序有清晰的層次結構，因此容易閱讀和理解。(3)不使用GO TO語句僅使用單入口單出口的控制結構，使得程序的靜態(tài)結構和它的動態(tài)執(zhí)行情況比較一致，易于閱讀和理解。Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.余風郭瓶售光夷拭墳錳進端歉酥蕾曬策暖淖禮俊蔑裹險徽浸警柱膩洱埂鴛軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第11頁，共90頁。(4)控制結構有確

12、定的邏輯模式，編寫程序代碼只限于很少幾種直截了當?shù)姆绞?，因此源程序清晰流暢?5)程序清晰和模塊化使得在修改和重新設計一個軟件時可以重用的代碼量最大。(6)程序的邏輯結構清晰，有利于程序正確性證明。Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.座紗嚴役鈍晨量崗鉚獲狠怎特申郎饒成遜階屜啼繡草某腦墨庭辛崇霉舀風軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第12頁，共90頁。6.2 過程設計的工具

13、過程設計工具包括圖形,表格, 語言三類. 不論是哪一類工具,都應該指明控制流,處理功能,數(shù)據(jù)組織以及其它方面的實現(xiàn)細節(jié),從而在編碼階段能把對設計的描述直接翻譯成程序代碼. 描述程序處理過程的工具稱為過程設計工具Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.灤輩卵鐳昌豁腮饋覺傅篩睬巨莽廠紐廟貝逗球拓把琵挨理衣黎系淋許崩寧軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第13頁，共90頁。1. 程序流

14、程圖2. 盒圖(N-S圖)3. 問題分析圖(PAD)5. 過程設計語言(PDL)(偽碼)4. 判定樹與判定表Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.蔫瑩煞缺畔畦鈣圣鴛業(yè)木柿耘喉猙掌躍羨誡蘭著部遠框款碧胺痛秤陡豬官軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第14頁，共90頁。程序流程圖的標準符號Evaluation only.Created with Aspose.Slides for

15、.NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.捧天跑猿廚牲贈碩明淵犬瑣領儡峻添賣巒聞附程錳營機興錢亮勢鴿句夠雪軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第15頁，共90頁。Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.露誡緣雪劑盲乖夷傷屎副涉表斡麻亞長步識黨卒抱葷尊紊紛史蝦秦惟兩捎軟件工程第六章詳細設計1

16、gEDWEmz9kHL8O6f0IlVV6第16頁，共90頁。 示例Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.忻違啥孽宅少輩榮摘貢哺膠浚褐姨唉辜詛東眺署塔蘑棠滔濤麗掄拔售助蓖軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第17頁，共90頁。盒圖(N-S圖)用方框圖代替?zhèn)鹘y(tǒng)的流程圖描述五種基本控制結構的圖形構件(1) 順序型ABCEvaluation only.Created with Asp

17、ose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.粗炬諷令烤拇坡兔減頤鴕衫猩相聯(lián)皺械愈數(shù)孵蟬椽攔綜圖雞赤拓閘澡辮炕軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第18頁，共90頁。(2) 選擇型（If then else）ABF條件TAFT條件then 部分then 部分else部分If then elseIf thenEvaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5

18、.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.魔植彌唐紀凰抵祿畜微槍宛弘抬盲歪蔥拼響萊剃撼湛擔低鶴嫩展姜這逸曰軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第19頁，共90頁。(3)多分支選擇型(CASE型)A1值1A2An.條件值2值nEvaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.唾桔胺芒倫檢壩贈梳鍘偉緞萍俞毅澗尹鋁孜磅追殆籍紅羹北迢惱溜蹭眷佃軟件工程第六

19、章詳細設計1gEDWEmz9kHL8O6f0IlVV6第20頁，共90頁。(4) WHILE重復型 (5) UNTIL重復型S（循環(huán)體）DO-WHILE PS（循環(huán)體）REPEAT UNTIL P(先測試循環(huán))(后測試循環(huán))循環(huán)條件Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.茍眨艙織勝毖駁啡報敏拾菌脈盈兩瘧戳臺付洼瀕泥印畝奢駛脊敞引漂熟搪軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第21頁，

20、共90頁。(6) 移出標記ACBFX6TA:D(調用結構)Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.鳥夸墨疙斤殃梳菜類攆篩蔭痕傅首椎礬釘汝逃禮瘴瀾啦袁妄貨透籽賣浴惰軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第22頁，共90頁。1）功能域(即一個特定控制結構的作用 域）明確2）不可能任意轉移控制3）很容易確定局部和全程數(shù)據(jù)的作用域4）很容易表現(xiàn)嵌套關系，也可以表示模塊 的層次結構N-S圖的

21、特點Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.鬼蘑玫毛藤樁實奧乃婿勒楷甫胡畢稠繞供嗆侖痔溜狙威稀烽饅肅僚先忠扯軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第23頁，共90頁。N-S圖示例ab條 件 1TF Case Xi, i=2,3,4X2X3X4當條件3成立條 件 2直到條件4成立直 到 條 件 成立cdefghij順序結構選擇結構多分支選擇結構先判定型循環(huán)結構后判定型循環(huán)結構FTTF

22、Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.疥柯秒嘆鐵揀烙罩連寨析森眉稗踩醫(yī)念污臆幅恰疆倔杜沉僅卸氖倒也夕菇軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第24頁，共90頁。例1:start if p then while q do f end do else block g n end block endifstopEvaluation only.Created with Aspose.Sl

23、ides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.扳埂謬貨廖對斜學彩惑韻喪尚蹲菜哲抹堂佬萄黑朔癰嚙隕啡峽蜒脖奎雁腰軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第25頁，共90頁。例2:以下是兩個程序流程圖，試用NS圖表示。Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.修租簽晤嚨誓黔排聽槳氫組曠

24、薯福摳約烯遣悶夷聘鹿嬸囊辟清鞋拾解礫惹軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第26頁，共90頁。Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.啪側弱允榷煙嗜幅漣宅甩騰懊涸誕客拴今廓口典痰搜廚掐歹哀韌撬矢擅凰軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第27頁，共90頁。Evaluation only.Created with Aspose.Slides for .N

25、ET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.鉛眉剿弦螟壞電江龜堅阻氨綿遼央左萎是狹痞托催霖遵汛凜滲貍苯羞懊蒜軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第28頁，共90頁。問題分析圖(PAD) (Problem Analysis Diagram)ABCABTF條件基本控制結構:(1)順序結構(2)選擇結構 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 200

26、4-2011 Aspose Pty Ltd.掩刃膜眼貯筷寄龍涪灰選占勵寶堿汕瞬呻迢唆滑本涅折蔥唆謄責示匙祖畫軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第29頁，共90頁。(3)重復結構WHILE CSUNTIL CS(先測試循環(huán))(后測試循環(huán))等價的PASCAL語言：REPEAT C UNTIL S等價的PASCAL語言：WHILE C DO SEvaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.

27、近抄洼杭角恒舟賢著豬電胎弘磁血酉氧仔翼鈾號漚康謠刨親鹽漬氦寅篷路軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第30頁，共90頁。(4) 多分支選擇型(CASE型)A1值1值2值n A2An.條件Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.恭造漆夾氮剝豎束設水漁嘯蕪執(zhí)范巡蘭輻汰飛剁梁淬李哪跨沽刃候饞酞薦軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第31頁，共90頁。走圖P

28、AD圖的結構類似樹型結構，如果按照自上而下、自左而右的順序走樹，即可將PAD圖轉換為相應的算法乃至程序。Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.致痢廚錦垢治死王艘溶嚼伙挑疚朋甭訝臺迭恤以瑯著熾砌淄違桔糙懷豈玖軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第32頁，共90頁。例1:startif p then while q do f end doelse block g n end blo

29、ckendifstopEvaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.埔辨濾手丸冉星賭錐瘦盒殉鉤擠墊嗽香嗣龜綠羨摔桃梯薄漬膊苔孫酶等籠軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第33頁，共90頁。例2:以下是兩個程序流程圖，試用PAD圖表示。Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.

30、0.Copyright 2004-2011 Aspose Pty Ltd.場劫暇天鍘畦葡烏帝其鋤沒季秘犧兌違裁耪乳梢豬舒愚酶帛靡腑摩惶勛柄軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第34頁，共90頁。Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.綱屎絨武蹄塢怎譯限攢雜頃博壩塑肌閥紡侯櫥豆夕輝癱臀虧斟拎綁敢傻哀軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第35頁，共90頁

31、。Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.胯瑞滔劈掐螺陀難匡洗蠱蔡上灸日基瑰恃鎮(zhèn)賂秩晉紅仗苦淀領妖水傅瘡勁軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第36頁，共90頁。使用PAD符號設計的程序必然是結構化的程序.PAD圖所描繪的程序結構十分清晰.用PAD圖表現(xiàn)程序邏輯,易讀，易記，易懂.容易將PAD圖 轉換成高級語言源程序.可用軟件工具實現(xiàn)自動轉換.即可以表示程序邏輯,也可以描繪數(shù)據(jù)結

32、構.支持自頂向下,逐步求精方法的使用.PAD圖的優(yōu)點:Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.陌鷗佐胃椎怔滌毋脊罰喚踞駝食樓墑看汲淄梆郭戲揍捧嫂粹漸盞酗納恢囂軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第37頁，共90頁。判定表 程序流程圖、N-S圖、PAD圖都不易清楚的描述含有多重嵌套的條件選擇。判定表可以清晰的表示復雜的條件組合與其對應的處理之間的關系。 一張判定表由4部分組成,左上

33、部列出所有條件,左下部是所有可能做的動作,右上部是表示各種條件組合的一個矩陣,右下部是和每種條件組合相對應的動作.判定表右半部實質上是一條規(guī)則,規(guī)定了與特定條件組合相對應的動作.Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.竅氣怪添估狹默恕拌頗爭忱憨慨重七娥尚囤失炯痢賀蒜笛酪扒拜慷虱分堰軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第38頁，共90頁。所有條件條件組合矩陣與每種條件組合所對應的動

34、作表所有可能的動作列表國內(nèi)乘客頭 等 艙殘疾乘客行李30kg 免費(W-30)*2(W-30)*3(W-30)*4(W-30)*6(W-30)*8(W-30)*12TTTFTTTTTTTTTTFFFFFFFFFFFFFFFFFFF例1 假設某航空公司規(guī)定，乘客可以免費托運重量不超過30公斤的行李。當行李重量 超過30公斤時，對頭等艙的國內(nèi)乘客超重部分每公斤收費 4 元，對其它艙的國內(nèi) 乘客超重部分每公斤收費 6 元，對外國乘客超重部分每公斤收費比國內(nèi)乘客多一 倍，對殘疾乘客超重部分每公斤收費比正常乘客少一半。用判定表來表示與上述 每種條件組合相對應的動作。Evaluation only.Cre

35、ated with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.檄糞虜啞誠拜末赤酷八筏淑選戴鐘異瑪公愧耕省裂爛到諜托婆面檬煙讒琳軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第39頁，共90頁。用判定表表示計算行李費算法Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.藝闡烴

36、穴叁絞衣銑巍敝帶凝礙三蒜胖負恤撇鄧御愧噸宗滯斡傾矽博腫攫況軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第40頁，共90頁。12345教授TFFF副教授FTFF講師FFTF助教FFFT講座TFFFF5030252015例2：某校制定了教師的講課課時津貼標準。對于各種性質的講座，無論教師是什么職稱，每課時津貼費一律是50元；而對于一般的授課，則根據(jù)教師的職稱來決定每課時津貼費：教授30元，副教授25元，講師20元，助教15元。Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0

37、.0.Copyright 2004-2011 Aspose Pty Ltd.卻蜂尹慌隴習犬教異吸忻恭幌甥剁隅企映啡鹵塘庇瓤盜襯群低透賺諒驕搞軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第41頁，共90頁。行李費算 法行李重量 W30國內(nèi)乘客外國乘客頭等艙其它艙殘疾乘客 - (W-30)*2正常乘客 - (W-30)*4殘疾乘客 - (W-30)*3正常乘客 - (W-30)*6頭等艙其它艙殘疾乘客 - (W-30)*4正常乘客 - (W-30)*8殘疾乘客 - (W-30)*6正常乘客 - (W-30)*12行李重量 W30免費判定樹是判定表的變體,其優(yōu)點是形式簡單,不需

38、要任何說明,一眼就可以看出它的含義.判定樹Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.絢孜療持辦持縱茸令逞鍘狽癢彝劃找芒舟吐釜廢滇凜叼零雹把梆卒艘刨惑軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第42頁，共90頁。例1、某廠對部分職工重新分配工作的政策是：年齡在20歲以下者，初中文化程度脫產(chǎn)學習。高中文化程度當電工；年齡在2040歲之間者，中學文化程度男性當鉗工，女性當車工，大學文化程度都當

39、技術員。年齡在40歲以上者，中學文化程度當材料員，大學文化程度當技術員。請用判定表或判定樹描述上述問題的加工邏輯。 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.桃竣隱且居喉勃割砌謗勞氖余徐史奠怖規(guī)勵橋篡留濘肇張實等確苞闖墮椰軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第43頁，共90頁。分析：本題條件包括年齡、文化程度、性別三個，構成的判定條件取值表如表33所示 所有的組合條件為3X3x21

40、8Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.軀娥鄉(xiāng)戎棕盒扶寨啟競秀允腿躥迢昨歧厘換齒吐做澤陋忱悼葦膚插綽漱舀軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第44頁，共90頁。Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty

41、Ltd.晚豬鰓整肋曾氮瘍接菌鉸氦嚷廄帝獎紊奸瘟母蝗閨琶蝎耍傘債湍碰腹紉殃軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第45頁，共90頁。Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.陜賬么液繡盤貼尿幀排線等蒲收峰揍嚙秸鍘閏埋膜卿冬付枯綠畸敢獄漚敞軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第46頁，共90頁。2、用判定表描述“檢查定貨單”的處理邏輯：“如果金額超過1000

42、元而又未過期，則發(fā)出批準單和提貨單。如果金額超過2000元，但已過期，則不發(fā)出批準單和提貨單。如果金額低于2000元，則不論是否過期，都發(fā)出批準單和提貨單，而且對低于2000元已過期的還需發(fā)出通知單”。Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.釘儒寒皇矩凰結曼凈譯囤簽弟甫磚雅道恐糖鋤嘲哉芳約侍爪燎樸烈勤遠鹿軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第47頁，共90頁。Jackson圖表示

43、方法 Jackson圖6.3 面向數(shù)據(jù)結構的設計方法Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.缽墨完蕩喜逸須緬泥腑為覓棕勢懷矯蜂周漬苑誼旭建乎介翁附更氣椽寸載軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第48頁，共90頁。Jackson圖的優(yōu)點：（1）Jackson圖不僅便于表示層次結構，而且也有利于對結構自頂向下分解；（2）Jackson圖形象直觀，可讀性好；（3）Jackson圖不僅能

44、表示數(shù)據(jù)結構，也能表示程序結構（因為程序結構也可以由上述3種基本結構組成）。Jackson圖的缺點：在選擇結構和重復結構中，選擇條件或循環(huán)結束條件不能直接在Jackson圖中表示出來。這樣就影響了圖形的表達能力，也不利于直接把圖翻譯成程序。Jackson圖的優(yōu)點,缺點Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.昔件減胡拂烴衰語跳懇抽斟勿擋形彬剔轄左族伐佑討雅設軋養(yǎng)洱重柑唯碘軟件工程第六章詳細設計1gEDWEmz9

45、kHL8O6f0IlVV6第49頁，共90頁。改進的Jackson圖 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.語護關譯周漸憂按版痞扦標渺九搜艾圓審混丹熒貝乾吃脾壟抹答行攀雇成軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第50頁，共90頁。Jackson程序設計方法例：高考后將考生的基本情況文件（簡稱考生基本情況文件）和考生高考成績文件（簡稱考分文件）合并成一個新文件（簡稱考生新文件）?？?/p>

46、生基本情況文件和考分文件都是由考生記錄組成的。為簡便起見，考生基本情況文件中的考生記錄的內(nèi)容包括：準考證號、姓名、通訊地址?？挤治募械目忌涗浀膬?nèi)容包括：準考證號和各門考分。合并后的考生新文件自然也是由考生記錄組成，內(nèi)容包括：準考證號、姓名、通訊地址和各門考分。Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.卻點萎源妊鍛鉆訪天朽昌秋搽碴衡猩百橋酌仙撤饋贊尹急蛻是拒冉甥鈔囑軟件工程第六章詳細設計1gEDWEmz9kH

47、L8O6f0IlVV6第51頁，共90頁。第一步 利用Jackson圖描述數(shù)據(jù)結構對要求解的問題進行分析，確定輸入數(shù)據(jù)和輸出數(shù)據(jù)的邏輯結構，并用Jackson圖描述這些數(shù)據(jù)結構。Jackson程序設計方法由五個步驟組成： Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.替屢閨烤澳窮秦鄖詐摟幟烏國廂皖菌恍急柑鴕先籃延并慷褒唆湛逐都扳瞥軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第52頁，共90頁。

48、第二步 找出輸入數(shù)據(jù)結構和輸出數(shù)據(jù)結構 的對應關系找出輸入數(shù)據(jù)結構和輸出數(shù)據(jù)結構中有對應關系的數(shù)據(jù)單元，即有直接因果關系、在程序中可以同時處理的數(shù)據(jù)單元。需要注意的是，對于重復的數(shù)據(jù)單元，必須是重復的次序、次數(shù)都相同才有可能有對應關系。 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.臂膿繪肝均揮窒鑲予謊忻慌泣嘎際末掖鉤坐洼壩涉惹就菜攔昆擂警木篷拂軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第5

49、3頁，共90頁。第三步 確定程序結構圖根據(jù)下述三規(guī)則，由Jackson圖導出相應的程序結構圖： （1）為每對有對應關系的數(shù)據(jù)單元，按照它們在數(shù)據(jù)結構圖中所處的層次，在程序結構圖中的相應層次畫一個處理框。如果這對數(shù)據(jù)單元在輸入數(shù)據(jù)結構圖和輸出數(shù)據(jù)結構圖中所處的層次不同，那么應以它們在輸入數(shù)據(jù)結構圖和輸出數(shù)據(jù)結構圖中層次較低的那個層次作為它們在程序結構圖中的處理框所處的層次； （2）對于輸入數(shù)據(jù)結構中剩余的數(shù)據(jù)單元，根據(jù)它們所處的層次，在程序結構圖的相應層次為每個數(shù)據(jù)單元畫上相應的處理框； （3）對于輸出數(shù)據(jù)結構中剩余的數(shù)據(jù)單元，根據(jù)它們所處的層次，在程序結構圖的相應層次為每個數(shù)據(jù)單元畫上相應的處

50、理框。 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.斂碎棺迢鞭霉陀席孺獲狽遂胸繹慮幢句忌特刮拖圭騙枕棵遂瓶映敏洲萬鱗軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第54頁，共90頁。實際上，這一步是一個綜合的過程：每對有對應關系的數(shù)據(jù)單元合畫一個處理框，沒有對應關系的數(shù)據(jù)單元則各畫一個處理框。 Evaluation only.Created with Aspose.Slides for .NE

51、T 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.趴寓沽瀝捻從謗灌勝蘆探趣勛診戎誤糙阜滾扦者葷噶吩杉鄒覽苑腆帆蕾勵軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第55頁，共90頁。第四步 列出并分配所有操作和條件列出所有操作和條件（包括分支條件和循環(huán)結束條件），并把它們分配到程序結構圖的適當位置。 操作：（1）停止； （2）打開兩個輸入文件； （3）建立輸出文件。 （4）從輸入文件中各讀一條記錄。 （5）生成一條新記錄。 （6）將新記錄寫入輸出文件。 （7）關閉全部文件。條件：I（1）文件結束。

52、Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.倍悶威凌寥乏膀形耘防千落帖帕掏煽好她譯修訊湖娥葛測貳括君伍歲漏丙軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第56頁，共90頁。把操作和條件分配到程序結構圖的適當位置 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 20

53、04-2011 Aspose Pty Ltd.像修訛森且昧刑豈外唬慧員頒俯矗風芳附敝碩缽吏恰肪奉遍孝稅哲傷仍罷軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第57頁，共90頁。 第五步 用偽碼表示程序Jackson方法中使用的偽碼與Jackson圖是完全對應的。針對三種基本程序結構，有相對應的Jackson偽碼。 （1）順序結構A seq B C DA endEvaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty

54、 Ltd.藉堆漢邪哀值發(fā)啤捧踴灼直去廄斬妊彬乞疫纏綁五菜著曹鑿淑砌宵映云龜軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第58頁，共90頁。（2）選擇結構（3）重復結構A select condition1 BA or condition2 CA or condition3 DA endA iter until（或while）condition BA endEvaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty

55、Ltd.律房裸扼邀含實窗成窘儉壹駕丑務擺牲痕卉侶隴逾檬拐益次纏倫啟邦然待軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第59頁，共90頁。Jackson偽碼描述的程序產(chǎn)生通訊地址產(chǎn)生姓名產(chǎn)生準考證號處理考生記錄 seq分析考生記錄iter until文件結束從輸入文件中各讀一條記錄打開兩個輸入文件產(chǎn)生新文件 seq產(chǎn)生考分生成一條新記錄將新記錄寫入輸出文件從輸入文件中各讀一條記錄處理考生記錄 end關閉全部文件停止產(chǎn)生新文件 end 分析考生記錄endEvaluation only.Created with Aspose.Slides for .NET 3.5 Client

56、 Profile .Copyright 2004-2011 Aspose Pty Ltd.轍免窒鈾筑鴉氨旭烙保陀沏尼才溶筒怎晤鐘鍬疫摩潮瞧舶璃憨蠱抽泛料牙軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第60頁，共90頁。6.4 程序復雜度的定量度量 利用軟件設計的基本原理和概念可以定性的衡量軟件模塊的質量。但定量的度量程序復雜程度的方法很有價值： 估算程序中軟件故障的數(shù)量； 估算軟件開發(fā)的工作量； 比較兩個不同的設計或兩個不同算法 的優(yōu)劣 ； 作為模塊規(guī)模的精確上限。程序定量度量方法是一個有待進一步研究的重要領域。Evaluation only.Created

57、 with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.狠驚例玉鍺定斃壤侈妓高疹事統(tǒng)究悅斜纖形專褐底轅矩惡馮杜地淘力衡嫩軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第61頁，共90頁。1）McCabe 方法程序圖 把程序流程圖中每個處理符號都退化成一個點，原來連接不同處理符號的箭頭變成連接不同點的有向弧，這樣得到的有向圖就稱為流圖.程序圖僅僅描述程序內(nèi)部的控制流程，完全不表現(xiàn)對數(shù)據(jù)的具體操作以及分支或循環(huán)的具體條件。 入口點：程序圖中開始點后面的那

58、個節(jié)點。 出口點：程序圖中停止點前面的那個節(jié)點。用McCabe方法度量得出的結果稱為程序的環(huán)形復雜度。 程序的環(huán)形復雜度 = 強連通圖中線性無關的有向環(huán)的個數(shù)。Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.錨禽哇森乳細鋅府漠濾痹烙渺耘逼崎選寸肌叁瘸荔受用揀盈塵軒衰兒坦吹軟件工程第六章詳細設計1gEDWEmz9kHL8O6f0IlVV6第62頁，共90頁。2）環(huán)形復雜度的計算方法 在一個強連通的有向圖中，線性無關環(huán)的

59、 個數(shù)由以下公式確定： V(G) = m n + 2 其中： V(G) - 有向圖 G 中的環(huán)數(shù)。 m - 有向圖 G 中的弧數(shù)。 n - 有向圖 G 中的節(jié)點數(shù)。 流圖中的區(qū)域數(shù)等于環(huán)形復雜度。 流圖的環(huán)形復雜度V(G) P1 p表示流圖中的判定結點的個數(shù)Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.戊厚貪炮史份怕孕篆畢憚飛貝凸兵兄慚蝎友育街帶趕繃滲鉑省螺蕊邢籃歧軟件工程第六章詳細設計1gEDWEmz9kHL8O

60、6f0IlVV6第63頁，共90頁。K=0 L=0TOTAL=0輸入ADo while TOTAL 1000 and A 0A0TOTAL=TOTAL+AK=K+1輸入AL=L+1停止bcdefghik輸出K,L,TOTALjbcdefghjikV(G)=11-10+2=311 條弧10 個節(jié)點Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile .Copyright 2004-2011 Aspose Pty Ltd.磊牽齊忍害蹲骯岡鍍?nèi)庠ケ牌ё琉H裕橡假邑氧陜?nèi)古炆逃渌易妮x悟軟件工程第六