【正文】 結(jié)構(gòu) – IF THEN ELSE 結(jié)構(gòu) – IF THEN 結(jié)構(gòu) – IF OR IF ELSE 結(jié)構(gòu) – CASE 結(jié)構(gòu) ? 重復(fù)結(jié)構(gòu) – 當(dāng)型結(jié)構(gòu) – 直到型結(jié)構(gòu) ? 出口結(jié)構(gòu) 第 59 頁(yè) SP中的優(yōu)點(diǎn) ? 自頂向下，逐步求精方法符合人們解決復(fù)雜問(wèn)題的普遍規(guī)律。 第 54 頁(yè) 變換分析技術(shù) ?變換分析技術(shù)是從典型的變換型數(shù)據(jù)流程圖（ DFD）中推導(dǎo)出相應(yīng)的結(jié)構(gòu)圖。但現(xiàn)實(shí)情況是一個(gè)模塊往往執(zhí)行若干個(gè)結(jié)合在一起的任務(wù)，這些任務(wù)組合方式不同就構(gòu)成不同的內(nèi)聚性。具有獨(dú)立性的模塊，開發(fā)容易、能減少錯(cuò)誤的傳播，使模塊重組、分解方便，容易調(diào)試和維護(hù)。它可對(duì)編程和測(cè)試提供指南服務(wù)，還可在系統(tǒng)交付使用后，為維護(hù)人員提供幫助。表中縱向各列給出的不同的條件，橫向各行則表示在任何條件下相應(yīng)的處理。如果繪制在一個(gè)平面圖上就顯的太亂了。本階段應(yīng)完成 4份文檔資料： – 系統(tǒng)規(guī)格說(shuō)明 描述目標(biāo)系統(tǒng)的概貌、功能要求、性能、運(yùn)行及將來(lái)可能提出的要求。 ? 通過(guò)分析而補(bǔ)充的數(shù)據(jù)流、數(shù)據(jù)存儲(chǔ)和處理，應(yīng)該添加到 DFD的適當(dāng)位置上。 ? 在長(zhǎng)期程序設(shè)計(jì)的實(shí)踐中， SP方法不斷得以完善，使之成為開發(fā)傳統(tǒng)應(yīng)用領(lǐng)域應(yīng)用系統(tǒng)的主要方法之一。 第 8 頁(yè) 結(jié)構(gòu)化方法的體系結(jié)構(gòu) ?結(jié)構(gòu)化方法的體系結(jié)構(gòu)是 : –結(jié)構(gòu)化分析（ SA—Structure Analysis） –結(jié)構(gòu)化設(shè)計(jì)（ SD—Structure Design） –結(jié)構(gòu)化程序設(shè)計(jì)（ SP—Structure Programing） 第 9 頁(yè) 結(jié)構(gòu)化分析 SA ? SA方法是建立在自頂向下、逐步求精思想基礎(chǔ)上的分析方法，它的要點(diǎn)是分解和抽象： –把復(fù)雜問(wèn)題自頂向下逐層分解，再?gòu)姆纸獬龅膶?duì)象中抽象出相對(duì)簡(jiǎn)單的子問(wèn)題。 ?模塊化的目的是為了降低軟件復(fù)雜度，使軟件設(shè)計(jì)，調(diào)試和維護(hù)等操作變得簡(jiǎn)易。 第 4 頁(yè) “逐步求精” ? 將現(xiàn)實(shí)世界的問(wèn)題經(jīng)抽象轉(zhuǎn)化為邏輯空間或求解空間的問(wèn)題。復(fù)雜問(wèn)題經(jīng)抽象化處理變?yōu)橄鄬?duì)較簡(jiǎn)單的問(wèn)題。 第 6 頁(yè) 結(jié)構(gòu)化編碼 ? SP編碼的方法強(qiáng)調(diào)清晰簡(jiǎn)潔，它是一種構(gòu)造程序的技術(shù)，有利于提高軟件生產(chǎn)率及降低軟件維護(hù)代價(jià)。 –經(jīng)過(guò)一系列分解和抽象，到最底層的問(wèn)題已經(jīng)是很容易求解的了。 ? 第 12 頁(yè) 軟件需求定義 ?軟件需求分析 – 就是明確軟件系統(tǒng)將來(lái)達(dá)到的目標(biāo)。 第 18 頁(yè) 用戶復(fù)查 ?經(jīng)分析將在數(shù)據(jù)流圖回溯過(guò)程中找出的數(shù)據(jù)元素，并由此定義的 DD和算法是否正確？這只能由最有發(fā)言權(quán)的用戶來(lái)復(fù)查。 – 用戶系統(tǒng)描述 從用戶角度描述系統(tǒng)，類似一份用戶手冊(cè)初稿。因此，通常采用分層次結(jié)構(gòu)。 條件 結(jié) 帳 時(shí) 間 12點(diǎn)前 12~18點(diǎn) 18點(diǎn)后 處理 不收費(fèi) 收半費(fèi) 收全費(fèi) ? ? ? 第 31 頁(yè) 判定樹 ?判定樹用來(lái)描述具有多個(gè)條件的數(shù)據(jù)加工更容易被用戶接受。 第 41 頁(yè) 軟件設(shè)計(jì)原則 ? 要有分層的組織結(jié)構(gòu)，便于對(duì)軟件各個(gè)構(gòu)件進(jìn)行控制； ? 應(yīng)形成具有獨(dú)立功能特征的模塊（模塊化） ? 應(yīng)有性質(zhì)不同、可區(qū)分的數(shù)據(jù)和過(guò)程描述（表達(dá)式） ? 應(yīng)使模塊間和與外部環(huán)境間接口的復(fù)雜性盡量地減小 ? 應(yīng)利用軟件需求分析中得到的信息和可重復(fù)的方法。 ? 度量模塊的獨(dú)立性標(biāo)準(zhǔn)： – 內(nèi)聚性 模塊內(nèi)部各部分之間聯(lián)系緊密程度的度量； – 藕合性 模塊之間聯(lián)系緊密程度的度量。 第 49 頁(yè) 內(nèi)聚性問(wèn)題的討論 ?從使用角度分析，能否用一個(gè)短句完整地描述該模塊做什么；若這個(gè)短句是復(fù)合句，或有若干個(gè)動(dòng)詞，則該模塊是非功能性模塊。 ?變換分析是一組設(shè)計(jì)步驟，可把 DFD映射為一種標(biāo)準(zhǔn)結(jié)構(gòu)。 ? 用先全局后局部，先整體后細(xì)節(jié)，先抽象后具體的逐步求精過(guò)程開發(fā)的程序有清晰的層次結(jié)構(gòu)，容易理解和閱讀。程序員在編程時(shí)必須隨時(shí)考慮要處理的數(shù)據(jù)的格式 第 61 頁(yè) 四、程序編碼 ?程序設(shè)計(jì)語(yǔ)言的特點(diǎn) ?選擇語(yǔ)言 ?寫程序的風(fēng)格 ?程序設(shè)計(jì)方法論 第 62 頁(yè) 程序設(shè)計(jì)語(yǔ)言的特點(diǎn) ? 軟件工程師應(yīng)該了解程序設(shè)計(jì)語(yǔ)言各方面的特點(diǎn)，以及這些特點(diǎn)對(duì)軟件質(zhì)量的影響，以便在一個(gè)特定的開發(fā)項(xiàng)目選擇語(yǔ)言時(shí)，能夠作出合理的選擇。特別在維護(hù)階段，對(duì)理解程序提供了指導(dǎo)。 ? 白盒測(cè)試法 按程序的內(nèi)部邏輯結(jié)構(gòu)和處理過(guò)程進(jìn)行的測(cè)試，稱為結(jié)構(gòu)測(cè)試。 ? if（ a1 amp。 第 80 頁(yè) 邏輯覆蓋分析 ——判定覆蓋 ? 對(duì)判別語(yǔ)句的每個(gè)分支至少要經(jīng)過(guò)一次，為達(dá)到”判定覆蓋“的標(biāo)準(zhǔn)，則要經(jīng)過(guò)路徑：Ａ CＤ和Ａ BＥ，為此，選用輸入數(shù)據(jù)為： ? ａ＝３，ｂ＝０，ｘ＝０，走ＡＣＤ路徑 ? ａ＝２，ｂ＝１，ｘ＝３，走ＡＢＥ路徑 ? 判定覆蓋比語(yǔ)句覆蓋嚴(yán)格。選擇下列輸入數(shù)據(jù)可滿足這一標(biāo)準(zhǔn)： ? ａ＝２，ｂ＝０，ｘ＝４ 走ＡＣＥ路徑 ? ａ＝１，ｂ＝１，ｘ＝１ 走ＡＢＤ路徑 ? 在含有 AND和 OR的邏輯表達(dá)式中 ,某些條件將抑制其它條件 。因此，可以從每個(gè)等價(jià)類中只選取一組數(shù)據(jù)作為測(cè)試數(shù)據(jù)。程序交出后，由測(cè)試工程師再以黑盒法為主進(jìn)行測(cè)試。 ? 優(yōu)缺點(diǎn)正好與自頂向下相反。 ? 對(duì)分查找法 若已知程序中若干個(gè)關(guān)鍵點(diǎn)的正確值，然后用調(diào)試工具在關(guān)鍵點(diǎn)附近處輸入正確值；若輸出正確，則故障在前半部分；否則，再查后半部分。 ? （ 2）適應(yīng)性維護(hù)。 第 98 頁(yè) 維護(hù)的代價(jià) ? 70年代用于維護(hù)軟件的費(fèi)用只占軟件總預(yù)算的35%～ 40%， 80年代上升為 40%～ 60%，到了90年代則上升為 70%～ 80%。 ?（ 5）可使用性。 第 104 頁(yè) （ 3）需求分析階段 ?該階段的任務(wù)是準(zhǔn)確地描述系統(tǒng)“做什么”。 ? 設(shè)計(jì)實(shí)現(xiàn)過(guò)程中要采用結(jié)構(gòu)化程序設(shè)計(jì)技術(shù)，使設(shè)計(jì)出的模塊突出結(jié)構(gòu)化特征，這樣的程序具有統(tǒng)一的靜態(tài)結(jié)構(gòu)和動(dòng)態(tài)狀況，程序結(jié)構(gòu)清晰，便于閱讀理解，同時(shí)也便于程序的調(diào)試和測(cè)試。 第 109 頁(yè) （ 8）維護(hù)階段 ?維護(hù)過(guò)程本質(zhì)上是集修改、系統(tǒng)定義和開發(fā)為一體的過(guò)程，對(duì)于適應(yīng)性維護(hù)和完善性維護(hù)來(lái)說(shuō)更是如此。 ?④參考手冊(cè)。 第 112 頁(yè) （ 2）系統(tǒng)文檔 ?系統(tǒng)文檔描述的是從問(wèn)題定義、需求說(shuō)明、模塊算法說(shuō)明、系統(tǒng)設(shè)計(jì)、實(shí)現(xiàn)到系統(tǒng)測(cè)試用例、測(cè)試方案等軟件配置的所有系統(tǒng)內(nèi)部特征的文檔。 第 110 頁(yè) 3．文檔 ?文檔是影響軟件可維護(hù)性的決定因素。 第 107 頁(yè) （ 6）編碼階段 ? 在該階段要具體實(shí)現(xiàn)模塊描述和算法，選擇 PL和編程風(fēng)格都會(huì)對(duì)軟件的可維護(hù)性產(chǎn)生極大的影響。 第 105 頁(yè) （ 4）概要設(shè)計(jì)階段 ? 該階段的目的是用比較抽象概括的方式描述系統(tǒng)“怎樣做”，確定系統(tǒng)的物理配置以及系統(tǒng)的軟件結(jié)構(gòu)和模塊結(jié)構(gòu)。提高軟件的可維護(hù)性必須從軟件生存周期各個(gè)階段的工作入手。 第 99 頁(yè) 軟件的可維護(hù)性 ?軟件可維護(hù)性定義為： ? 維護(hù)人員理解、修改該軟件的難易程度。它占總維護(hù)活動(dòng)的 18%～ 25%。主要步驟為：收集有關(guān)數(shù)據(jù)，組織數(shù)據(jù)，導(dǎo)出假設(shè)，證明假設(shè)。 ?平行運(yùn)行 即手工系統(tǒng)和計(jì)算機(jī)系統(tǒng)同時(shí)運(yùn)行，用對(duì)比的方法驗(yàn)證新系統(tǒng)的正確性。 –漸增式 逐漸將要測(cè)試的下一個(gè)模塊加進(jìn)到已測(cè)試好的模塊中進(jìn)行的測(cè)試。 第 87 頁(yè) 等價(jià)類劃分（黑盒法） ?例如，若規(guī)定輸入數(shù)據(jù)為整數(shù)，等價(jià)類劃分表為： 輸入條件 有效等價(jià)類 無(wú)效等價(jià)類 整數(shù) 正整數(shù) １到３２７６７ 零 ０ 負(fù)整數(shù) －１到 －３２７６８ 符合規(guī)則 不符合規(guī)則 正整數(shù) 大于３２７６７ 零 非法 －０ 負(fù)整數(shù) 小于－３２７６８ 第 88 頁(yè) 邊界值分析法 ?經(jīng)驗(yàn)證明，在邊界處，程序最