【正文】 螺旋模型 結(jié)合了瀑布模。 缺點： 開發(fā)周期長，開發(fā)成本較高。 171 軟件生存周期模型 2。 適用 于系統(tǒng)需求明確、技術(shù)成熟工程管理較嚴(yán)格的場合。 ? 瀑布模型 ? 演化模型 ? 螺旋模型 ? 噴泉模型 ? 增量模型 170 計劃 需求分析 設(shè) 計 編 碼 測 試 運行、維護 軟件生存周期模型 １ . 瀑布模型 優(yōu)點： 支持結(jié)構(gòu)化軟件開發(fā)、控制軟件開發(fā)復(fù)雜性、促進軟件開發(fā)工程化。 169 軟件生存周期 ?軟件生存周期模型 描述軟件開發(fā)過程中各種活動如何執(zhí)行的模型。 維護階段是軟件生存周期中最后的一個階段 ，也是時間最長 、 所花費的精力和費用最多的一個階段 。 167 六、軟件運行與維護 〈 一 〉 運行 提交用戶使用 ， 根據(jù)用戶反饋意見進行下一步的系統(tǒng)維護 。 （ 4） 回溯法調(diào)試 。 （ 3） 演繹法調(diào)試 。 （ 2） 歸納法調(diào)試 。 166 五、軟件測試與調(diào)試 〈 二 〉 調(diào)試 2． 調(diào)試技術(shù) （ 1） 簡單的調(diào)試方法 。如果要找出真正的原因，排除潛在的錯誤，不是一件易事。 165 ? 調(diào)試工作是一個具有很強技巧性的工作。 ? 調(diào)試活動由兩部分組成： ? 確定程序中可疑錯誤的確切性質(zhì)和位置 。 ? 軟件調(diào)試是在進行了成功的測試之后才開始的工作。同時，產(chǎn)品的所有手冊文本也應(yīng)該在此階段完全定稿。 ? 只有當(dāng) α測試 達(dá)到一定的可靠程度時，才能開始 β測試 。 163 ? β測試 主要衡量產(chǎn)品的 FLURPS。因而， β測試 是在開發(fā)者無法控制的環(huán)境下進行的軟件現(xiàn)場應(yīng)用。這些用戶返回有關(guān)錯誤信息給開發(fā)者。 ? α測試 可以從軟件產(chǎn)品編碼結(jié)束之時開始，或在模塊（子系統(tǒng)）測試完成之后開始，也可以在確認(rèn)測試過程中產(chǎn)品達(dá)到一定的穩(wěn)定和可靠程度之后再開始。 ? α測試 的目的是評價軟件產(chǎn)品的 FLURPS（即功能、局域化、可使用性、可靠性、性能和支持）。 測 試 用 例 通過路徑 覆蓋條件 【 (2, 0, 4), (2, 0, 3)】 ace (L1) 【 (1, 1, 1), (1, 1, 1)】 abd (L2) 【 (1, 1, 2), (1, 1, 3)】 abe (L3) 【 (3, 0, 3), (3, 0, 1)】 acd (L4) T T T T1 2 3 4T1 2 3 4T T T T1 2 3 4T T3 41 2160 α測試和 β測試 ? 在軟件交付使用之后，用戶將如何實際使用程序，對于開發(fā)者來說是無法預(yù)測的。 155 測 試 用 例 覆蓋分支 條件取值 【 (2, 0, 4)， (2, 0, 3)】 L1(c, e) 【 (1, 1, 1)， (1, 1, 1)】 L2(b, d) T T T T1 2 3 4T1 2 3 4(A=2) and (B=0) or (A1) and (B=0) and (X1) not (A1) and not (A=2) and not (X1) or not (B=0) and not (A=2) and not (X1) 156 and or A1 T B=0 T X=X/A T F F A=2 T F X1 F X=X+1 157 條件組合覆蓋 ? 條件組合覆蓋就是設(shè)計足夠的測試用例，運行被測程序，使得 每個判斷的所有可能的條件取值組合至少執(zhí)行一次 。 ?在圖例中，我們事先可對所有條件的取值加以標(biāo)記。 ? 判定覆蓋又稱為 分支覆蓋 。 ? 在圖例中，正好所有的可執(zhí)行語句都在 路徑 L1上，所以選擇 路徑 L1設(shè)計測試用例，就可以覆蓋所有的可執(zhí)行語句。它屬白盒測試。 140 邏輯覆蓋 ? 語句覆蓋 ? 判定覆蓋 ? 條件覆蓋 ? 判定－條件覆蓋 ? 條件組合覆蓋 ? 路徑覆蓋 。給出一個小程序的流程圖，它包括了一個執(zhí)行 20次的循環(huán)。 137 ? 軟件人員使用白盒測試方法，主要想對程序模塊進行如下的檢查： ? 對程序模塊的 所有獨立的執(zhí)行路徑 至少測試一次； ? 對 所有的邏輯判定 ， 取“真”與取“假”的兩種情況都至少測試一次 ； ? 在循環(huán)的 邊界 和運行 界限 內(nèi)執(zhí)行循環(huán)體； ? 測試 內(nèi)部數(shù)據(jù)結(jié)構(gòu)的有效性 ，等。 ? 通過在 不同點檢查程序的狀態(tài) ，確定實際的狀態(tài)是否與預(yù)期的狀態(tài)一致。 (5) 如果規(guī)定了輸入數(shù)據(jù) 必須遵守的規(guī)則 ，則可以確立一個有效等價類（符合規(guī)則）和若干個無效等價類（從不同角度違反規(guī)則）。 (4) 如果規(guī)定了輸入數(shù)據(jù)的 一組值 ，而且程序要對每個輸入值分別進行處理。 (2) 如果輸入條件規(guī)定了 輸入值的集合 ，或者是規(guī)定了“必須如何”的條件，這時可確立一個有效等價類和一個無效等價類。 在設(shè)計測試用例時，要同時考慮有效等價類和無效等價類的設(shè)計。 134 等價類劃分 等價類的劃分有兩種不同的情況： ① 有效等價類 ：是指對于程序的規(guī)格說明來說，是合理的，有意義的輸入數(shù)據(jù)構(gòu)成的集合。在該子集合中， 各個輸入數(shù)據(jù)對于揭露程序中的錯誤都是等效的 。 133 等價類劃分 ?使用這一方法設(shè)計測試用例要經(jīng)歷 劃分等價類（列出等價類表）和 選取測試用例 兩步。 132 等價類劃分 ?等價類劃分是一種典型的黑盒測試方法，使用這一方法時， 完全不考慮程序的內(nèi)部結(jié)構(gòu) ， 只依據(jù)程序的規(guī)格說明來設(shè)計測試用例 。在字長為 32位的計算機上運行。 ? 但這是 不可能 的 。 ? 黑盒測試又叫做 功能測試 或 數(shù)據(jù)驅(qū)動測試 。 （ 4） 系統(tǒng)測試 是將確認(rèn)通過的軟件作為計算機系統(tǒng)的一個元素，與計算機硬件、外設(shè)、某些支持軟件、數(shù)據(jù)和人員等其他元素結(jié)合在一起，在 實際的使用環(huán)境 下，對計算機系統(tǒng)進行一系列的組裝測試和確認(rèn)測試。 （ 2） 集成測試也稱組裝測試 ，是在單元測試的基礎(chǔ)上將所有模塊按照設(shè)計要求 組裝成一個完整的系統(tǒng) 進行的測試。 124 ? 測試過程是依相反順序安排的自底向上，逐步集成的過程。 122 ? 通過收集和分析測試結(jié)果數(shù)據(jù)，對軟件建立可靠性模型 ? 利用可靠性分析，評價軟件質(zhì)量： ? 軟件的質(zhì)量和可靠性達(dá)到可以接受的程度； ? 所做的測試不足以發(fā)現(xiàn)嚴(yán)重的錯誤； ? 如果測試發(fā)現(xiàn)不了錯誤，可以肯定，測試配置考慮得不夠細(xì)致充分，錯誤仍然潛伏在軟件中。 ? 排錯 (調(diào)試 )：對已經(jīng)發(fā)現(xiàn)的錯誤進行錯誤定位和確定出錯性質(zhì)，并改正這些錯誤，同時修改相關(guān)的文檔。 118 119 測試信息流 120 測試信息流 ? 軟件配置 ：軟件需求規(guī)格說明、軟件設(shè)計規(guī)格說明、源代碼等； ? 測試配置 ：測試計劃、測試用例、測試程序等； ? 測試工具 ：測試數(shù)據(jù)自動生成程序、靜態(tài)分析程序、動態(tài)分析程序、測試結(jié)果分析程序、以及驅(qū)動測試的測試數(shù)據(jù)庫等等。 軟件測試應(yīng)貫穿于軟件定義與開發(fā)的整個期間 。 對軟件產(chǎn)品進行動態(tài)測試時 ， 根據(jù)測試用例的設(shè)計方法不同 一般有兩種方法 ， 分別稱為 黑盒測試法 和 白盒測試法 。 （ 1） 靜態(tài)測試 靜態(tài)測試指被測試程序不在機器上運行 ， 而是采用人工檢測和計算機輔助靜態(tài)分析的手段對程序進行檢測 。 7)程序員避免測試自己的程序 。 5)長期保留測試用例 。 3)除了檢查程序是否做了 它應(yīng)該做的事 ， 還應(yīng)該檢查程序是否做了 它不應(yīng)該做的事 。 115 一 軟件測試 在軟件測試中 ， 應(yīng)注意以下指導(dǎo)原則： 1)測試用例應(yīng)由 輸入數(shù)據(jù) 和 預(yù)期的輸出數(shù)據(jù) 兩部分組成 。 軟件測試是為了發(fā)現(xiàn)錯誤而執(zhí)行程序的過程 。同時，在數(shù)據(jù)輸入的過程中和輸入結(jié)束時，也要在屏幕上給出狀態(tài)信息； 8. 當(dāng)程序設(shè)計語言對輸入／輸出格式有嚴(yán)格要求時，應(yīng)保持輸入格式與輸入語句的要求的一致性； 9. 給所有的輸出加注解，并設(shè)計輸出報表格式。 21. 對遞歸定義的數(shù)據(jù)結(jié)構(gòu)盡量使用遞歸過程。也不要一味地追求代碼的復(fù)用，要重新組織。 18. 從數(shù)據(jù)出發(fā)去構(gòu)造程序。 16. 要模塊化，使模塊功能盡可能單一化，模塊間的耦合能夠清晰可見。 “否定”條件的條件語句 14. 盡可能用通俗易懂的偽碼來描述程序的流程，然后再翻譯成必須使用的語言。 11. 避免使用空的 ELSE語句和 IF… THEN IF… 的語句。 8. 盡可能使用庫函數(shù) 9. 避免不必要的轉(zhuǎn)移。 。 , 然后才要求提高速度。不要為了追求效率而喪失了 清晰性 。 程序要能直截了當(dāng)?shù)卣f明程序員的用意 。 語句構(gòu)造力求簡單，直接， 不能為了片面追求效率而使語句復(fù)雜化 。 106 數(shù)據(jù)說明 ? 如果設(shè)計了一個復(fù)雜的數(shù)據(jù)結(jié)構(gòu)，應(yīng)當(dāng)使用注釋來說明在程序?qū)崿F(xiàn)時這個數(shù)據(jù)結(jié)構(gòu)的固有特點。 ? 當(dāng)多個變量名在一個說明語句中說明時，應(yīng)當(dāng)對這些變量按字母的順序排列。 ? 原則上，數(shù)據(jù)說明的次序與語法無關(guān)，其次序是任意的。 ? 為了使程序中數(shù)據(jù)說明更易于理解和維護，必須注意以下幾點。 104 數(shù)據(jù)說明 ? 在設(shè)計階段已經(jīng)確定了數(shù)據(jù)結(jié)構(gòu)的組織及其復(fù)雜性。 ? 對于選擇語句和循環(huán)語句，把其中的程序段語句向右做 階梯式移行 。 ? 它是指程序中的各行不必都在左端對齊，都從第一格起排列。 103 程序的視覺組織 ? 恰當(dāng)?shù)乩?空格 ，可以突出運算的優(yōu)先性，避免發(fā)生運算的錯誤。而不要解釋下面怎么做。 ? 有關(guān)項目包括： ? 程序標(biāo)題； ? 有關(guān)本模塊功能和目的的說明； ? 主要算法； ? 接口說明：包括調(diào)用形式，參數(shù)描述，子程序清單； 101 序言性注釋 ? 有關(guān)數(shù)據(jù)描述：重要的變量及其用途，約束或限制條件，以及其它有關(guān)信息； ? 模塊位置：在哪一個源文件中，或隸屬于哪一個軟件包； ? 開發(fā)簡歷：模塊設(shè)計者，復(fù)審者，復(fù)審日期，修改日期及有關(guān)說明等。 100 序言性注釋 ? 通常置于每個程序模塊的開頭部分，它應(yīng)當(dāng)給出程序的整體說明，對于理解程序本身具有引導(dǎo)作用。 ? 一些正規(guī)的程序文本中，注釋行的數(shù)量占到整個源程序的 1／ 3到 1／ 2，甚至更多。 99 程序的注釋 ? 夾在程序中的注釋是程序員與日后的程序讀者之間通信的重要手段。必要時可使用縮寫名字，但這時要注意縮寫規(guī)則要一致，并且要給每一個名字加注釋。 ? 名字應(yīng)能反映它所代表的對象，應(yīng)有一定實際意義。應(yīng)該使程序具有良好的風(fēng)格。 圖形： 程序流程圖、 NS圖 、 PAD圖 表格： 判定表 語言： 過程設(shè)計語言（ PDL） 94 四、 軟件編碼 軟件編碼是將詳細(xì)設(shè)計得到的處理過程的描述轉(zhuǎn)換為基于某種計算機語言的程序，即源程序代碼。 它的主要觀點是采用自頂向下 、 逐步求精的程序設(shè)計方法；使用三種基本控制結(jié)構(gòu)構(gòu)造程序 ， 任何程序都可由順序 、選擇 、 重復(fù)三種基本控制結(jié)構(gòu)構(gòu)造 。 對處理過程的算法和數(shù)據(jù)庫的物理結(jié)構(gòu)都要評審 。 6)為每一個模塊設(shè)計一組 測試用例 。 根據(jù)軟件系統(tǒng)的類型 ， 還可能要進行以下設(shè)計：代碼設(shè)計 、 輸入輸出格式設(shè)計 、 人機對話設(shè)計 。 3)對數(shù)據(jù)庫進行物理設(shè)計 ， 即確定 數(shù)據(jù)庫的物理結(jié)構(gòu) 。 91 2. 軟件詳細(xì)設(shè)計 （ 1）詳細(xì)設(shè)計基本任務(wù) （ 2）結(jié)構(gòu)化程序設(shè)計方法 92 （ 1）詳細(xì)設(shè)計基本任務(wù) 1)為每個模塊進行 詳細(xì)的算法 設(shè)計 。 ?一層：標(biāo)準(zhǔn)的一層，對應(yīng)于變換數(shù)據(jù)流圖的三個部分，三個模塊 89 第五步：設(shè)計軟件的中下層模塊結(jié)構(gòu) （基于數(shù)據(jù)流圖）。 87 88 第四步：設(shè)計上層模塊結(jié)構(gòu) ：自頂向下的設(shè)計方法。 變換設(shè)計： 從變換型數(shù)據(jù)流圖導(dǎo)出軟件模塊結(jié)構(gòu)的過程。不同的選擇 導(dǎo)出的軟件初始模塊圖的合理性有些差異。 在做這一步時， 要對以前建立的基本數(shù)據(jù)模型 ，再作最后的審查，是否有遺漏的輸入或輸出。 事務(wù)中心：把輸入數(shù)據(jù)流分離成一串發(fā)散數(shù)據(jù)流的加工。 83 變換類型數(shù)據(jù)流圖 定義：具體較明顯的輸入，變換（或稱主加工）和輸出界面的數(shù)據(jù)流圖。 ?下面將介紹如何建立系統(tǒng)的模塊結(jié)構(gòu)。 81 ?模塊調(diào)用個數(shù)最好不要超過五個 ?一個模塊具有過多的調(diào)用模塊或被調(diào)用模塊，那么它往往包含過多的功能，這就是這個模塊太復(fù)雜 ?除特殊情況外（ case，開關(guān)），應(yīng)避免這種結(jié)構(gòu)，用增加