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