【正文】 流圖的一些規(guī)律，從而導(dǎo)出軟件的初始結(jié)構(gòu)。 86 設(shè)計(jì)步驟：總述 —— 模型 —— 實(shí)例 第三步：確定數(shù)據(jù)流圖的類型： 變換型與事務(wù)型。 2)為模塊內(nèi)的 數(shù)據(jù)結(jié)構(gòu) 進(jìn)行設(shè)計(jì) 。 93 （ 2）結(jié)構(gòu)化程序設(shè)計(jì)方法 結(jié)構(gòu)化程序設(shè)計(jì)是 1965年提出的 。 ? 名字不是越長越好，應(yīng)當(dāng)選擇精煉的意義明確的名字。有些軟件開發(fā)部門對序言性注釋做了明確而嚴(yán)格的規(guī)定，要求程序編制者逐項(xiàng)列出。這樣做使程序完全分不清層次關(guān)系。但出于閱讀、理解和維護(hù)的需要，最好使其規(guī)范化，使說明的先后次序固定。 108 語句結(jié)構(gòu) 4. 除非對效率有特殊的要求 , 程序編寫要做到清晰第一，效率第二 。 109 語句結(jié)構(gòu) 。 19. 不要修補(bǔ)不好的程序，要重新編寫。 在 IEEE提出的軟件工程標(biāo)準(zhǔn)術(shù)語中 ， 軟件測試是指使用人工或自動(dòng)手段 ， 運(yùn)行或測試某個(gè)系統(tǒng)的過程 ， 其 目的是檢驗(yàn)軟件是否滿足規(guī)定的需求 ， 或是清楚預(yù)期結(jié)果與實(shí)際結(jié)果之間的差異 。 116 一 軟件測試 一般分為兩大類：動(dòng)態(tài)測試方法與靜態(tài)測試方法 。 121 ? 測試結(jié)果分析 ：比較實(shí)測結(jié)果與預(yù)期結(jié)果，評(píng)價(jià)錯(cuò)誤是否發(fā)生。 （ 3） 確認(rèn)測試又稱有效性測試 ，是檢查軟件的功能與性能是否 與需求規(guī)格說明書中確定的指標(biāo)相符合 。若 X、 Y取整數(shù)，按黑盒方法進(jìn)行窮舉測試： ? 可能采用的 測試數(shù)據(jù)組： 232 232 ＝ 264 ? 如果測試一組數(shù)據(jù)需要 1毫秒，一年工作 365 24小時(shí)，完成所有測試需 5億年。 ② 無效等價(jià)類 ：是指對于程序的規(guī)格說明來說，是不合理的，無意義的輸入數(shù)據(jù)構(gòu)成的集合。 136 白盒測試 ? 把測試對象看做一個(gè)透明的盒子 ，它允許測試人員利用程序內(nèi)部的邏輯結(jié)構(gòu)及有關(guān)信息，設(shè)計(jì)或選擇測試用例，對程序所有 邏輯路徑進(jìn)行測試。 邏輯覆蓋是以程序內(nèi)部的邏輯結(jié)構(gòu)為基礎(chǔ)的設(shè)計(jì)測試用例的技術(shù)。例如， ?對于第一個(gè)判斷： ? 條件 A＞ 1 取真為 ，取假為 條件 B＝ 0 取真為 ，取假為 T1T12 2(A1) and (B=0) (A=2) or (X1) X=X/A X=X+1 T T F F a b d c e L1 ( a ? c ? e ) L2 ( a? b ? d ) L3 ( a? b? e) L4 ( a? c ? d ) 152 ?對于第二個(gè)判斷： ? 條件 A＝ 2 取真為 ，取假為 條件 X＞ 1 取真為 ，取假為 測試用例 覆蓋分支 條件取值 【 (2, 0, 4),(2, 0, 3)】 L1(c, e) 【 (1, 0, 1),(1, 0, 1)】 L2(b, d) 【 (2, 1, 1),(2, 1, 2)】 L3(b, e) 或 3TT34T T T T1 2 3 4 4321 TT T T T1 2 3 4(A1) and (B=0) (A=2) or (X1) X=X/A X=X+1 T T F F a b d c e ?對于第一個(gè)判斷： ? 條件 A＞ 1 取真為 ，取假為 條件 B＝ 0 取真為 ，取假為 T1T12 2條件覆蓋 4153 ?對于第二個(gè)判斷： ? 條件 A＝ 2 取真為 ，取假為 條件 X＞ 1 取真為 ，取假為 測試用例 覆蓋分支 條件取值 【 (1, 0, 3),(1, 0, 4)】 L3(b, e) 【 (2, 1, 1),(2, 1, 2)】 L3(b, e) T3T34(A1) and (B=0) (A=2) or (X1) X=X/A X=X+1 T T F F a b d c e ?對于第一個(gè)判斷： ? 條件 A＞ 1 取真為 ，取假為 條件 B＝ 0 取真為 ，取假為 T1T12 2T T T T1 2 3 41 2 3 4條件覆蓋 4154 判定－條件覆蓋 ? 判定－條件覆蓋就是設(shè)計(jì)足夠的測試用例，使得 判斷中每個(gè)條件的所有可能取值至少執(zhí)行一次 ， 每個(gè)判斷中的每個(gè)分支至少執(zhí)行一次 。 162 ? β測試 是由軟件的 多個(gè)用戶在實(shí)際使用環(huán)境下進(jìn)行的測試 。它處在整個(gè)測試的最后階段。 ? 軟件運(yùn)行失效或出現(xiàn)問題，往往只是潛在錯(cuò)誤的外部表現(xiàn) ， 而外部表現(xiàn)與內(nèi)在原因之間常常沒有明顯的聯(lián)系。 是列出所有可能的錯(cuò)誤原因的假設(shè)， 然后利用測試數(shù)據(jù)排除不適當(dāng)?shù)募僭O(shè) ， 最后再測試數(shù)據(jù)驗(yàn)證余下的假設(shè)確實(shí)是出錯(cuò)的原因 。是軟件工程過程的簡化的抽象描述。 需求 設(shè)計(jì) 編碼 測試 集成 開 發(fā) 需求 設(shè)計(jì) 編碼 測試 集成 開 發(fā) 反饋 反饋 核心系統(tǒng)開發(fā) 第二次迭代 適用于 需求不太明確的大系統(tǒng) 172 軟件生存周期模型 3。 對需求不明確的問題，開發(fā)完成后才發(fā)現(xiàn)不是用戶所需，要糾正偏差會(huì)付出高額代價(jià)。 168 六、軟件運(yùn)行與維護(hù) 〈 二 〉 維護(hù) 軟件維護(hù)的內(nèi)容有四種： 1. 校正性維護(hù) 2. 適應(yīng)性維護(hù) 3. 完善性維護(hù) 4. 預(yù)防性維護(hù)。 在程序中插入打印語句或運(yùn)行部分程序 。它與軟件測試不同，調(diào)試的任務(wù)是 進(jìn)一步診斷和改正程序中潛在的錯(cuò)誤 。 ? 在 β測試中，由用戶記下遇到的所有問題，包括真實(shí)的以及主觀認(rèn)定的，定期向開發(fā)者報(bào)告。 161 ? α測試 是由一個(gè) 用戶在開發(fā)環(huán)境下進(jìn)行的測試 ，也可以是 公司內(nèi)部的用戶在模擬實(shí)際操作環(huán)境下進(jìn)行的測試 。 (A1) and (B=0) (A=2) or (X1) X=X/A X=X+1 T T F F a b d c e L1 ( a ? c ? e ) L2 ( a? b ? d ) L3 ( a? b? e) L4 ( a? c ? d ) 147 ?測試用例的設(shè)計(jì)格式如下 【 輸入的 (A, B, X)輸出的 (A, B, X)】 ?為圖例設(shè)計(jì)滿足 語句覆蓋 的測試用例是 : ?【 (2, 0, 4)， (2, 0, 3)】 ?覆蓋 ace【 L1】 (A=2) and (B=0) or (A1) and (B=0) and (X1) (A1) and (B=0) (A=2) or (X1) X=X/A X=X+1 T T F F a b d c e L1 ( a ? c ? e ) L2 ( a? b ? d ) L3 ( a? b? e) L4 ( a? c ? d ) 148 判定覆蓋 ? 判定覆蓋就是設(shè)計(jì)若干個(gè)測試用例，運(yùn)行被測程序，使得 程序中每個(gè)判斷的取真分支和取假分支至少經(jīng)歷一次 。 138 139 ? 對一個(gè)具有 多重選擇和循環(huán)嵌套 的程序， 不同的路徑數(shù)目可能是天文數(shù)字 。 (3) 如果輸入條件是一個(gè) 布爾量 ，則可以確定一個(gè)有效等價(jià)類和一個(gè)無效等價(jià)類。 ?劃分等價(jià)類 等價(jià)類是指某個(gè)輸入域的子集合。 129 ? 黑盒測試方法是在程序接口上進(jìn)行測試，主要是為了發(fā)現(xiàn)以下錯(cuò)誤 : ? 是否有不正確或遺漏了的功能 ? ? 在接口上， 輸入能否正確地接受 ? 能否輸出正確的結(jié)果 ? ? 是否有數(shù)據(jù)結(jié)構(gòu)錯(cuò)誤或外部信息 (例如數(shù)據(jù)文件 )訪問錯(cuò)誤 ? ? 性能上是否能夠滿足要求 ? ? 是否有初始化或終止性錯(cuò)誤 ? 130 ? 用黑盒測試發(fā)現(xiàn)程序中的錯(cuò)誤，必須在所有可能的輸入條件和輸出條件 中確定測試數(shù)據(jù)，來檢查程序是否都能產(chǎn)生正確的輸出。 123 5. 測試與軟件開發(fā)各階段的關(guān)系 ? 軟件開發(fā)過程是一個(gè) 自頂向下 ， 逐步細(xì)化 的過程 ?軟件計(jì)劃階段定義軟件作用域 ?軟件需求分析建立軟件信息域、功能和性能需求、約束等 ?軟件設(shè)計(jì) ?編碼是把設(shè)計(jì)用某種程序設(shè)計(jì)語言轉(zhuǎn)換成程序代碼 ? 測試過程是依相反順序安排的 自底向上 ， 逐步集成的過程。 117 4.軟件測試的對象 ? 軟件測試并不等于程序測試。 4)應(yīng)制定 測試計(jì)劃 并嚴(yán)格執(zhí)行 ， 排除隨意性 。 111 輸入 /輸出 ? 在設(shè)計(jì)和編碼時(shí)都應(yīng)考慮下列原則： 1. 對所有的輸入數(shù)據(jù)都要進(jìn)行檢驗(yàn)，識(shí)別錯(cuò)誤的輸入，以保證每個(gè)數(shù)據(jù)的有效性； 2. 檢查輸入項(xiàng)的各種重要組合的合理性，必要時(shí)報(bào)告輸入狀態(tài)信息； 3. 使得輸入的步驟和操作盡可能簡單，并保持簡單的輸入格式； 112 輸入 /輸出 4. 輸入數(shù)據(jù)時(shí)，應(yīng)允許使用自由格式輸入； 5. 應(yīng)允許缺省值； 6. 輸入一批數(shù)據(jù)時(shí)，最好使用輸入結(jié)束標(biāo)志，而不要由用戶指定輸入數(shù)據(jù)數(shù)目； 7. 在交互式輸入輸入時(shí)，要在屏幕上使用提示符明確提示交互輸入的請求，指明可使用選擇項(xiàng)的種類和取值范圍。 15. 數(shù)據(jù)結(jié)構(gòu)要有利于程序的簡化。反過來說，在使程序高速運(yùn)行時(shí)，首先要保證它是正確的。 107 語句結(jié)構(gòu) ? 在設(shè)計(jì)階段確定了軟件的邏輯流結(jié)構(gòu)，但構(gòu)造單個(gè)語句則是編碼階段的任務(wù)。在編寫程序時(shí)，則需要注意數(shù)據(jù)說明的風(fēng)格。 ? 要點(diǎn)： ? 描述一段程序，而不是每一個(gè)語句； ? 用縮進(jìn)和空行，使程序與注釋容易區(qū)別； ? 注釋要正確。 ? 注釋決不是可有可無的。 需注意根據(jù)項(xiàng)目的應(yīng)用領(lǐng)域選擇適當(dāng)?shù)木幊陶Z言、編程的軟硬件環(huán)境以及編碼的程序設(shè)計(jì)風(fēng)格等事項(xiàng) 95 四、 軟件編碼 Fourth Generation Languages ? 1st generation languages ? machine languages (binary) ? 2nd generation languages ? assemblers ? 3rd generation languages ? highlevel languages ? FORTRAN, COBOL, C, C++… ? each statement indended to be ~ 510 assembler stmts ? 4th generation languages (4GLS) ? each statement indended to be ~ 3050 assembler stmts ? easier/faster to program ? reduces costs ? declarative – say what you want, not how to do it (., SQL Structured Query Language ) ? success has been mixed ? positives ? fast response from DP dept. ? work well for DB apps ? negatives ? slow inefficient 96 程序風(fēng)格 ? 程序?qū)嶋H上也是一種供人閱讀的文章，有一個(gè)文章的風(fēng)格問題。 5)編寫 詳細(xì)設(shè)計(jì)說明書 。 ?頂層：主模塊，對應(yīng)于主加工。 85 設(shè)計(jì)步驟：總述 —— 模型 —— 實(shí)例 第一步：復(fù)查基本系統(tǒng)模型 這一步將看到軟件的 原型 ，傳統(tǒng)方法往往是從這一步開始的 。 76 2. 概要設(shè)計(jì) 軟件結(jié)構(gòu)：表示程序的總體結(jié)構(gòu)，指程序的控制層次體系（多少模塊，多少層次，調(diào)用關(guān)系） 77 一個(gè)問題可以有多種結(jié)構(gòu)來表示 78 軟件結(jié)構(gòu)的術(shù)語 深度：控制的層次數(shù) 寬度：控制的總跨度，即最多模塊一層的模塊數(shù) 扇出：一個(gè)模塊直接控制的模塊數(shù) 扇入：一個(gè)模塊被幾個(gè)模塊直接控制 79 軟件結(jié)構(gòu)的術(shù)語 從屬： A模塊控制 B模塊，則 B從屬 A 統(tǒng)率： A模塊控制 B模塊，則 A統(tǒng)率 B 80 C1和 C2中， C1’和 C， C2’和 C，可能是偶然性塊內(nèi)聯(lián)系，把它們從各自的模塊分離出來， C1’， C2’和 C的塊內(nèi)聯(lián)系增大，模塊獨(dú)立性增強(qiáng)，塊間聯(lián)系看起來增大一些，又通過模塊的合并，得到圖（ c）（ d）塊內(nèi)聯(lián)系大，塊間聯(lián)系相應(yīng)小些（模塊個(gè)數(shù)少）。 指軟件系統(tǒng)結(jié)構(gòu)中各模塊間相互聯(lián)系緊密程度的一種度量 。 72 （ 2） 概要設(shè)計(jì)的基本原理 3) 抽象信息隱藏 信息隱藏 指在設(shè)計(jì)和確定模塊時(shí) ， 使得一個(gè)模塊內(nèi)包含的信息 （