【正文】 ② A＞ 1, B≠0 作 ③ A≯ 1, B＝ 0 作 ④ A≯ 1, B≠0 作 T T1 2T T1 2T T1 2T T1 2 ⑤ A＝ 2, X＞ 1 作 ⑥ A＝ 2, X≯ 1 作 ⑦ A≠2, X＞ 1 作 ⑧ A≠2, X≯ 1 作 測(cè) 試 用 例 覆蓋條件 覆蓋組合 【 (2, 0, 4), (2, 0, 3)】 (L1) ① , ⑤ 【 (2, 1, 1), (2, 1, 2)】 (L3) ② , ⑥ 【 (1, 0, 3), (1, 0, 4)】 (L3) ③ , ⑦ 【 (1, 1, 1), (1, 1, 1)】 (L2) ④ , ⑧ T T3 4T T3 4T T3 4T T3 4T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4路徑測(cè)試 ? 路徑測(cè)試就是設(shè)計(jì)足夠的測(cè)試用例，覆蓋程序中所有可能的路徑 。 循環(huán)測(cè)試路徑選擇 ? 循環(huán)分為 4種不同類型： 簡(jiǎn)單循環(huán) 、連鎖循環(huán) 、 嵌套循環(huán) 和 非結(jié)構(gòu)循環(huán) 。 j = n。測(cè)試時(shí)保持所有外層循環(huán)的循環(huán)變量取最小值，所有其它嵌套內(nèi)層循環(huán)的循環(huán)變量取 ? 典型 ? 值。 (4) 非結(jié)構(gòu)循環(huán) 這一類循環(huán)應(yīng)該使用結(jié)構(gòu)化程序設(shè)計(jì)方法重新設(shè)計(jì)測(cè)試用例。 1. 程序的控制流圖 ? 符號(hào) ○ 為控制流圖的一個(gè)結(jié)點(diǎn)，表示一個(gè)或多個(gè)無(wú)分支的 PDL語(yǔ)句或源程序語(yǔ)句。 ? 如果判斷中的條件表達(dá)式是由一個(gè)或多個(gè)邏輯運(yùn)算符 (OR, AND, NAND, NOR) 連接的復(fù)合條件表達(dá)式，則需要改為一系列 只有單個(gè)條件的嵌套的判斷 。 3. 導(dǎo)出測(cè)試用例 ? 導(dǎo)出 測(cè)試用例， 確?；韭窂郊械拿恳粭l路徑的執(zhí)行 。 ? 必須注意，一些獨(dú)立的路徑 (如例中的路徑 1)， 往往不是完全孤立的，有時(shí)它是程序正常的控制流的一部分，這時(shí)，這些路徑的測(cè)試可以是另一條路徑測(cè)試的一部分。 ? 劃分等價(jià)類 等價(jià)類是指某個(gè)輸入域的子集合。 ② 無(wú)效等價(jià)類 ：是指對(duì)于程序的規(guī)格說(shuō)明來(lái)說(shuō)，是不合理的，無(wú)意義的輸入數(shù)據(jù)構(gòu)成的集合。 ? 例如，在程序的規(guī)格說(shuō)明中，對(duì)輸入條件有一句話： ? …… 項(xiàng)數(shù)可以從 1到 999 ……” 則有效等價(jià)類是? 1≤項(xiàng)數(shù) ≤999” 兩個(gè)無(wú)效等價(jià)類是?項(xiàng)數(shù)＜ 1”或?項(xiàng) 數(shù)＞ 999”。 (3) 如果輸入條件是一個(gè)布爾量，則可以確定一個(gè)有效等價(jià)類和一個(gè)無(wú)效等價(jià)類。因此可以確定 4個(gè)有效等價(jià)類為教授、副教授、講師和助教，一個(gè)無(wú)效等價(jià)類，它是所有不符合以上身分的人員的輸入值的集合。這時(shí)，可以確定一個(gè)有效等價(jià)類 ?以‘ 。 ? 用等價(jià)類劃分法設(shè)計(jì)測(cè)試用例的實(shí)例 在某一 PASCAL語(yǔ)言版本中規(guī)定：? 標(biāo)識(shí)符是由字母開(kāi)頭 ， 后跟字母或數(shù)字的任意組合構(gòu)成 。? 用等價(jià)類劃分的方法，建立輸入等價(jià)類表 : ? 下面選取了 9個(gè)測(cè)試用例，它們覆蓋了所有的等價(jià)類。因此針對(duì)各種邊界情況設(shè)計(jì)測(cè)試用例， 可以查出更多的錯(cuò)誤 。問(wèn)題恰出現(xiàn)在容易被疏忽的邊界附近。 錯(cuò)誤推測(cè)法 ? 人們也可以靠經(jīng)驗(yàn)和直覺(jué)推測(cè)程序中可能存在的各種錯(cuò)誤，從而有針對(duì)性地編寫(xiě)檢查這些錯(cuò)誤的例子。 因果圖方法最終生成的就是判定表。 (3) 由于語(yǔ)法或環(huán)境限制，有些原因與原因之間，原因與結(jié)果之間的組合情況不可能出現(xiàn)。 ? 在因果圖中出現(xiàn)的基本符號(hào) 通常在因果圖中用 Ci表示原因，用Ei表示結(jié)果，各結(jié)點(diǎn)表示狀態(tài)，可取值? 0”或? 1”。其規(guī)格說(shuō)明如下： 若 投入 5角錢或 1元錢的硬幣 ， 押下〖 橙汁 〗 或 〖 啤酒 〗 的按鈕，則相應(yīng)的飲料就送出來(lái)。 (3) 由于 2 與 3 ， 4 與 5 不能同時(shí)發(fā)生， 分別加上約束條件 E。 ? 確認(rèn)測(cè)試 則是要檢查已實(shí)現(xiàn)的軟件是否滿足了需求規(guī)格說(shuō)明中確定了的各種需求，以及軟件配置是否完全、正確。 ? 單元測(cè)試需要 從程序的內(nèi)部結(jié)構(gòu)出發(fā)設(shè)計(jì)測(cè)試用例 。測(cè)試項(xiàng)目包括： ? 調(diào)用本模塊的輸入?yún)?shù)是否正確； ? 本模塊調(diào)用子模塊時(shí)輸入給子模塊的參數(shù)是否正確； ? 全局量的定義在各模塊中是否一致； ? 在做 內(nèi)外存交換 時(shí)要考慮： ? 文件屬性是否正確； ? OPEN與 CLOSE語(yǔ)句是否正確； ? 緩沖區(qū)容量與記錄長(zhǎng)度是否匹配； ? 在進(jìn)行讀寫(xiě)操作之前是否打開(kāi)了文件； ? 在結(jié)束文件處理時(shí)是否關(guān)閉了文件； ? 正文書(shū)寫(xiě)／輸入錯(cuò)誤， ? I／ O錯(cuò)誤是否檢查并做了處理。 (4) 錯(cuò)誤處理測(cè)試 ? 出錯(cuò)的描述是否難以理解 ? 出錯(cuò)的描述是否能夠?qū)﹀e(cuò)誤定位 ? 顯示的錯(cuò)誤與實(shí)際的錯(cuò)誤是否相符 ? 對(duì)錯(cuò)誤條件的處理正確與否 ? 在對(duì)錯(cuò)誤進(jìn)行處理之前，錯(cuò)誤條件是否已經(jīng)引起系統(tǒng)的干預(yù)等 (5) 邊界測(cè)試 ? 注意數(shù)據(jù)流、控制流中剛好等于、大于或小于確定的比較值時(shí)出錯(cuò)的可能性。 ? 驅(qū)動(dòng)模塊 (driver) ? 樁模塊 (stub) ── 存根模塊 ? 如果一個(gè)模塊要完成多種功能，可以將這個(gè)模塊看成由幾個(gè)小程序組成。 組裝測(cè)試 （ Integrated Testing） ? 組裝測(cè)試 (集成測(cè)試、聯(lián)合測(cè)試） ? 通常，在單元測(cè)試的基礎(chǔ)上，需要將所有模塊按照設(shè)計(jì)要求組裝成為系統(tǒng)。 ? 通常，把模塊組裝成為系統(tǒng)的方式有兩種 ? 一次性組裝方式 ? 增殖式組裝方式 1. 一次性組裝方式 (big bang) ? 它是一種非增殖式組裝方式。 (1) 自頂向下的增殖方式 ? 這種組裝方式將模塊 按系統(tǒng)程序結(jié)構(gòu) ， 沿控制層次自頂向下進(jìn)行組裝 。 ? 因?yàn)槟K是自底向上進(jìn)行組裝，對(duì)于一個(gè)給定層次的模塊，它的子模塊（包括子模塊的所有下屬模塊）已經(jīng)組裝并測(cè)試完成，所以 不再需要樁模塊 。 (3) 混合增殖式測(cè)試 ? 衍變的自頂向下的增殖測(cè)試 ? 首先對(duì)輸入／輸出模塊和引入新算法模塊進(jìn)行測(cè)試 。 ? 然后對(duì)含寫(xiě)操作的子系統(tǒng)做自頂向下的組裝與測(cè)試。 ? 關(guān)鍵模塊的特征： ① 滿足某些軟件需求； ② 在程序的模塊結(jié)構(gòu)中位于較高的層次（高層控制模塊）； ③ 較復(fù)雜、較易發(fā)生錯(cuò)誤； ④ 有明確定義的性能要求。它包含的信息就是軟件確認(rèn)測(cè)試的基礎(chǔ)。 ? 通過(guò)實(shí)施預(yù)定的測(cè)試計(jì)劃和測(cè)試步驟，確定 ? 軟件的特性是否與需求相符； ? 所有的文檔都是正確且便于使用； ? 同時(shí)，對(duì)其它軟件需求，例如可移植性、兼容性、出錯(cuò)自動(dòng)恢復(fù)、可維護(hù)性等，也都要進(jìn)行測(cè)試 ? 在全部軟件測(cè)試的測(cè)試用例運(yùn)行完后，所有的測(cè)試結(jié)果可以分為兩類： ? 測(cè)試結(jié)果與預(yù)期的結(jié)果相符 。 2. 軟件配置復(fù)查 ? 軟件配置復(fù)查的目的是保證 ? 軟件配置的所有成分都齊全； ? 各方面的質(zhì)量都符合要求； ? 具有維護(hù)階段所必需的細(xì)節(jié)； ? 而且已經(jīng)編排好分類的目錄。軟件開(kāi)發(fā)人員和 QA（質(zhì)量保證）人員也應(yīng)參加。 系統(tǒng)測(cè)試 （ System Testing） ? 系統(tǒng)測(cè)試，是將通過(guò)確認(rèn)測(cè)試的軟件，作為整個(gè)基于計(jì)算機(jī)系統(tǒng)的一個(gè)元素 ，與計(jì)算機(jī)硬件、外設(shè)、某些支持軟件、數(shù)據(jù)和人員等其它系統(tǒng)元素結(jié)合在一起， 在實(shí)際運(yùn)行環(huán)境下 ，對(duì)計(jì)算機(jī)系統(tǒng)進(jìn)行一系列的組裝測(cè)試和確認(rèn)測(cè)試。 ? α測(cè)試 的目的是評(píng)價(jià)軟件產(chǎn)品的FLURPS（即功能、局域化、可使用性、可靠性、性能和支持）。這些用戶返回有關(guān)錯(cuò)誤信息給開(kāi)發(fā)者。 ? β測(cè)試 主要衡量產(chǎn)品的 FLURPS。同時(shí)，產(chǎn)品的所有手冊(cè)文本也應(yīng)該在此階段完全定稿。 可靠性測(cè)試 如果系統(tǒng)需求說(shuō)明書(shū)中有對(duì)可靠性的要求，則需進(jìn)行可靠性測(cè)試。 ? 設(shè)計(jì)需要占用最大存儲(chǔ)量或其它資源的測(cè)試用例進(jìn)行測(cè)試。在程序有效數(shù)據(jù)界限內(nèi)一個(gè)小范圍內(nèi)的一組數(shù)據(jù)可能引起極端的或不平穩(wěn)的錯(cuò)誤處理出現(xiàn)，或者導(dǎo)致極度的性能下降的情況發(fā)生。 性能測(cè)試常常 需要與強(qiáng)度測(cè)試結(jié)合起來(lái) 進(jìn)行，并常常要求 同時(shí)進(jìn)行硬件和軟件檢測(cè) 。并由此檢查： ? 錯(cuò)誤探測(cè)功能 ──系統(tǒng)能否發(fā)現(xiàn)硬件失效與故障； ? 能否 切換或啟動(dòng)備用的硬件 ； ? 在故障發(fā)生時(shí)能否 保護(hù)正在運(yùn)行的作業(yè)和系統(tǒng)狀態(tài) ； ? 在系統(tǒng)恢復(fù)后能否 從最后記錄下來(lái)的無(wú)錯(cuò)誤狀態(tài)開(kāi)始繼續(xù)執(zhí)行作業(yè) ，等等。 配置測(cè)試 ? 這類測(cè)試是要檢查 計(jì)算機(jī)系統(tǒng)內(nèi)各個(gè)設(shè)備或各種資源之間的相互聯(lián)結(jié)和功能分配中的錯(cuò)誤 。 ? 修復(fù)測(cè)試 ：檢查每種配置狀態(tài)及哪個(gè)設(shè)備是壞的。 可使用性測(cè)試 ? 可使用性測(cè)試主要從使用的 合理性和 方便性 等角度對(duì)軟件系統(tǒng)進(jìn)行檢查，發(fā)現(xiàn)人為因素或使用上的問(wèn)題。 安裝測(cè)試 安裝測(cè)試的目的 不是找軟件錯(cuò)誤 ，而是 找安裝錯(cuò)誤 。 ? 安裝測(cè)試是在系統(tǒng)安裝之后進(jìn)行測(cè)試。 互連測(cè)試 ? 互連測(cè)試是要驗(yàn)證 兩個(gè)或多個(gè)不同的系統(tǒng)之間的互連性 。 在使系統(tǒng)的 全部資源達(dá)到?滿負(fù)荷?的情形下， 測(cè)試系統(tǒng)的承受能力 。它與軟件測(cè)試不同，調(diào)試的任務(wù)是 進(jìn)一步診斷和改正程序中潛在的錯(cuò)誤 。 ? 軟件運(yùn)行失效或出現(xiàn)問(wèn)題，往往只是潛在錯(cuò)誤的外部表現(xiàn) ，而外部表現(xiàn)與內(nèi)在原因之間常常沒(méi)有明顯的聯(lián)系。 ? 從技術(shù)角度來(lái)看，查找錯(cuò)誤的難度在于： ? 現(xiàn)象與原因所處的位置可能相距甚遠(yuǎn)。 ? 錯(cuò)誤是由于時(shí)序問(wèn)題引起的，與處理過(guò)程無(wú)關(guān)。 幾種主要的調(diào)試方法 調(diào)試的關(guān)鍵在于推斷程序內(nèi)部的錯(cuò)誤位置及原因。 ? 在程序特定部位設(shè)置打印語(yǔ)句 ，把打印語(yǔ)句插在出錯(cuò)的源程序的各個(gè)關(guān)鍵變量改變部位、重要分支部位、子程序調(diào)用部位，跟蹤程序的執(zhí)行，監(jiān)視重要變量的變化。 回溯法調(diào)試 這是在小程序中常用的一種有效的調(diào)試方法。通過(guò)輸出值可推斷程序在這一點(diǎn)上變量的值。 ? 收集有關(guān)的數(shù)據(jù) 列出所有已知的測(cè)試用例和程序執(zhí)行結(jié)果。通過(guò)分析找出矛盾來(lái)。 ?證明假設(shè) 把假設(shè)與原始線索或數(shù)據(jù)進(jìn)行比較，若它能完全解釋一切現(xiàn)象，則假設(shè)得到證明；否則，就認(rèn)為假設(shè)不合理，或不完全，或是存在多個(gè)錯(cuò)誤，以致只能消除部分錯(cuò)誤。通過(guò)它們，可以組織、分析現(xiàn)有數(shù)據(jù)。 ? 證明余下的假設(shè) 調(diào)試原則 ? 在調(diào)試方面，許多原則本質(zhì)上是心理學(xué)方面的問(wèn)題。 ? 只把調(diào)試工具當(dāng)做輔助手段來(lái)使用。 ? 修改錯(cuò)誤的一個(gè)常見(jiàn)失誤是只修改了這個(gè)錯(cuò)誤的征兆或這個(gè)錯(cuò)誤的表現(xiàn)，而沒(méi)有修改錯(cuò)誤的本身。 ?