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