【正文】 ，軟件測(cè)試也不例外，一定要充分注意軟件測(cè)試中的群集現(xiàn)象，即“ Pareto 原則”； ，排除測(cè)試的隨意性，以避免發(fā)生疏漏或者重復(fù)無(wú)效的工作； 進(jìn)行全面檢查； 、測(cè)試計(jì)劃、測(cè)試報(bào)告和最終分析報(bào)告，以備回歸測(cè)試及維護(hù)之用。 它是幫助識(shí)別開(kāi)發(fā)完成（中間或最終的版本）的計(jì)算機(jī)軟件（整體或部分）的正確度 (correctness)、完全度 (pleteness)和質(zhì)量 (quality)的軟件過(guò)程；是 SQA(software quality assurance)的重要子域。 （即按測(cè)試過(guò)程）劃分為 單元測(cè)試 、 集成測(cè)試 、 確認(rèn)測(cè)試 、 系統(tǒng)測(cè)試 和 驗(yàn)收測(cè)試。 “黑盒”法是窮舉輸入 測(cè)試，只有把所有可能的輸入都作為測(cè)試情況使用，才能以這種方法查出程序中所有的錯(cuò)誤。當(dāng)然就不能夠保證被測(cè)試程序中不存在遺留的錯(cuò)誤。靜態(tài)測(cè)試技術(shù) 不要求在計(jì)算機(jī)上實(shí)際執(zhí)行所測(cè)程序，主要以一些人工的模擬技術(shù)對(duì)軟件進(jìn)行分析和測(cè)試。 白盒測(cè)試法的覆蓋標(biāo)準(zhǔn)有邏輯覆蓋、循環(huán)覆蓋和基本路徑 測(cè)試。第一，窮舉路徑測(cè)試決不能查出程序違反了設(shè)計(jì)規(guī)范，即程序本身是個(gè)錯(cuò)誤的程序。 不同的測(cè)試工具對(duì)于代碼的覆蓋能力也是不同的，通常能夠支持修正條件判定覆蓋的測(cè)試工具價(jià)格是極其昂貴的。在程序控制流圖的基礎(chǔ)上，通過(guò)分析控制構(gòu)造的環(huán)路復(fù)雜性，導(dǎo)出基本可執(zhí)行路徑集合，從而設(shè)計(jì)測(cè)試用例。圓圈稱為控制流圖的一個(gè)結(jié)點(diǎn)，表示一個(gè)或多個(gè)無(wú)分支的語(yǔ)句或源程序語(yǔ)句流圖只有二種圖形符號(hào)：圖中的每一個(gè)圓稱為流圖的結(jié)點(diǎn)，代表一條或多條語(yǔ)句。一條邊必須終止于一個(gè)結(jié)點(diǎn)，即使該結(jié)點(diǎn)并不代表任何語(yǔ)句 (例如： ifelsethen 結(jié)構(gòu) )。V(G)值正好等于該程序的獨(dú)立路徑的條數(shù)。 /*21*/． else /*22*/． (5)。 //不能直接在之前插入，否則意義全變了 } 軟件測(cè)試方法與 測(cè)試過(guò)程的分析與研究 14 （ 2）當(dāng)出現(xiàn)需要在 for 循環(huán)語(yǔ)句、 while 循環(huán)語(yǔ)句中進(jìn)行插入信息時(shí)候，很可能會(huì)導(dǎo)致程序運(yùn)行時(shí)間非常長(zhǎng)，是否有辦法改進(jìn)“插樁”機(jī)制？ （ 3）是否可以由用戶進(jìn)行指定，比如 for 語(yǔ)句、 while 語(yǔ)句或者指定的語(yǔ)句前不允許進(jìn)行“插樁”，怎么實(shí)現(xiàn)？ （ 4）如果對(duì)于一個(gè)龐大的系統(tǒng)軟件，我們需要進(jìn)行對(duì)所運(yùn)行的程序的每個(gè)函數(shù)記錄其運(yùn)行的有關(guān)參數(shù)，如：運(yùn)行開(kāi)始時(shí)間、退 出時(shí)間、運(yùn)行總時(shí)間、調(diào)用次數(shù)等等的統(tǒng)計(jì)。上述兩個(gè)判定表達(dá)式中有 4 個(gè)條件： a1, b=0, a=2, x1 選擇兩組測(cè)試數(shù)據(jù)： a=2， b=0， x=3 (使 a1， b=0， a=2， x1 為真，通過(guò)路徑 14567) a=1， b=1， x=1 (使 a1， b=0， a=2， x1 為假，通過(guò)路徑 123) 選擇另外兩組測(cè)試數(shù)據(jù)： a=1， b=0， x=3 (使 b=0， x1 為真， a1， a=2 為假，通過(guò)路徑 1267) a=2， b=1， x=1 (使 b=0， x1 為假， a1， a=2 為真，通過(guò)路徑 1267) 這兩組測(cè)試數(shù)據(jù)均使 a1 AND b=0 為假， a=2 OR x1 為真，不滿足判定覆蓋。 a≤ 1, b=0。在結(jié)構(gòu)化的程序中通常只有三種循環(huán)，分別是簡(jiǎn)單循環(huán)、串 接循環(huán)和嵌套循環(huán)，如圖 所示。 【例】 n=k。 白盒測(cè)試作為軟件質(zhì)量保證中的重要一環(huán)，對(duì)產(chǎn)品穩(wěn)定性起到至關(guān)重要的影響，不幸的是，由于實(shí)施白盒測(cè)試有較高技術(shù)難度，該軟件過(guò)程常被廠商忽略，因?yàn)殡y于實(shí)施，所以容易失敗，失敗后產(chǎn)生畏懼心理，就更不愿意進(jìn)一步去嘗試，如此形成惡性循環(huán)。這樣看來(lái) ，完全測(cè)試是不可能的，所以我們要進(jìn)行有針對(duì)性的測(cè)試，通過(guò)制定測(cè)試案例指導(dǎo)測(cè)試的實(shí)施，保證軟件測(cè)試有組織、按步驟，以及有計(jì)劃地進(jìn)行。使用這一方法設(shè)計(jì)測(cè)試用例，首先必須在分析需求規(guī)格說(shuō)明的基礎(chǔ)上劃分等價(jià)類，列出等價(jià)類表。 無(wú)效等價(jià)類：與有效等價(jià)類的定義恰巧相反。 ○ 5 在規(guī)定了輸入數(shù)據(jù)必須遵守的規(guī)則的情況下，可確立一個(gè)有效等價(jià)類（符合規(guī)則）和若干個(gè)無(wú)效等價(jià)類（從不同角度違反規(guī)則）。 在尋找等價(jià)區(qū)間時(shí)，想辦法把軟件的相似輸入、輸出、操作分成組?！耙粋€(gè)程序讀入 3 個(gè)整數(shù)，把這 3 個(gè)數(shù)值看作一個(gè)三角形的 3 條邊的長(zhǎng)度值。 表 等價(jià)類表 輸 入 條 件 有效等價(jià)類 無(wú)效等價(jià)類 是否三角形的 3條邊 （ A0）， （ 1） （ B0）， （ 2） （ C0）， （ 3） （ A+BC）， （ 4） （ B+CA）， （ 5） （ A+CB） （ 6） （ A≤ 0）， （ 7） （ B≤ 0）， （ 8） （ C≤ 0）， （ 9） （ A+B≤ C）， （ 10） （ B+C≤ A）， （ 11） （ A+C≤ B） （ 12） 是否等腰三角形 （ A=B）， （ 13） （ B=C）， （ 14） （ C=A）， （ 15） （ A≠ B） and（ B≠ C） and（ C≠ A）， （ 16） 是否等邊三角形 （ A=B） and（ B=C） and（ C=A）， （ 17） （ A≠ B）， （ 18） （ B≠ C）， （ 19） （ C≠ A）， （ 20） 第二章 軟件測(cè)試基本技術(shù) 25 表 測(cè)試用例列表 序號(hào) 【 A， B， C】 覆蓋等價(jià)類 輸 出 1 【 3， 4， 5】 （ 1），（ 2）， （ 3），（ 4），（ 5），（ 6） 一般三角形 2 【 0， 1， 2】 （ 7） 不能構(gòu)成三角形 3 【 1， 0， 2】 （ 8） 4 【 1， 2， 0】 （ 9） 5 【 1， 2， 3】 （ 10） 6 【 1， 3， 2】 （ 11） 7 【 3， 1， 2】 （ 12） 8 【 3， 3， 4】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 13） 等腰三角形 9 【 3， 4， 4】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 14） 10 【 3， 4， 3】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 15） 11 【 3， 4， 5】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 16） 非等腰三角形 12 【 3， 3， 3】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 17） 是等邊三角形 13 【 3， 4， 4】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 14），（ 18） 非等邊三角形 14 【 3， 4， 3】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 15），（ 19） 15 【 3， 3， 4】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 13），（ 20） 請(qǐng)記住，等價(jià)分配的 目標(biāo)是把可能的測(cè)試用例組合縮減到仍然足以滿足軟件測(cè)試需求為止。例如 ，在做三角形計(jì)算時(shí)，要輸入三角形的 3 個(gè)邊長(zhǎng) A、 B 和軟件測(cè)試方法與 測(cè)試過(guò)程的分析與研究 26 C。 邊界條件是特殊情況，因?yàn)榫幊虖母旧险f(shuō)不懷疑邊界有問(wèn)題。該程序?qū)嶋H上創(chuàng)建了一個(gè)從 data（ 0）～ data（ 10）共 11 個(gè)元素的數(shù)組。而有些邊界在軟件內(nèi)部，最終用戶幾乎看不到，但是軟件測(cè)試仍有必要檢查。 96 A 65 { 123 注意，表 不是結(jié)構(gòu)良好的連續(xù)表。 因?yàn)檫@些值通常在軟件中進(jìn)行特殊處理，所以不要把它們與合法情況和非法情況混在一起，而要建立單獨(dú)的等價(jià)區(qū)間。⑤ 如果程序的規(guī)格說(shuō)明給出的輸入域或輸出域是有序集合，則應(yīng)選取集合的第一個(gè)元素和最后一個(gè)元素作為測(cè)試用例。靜態(tài)測(cè)試結(jié)果可用于進(jìn)一步的查錯(cuò)， 并為測(cè)試用例選取提供指導(dǎo)。通常，在設(shè)計(jì)了測(cè)試用例并通過(guò)評(píng)審之后，由測(cè)試人員根據(jù)測(cè)試用例中描述的規(guī)程一步步執(zhí)行測(cè)試，得到實(shí)際結(jié)果與期望結(jié)果的比較。如果項(xiàng)目的周期比較短，沒(méi)有足夠的時(shí)間去支持這樣一個(gè)過(guò)程，那么自動(dòng)化測(cè)試便成為笑談。而根據(jù)自動(dòng)化測(cè)試用例，我們很容易能夠定位出自動(dòng)化測(cè)試框架的典型要素： ①公用的對(duì)象。 ④測(cè)試數(shù)據(jù)。 軟件測(cè)試過(guò)程有四個(gè)模型，分別為： V 模型， W 模型， H 模型， X 模型。多個(gè)模塊可以平行地獨(dú) 立進(jìn)行單元測(cè)試。應(yīng)當(dāng)設(shè)計(jì)測(cè)試用例查找由于錯(cuò)誤的計(jì) 算、不正確的比較或不正常的控制流而導(dǎo)致的錯(cuò)誤。樁模塊 (stub) ── 存根模塊用來(lái)模擬被測(cè)模塊工作過(guò)程中所調(diào)用的模塊。 這時(shí)需要考慮的問(wèn)題是：在把各個(gè)模塊連接起來(lái)的時(shí)候，穿越模塊接口的數(shù)據(jù)是否會(huì)丟失； 一個(gè)模塊的功能是否會(huì)對(duì)另一個(gè) 模塊的功能產(chǎn)生不利的影響；各個(gè)子功能組合起來(lái)，能否達(dá)到預(yù)期要求的父功能；全局?jǐn)?shù)據(jù)結(jié)構(gòu)是否有問(wèn)題；單個(gè)模塊的誤差累積起來(lái)，是否會(huì)放大，從而達(dá)到不能接受的程度。 首先對(duì)一個(gè)個(gè)模塊進(jìn)行模塊測(cè)試，然后將這些模塊逐步組裝成較大的系統(tǒng)，在集成的過(guò)程中邊連接邊測(cè)試，以發(fā)現(xiàn)連接過(guò)程中產(chǎn)生的問(wèn)題，通過(guò)增殖逐步組裝成為要求的軟件系統(tǒng)。在模塊的測(cè)試過(guò)程中需要從子模塊得到的信息可以直接運(yùn)行子模塊得到。然后對(duì)含寫(xiě)操作的子系統(tǒng)做自頂向下的組裝與測(cè)試。它包含的信息就是軟件確認(rèn)測(cè)試的基礎(chǔ)。 2. 軟件配臵復(fù)查 軟件配臵復(fù)查的目的是保證；軟件配臵的所有成分都齊全；各方面的質(zhì)量都符合要求；具有維護(hù)階段所必需的細(xì)節(jié)；而且已經(jīng)編排好分類的目錄。 在測(cè)試過(guò)程中，除了考慮軟件的功能和性能外，還應(yīng)對(duì)軟件的可移植性、兼容性、可維護(hù)性、錯(cuò)誤的恢復(fù)功能等進(jìn)行確認(rèn)。 一元二次方程求解程序的測(cè)試分析 （ 1）問(wèn)題描述 輸入 3 個(gè)整型數(shù)作為一元二次方程的 ax2+bx+c=0 的系數(shù) a、 b、 c 的值。例如，如果輸入 a、 b、 c 的值滿足 a≠ 0 且 b24ac0，則此一元二次方程有兩個(gè)不等的實(shí)數(shù)解；若滿足 a≠ 0 且 b≠ 0，則此一元二次方程有一個(gè)實(shí)數(shù)解。 第四章 軟件測(cè)試用例 39 BACEDGF 圖 舉例程序圖 5 條獨(dú)立路徑： P1： A、 B、 C、 G P2： A、 B、 C、 B、 C、 G P3： A、 B、 E、 F、 G P4： A、 D、 E、 F、 G P5： A、 D、 F、 G A、 B、 C、 B、 E、 F、 G 和 A、 B、 C、 B、 C、 B、 C、 G 都不是獨(dú)立 路徑。表 給出關(guān)于此一元二次方程的判定表。 3 個(gè)變量 a、 b、 c 中的 2 個(gè)取正常值， 1個(gè)取處于邊界的極端值，構(gòu)成一個(gè)測(cè)試用例。 由于在此一元二次方程求解程序中， ifthenelse 邏輯很突出，輸入和輸出之間存在著因果關(guān)系，在所有的功能性測(cè)試方法中，還可以采用基于判定表的方法進(jìn)行黑盒測(cè)試。 如果輸入不滿足上述 3 個(gè)條 件之一，則程序輸出相應(yīng)的信息，如“ c 的取值不在允許的范圍內(nèi)”。 回歸測(cè)試 回歸測(cè)試是指修改了 舊代碼后，重新進(jìn)行測(cè)試以確認(rèn)修改沒(méi)有引入新的錯(cuò)誤或?qū)е缕渌a產(chǎn)生錯(cuò)誤。 系統(tǒng)測(cè)試 系統(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è)試計(jì)劃，規(guī)定要做 測(cè)試的種類。軟件測(cè)試方法與 測(cè)試過(guò)程的分析與研究 34 然后將這一部分視為子系統(tǒng)，再自底向上測(cè)試。一般來(lái)講，一種方式的優(yōu)點(diǎn)是另一種方式的缺點(diǎn)。這種集成方式將模塊按系統(tǒng)程序結(jié)構(gòu)，沿控制層次自頂向下進(jìn)行組裝。 子系統(tǒng)的集成測(cè)試特別稱為部件測(cè)試，它所做的工作是要找出集成后的子系統(tǒng)與系統(tǒng)需求規(guī)格說(shuō)明之間的不一致。 如果一個(gè)模塊 要完成多種功能，可以將這個(gè)模塊看成由幾個(gè)小程序組成。 (4) 錯(cuò)誤處理測(cè)試 錯(cuò)誤處理測(cè)試主要針對(duì)：出錯(cuò)的描述是否難以理解，出錯(cuò)的描述是否能夠?qū)﹀e(cuò)誤定位，顯示的錯(cuò)誤與實(shí)際的錯(cuò)誤是否相符，對(duì)錯(cuò)誤條件的處理正確與否，在對(duì)錯(cuò)誤進(jìn)行處理之前，錯(cuò)誤條件是否已經(jīng)引起系統(tǒng)的干預(yù)等。 (1) 模塊接口測(cè)試 在單元測(cè)試的開(kāi)始，應(yīng)對(duì)通過(guò)被測(cè)模塊的數(shù)據(jù)流進(jìn)行測(cè)試。 軟件測(cè)試方法與 測(cè)試過(guò)程的分析與研究 28 圖 V 模型圖 圖 W模型 圖 測(cè)試準(zhǔn)備點(diǎn) 測(cè)試準(zhǔn)備 測(cè)試執(zhí)行 測(cè)試流程 其