【正文】 測試 ? 在單元測試的開始，應(yīng)對 通過被測模塊的數(shù)據(jù)流 進(jìn)行測試。多個模塊可以平行地獨(dú)立進(jìn)行單元測試。其目的在于發(fā)現(xiàn)各模塊內(nèi)部可能存在的各種差錯。 ? 系統(tǒng)測試 把已經(jīng)經(jīng)過確認(rèn)的軟件納入實(shí)際運(yùn)行環(huán)境中，與其它系統(tǒng)成分組合在一起進(jìn)行測試。 ? 組裝測試 把已測試過的模塊組裝起來，主要對與設(shè)計相關(guān)的軟件體系結(jié)構(gòu)的構(gòu)造進(jìn)行測試。 (4) 因果圖 ? (5) 轉(zhuǎn)換成判定表 軟件測試的策略 ? 測試過程按 4個步驟進(jìn)行，即 單元測試 、 組裝測試 、 確認(rèn)測試和 系統(tǒng)測試 。所有原因結(jié)點(diǎn)列在左 邊，所有結(jié)果結(jié)點(diǎn)列在右邊。若售貨機(jī) 沒有零錢找 ，則一個顯示〖零錢找完〗的紅燈亮，這時在投入 1元硬幣并押下按鈕后，飲料不送出來而且 1元硬幣也退出來；若 有零錢找 ，則顯示〖零錢找完〗的紅燈滅，在送出飲料的同時退還 5角硬幣。 ? 例如，有一個處理單價為 5角錢的飲料的自動售貨機(jī)軟件測試用例的設(shè)計。“ 0”表示某狀態(tài)不出現(xiàn)，“ 1”表示某狀態(tài)出現(xiàn)。 (5) 把判定表的每一列拿出來作為依據(jù)，設(shè)計測試用例。為表明這些特殊情況，在因果圖上用一些記號標(biāo)明約束或限制條件。 (2) 分析軟件規(guī)格說明描述中的語義，找出原因與結(jié)果之間，原因與原因之間對應(yīng)的是什么關(guān)系 ? 根據(jù)這些關(guān)系，畫出因果圖。它適合于檢查程序輸入條件的各種組合情況。 因果圖 ? 因果圖的適用范圍 如果在測試時必須考慮 輸入條件的各種組合 ，可使用一種適合于描述對于多種條件的組合，相應(yīng)產(chǎn)生多個動作的形式來設(shè)計測試用例，這就需要利用因果圖。這就是錯誤推測法。 應(yīng)當(dāng)選取正好等于，剛剛大于，或剛剛小于邊界的值做為測試數(shù)據(jù) ，而不是選取等價類中的典型值或任意值做為測試數(shù)據(jù)。 ? 這里所說的邊界是指，相當(dāng)于輸入等價類和輸出等價類而言，稍高于其邊界值及稍低于其邊界值的一些特定情況。但如果把六個不等式中的任何一個大于號“＞”錯寫成大于等于號“ ≥”，那就不能構(gòu)成三角形。 ? 比如，在做三角形計算時，要輸入三角形的三個邊長： A、 B和 C。 ? 人們從長期的測試工作經(jīng)驗得知， 大量的錯誤是發(fā)生在輸入或輸出范圍的邊界上，而不是在輸入范圍的內(nèi)部 。 ① VAR x， T1234567： REAL； BEGIN x := ； T1234567 := ； ...… (1), (2), (4), (8), (9), (12), (14) ② VAR ： REAL； (3) ③ VAR x，： REAL?！? “ 在同一說明語句中 ，標(biāo)識符至少必須有一個 。 有效字符數(shù)為 8個 ， 最大字符數(shù)為 80個 。 ? 再從劃分出的等價類中按以下原則選擇測試用例： (1) 為每一個等價類規(guī)定一個唯一編號； (2) 設(shè)計一個新的測試用例，使其 盡可能多地覆蓋尚未被覆蓋的有效等價類 ，重復(fù)這一步，直到所有的有效等價類都被覆蓋為止； （ 3）設(shè)計一個新的測試用例，使其 僅覆蓋一個尚未被覆蓋的無效等價類 ，重復(fù)這一步，直到所有的無效等價類都被覆蓋為止 ?！Y(jié)束”，若干個無效等價類 “以‘ :’結(jié)束”、“以‘ ,’結(jié)束”、“以‘ ’結(jié)束”、“以 LF結(jié)束”等?！Y(jié)束”。 (5) 如果規(guī)定了輸入數(shù)據(jù)必須遵守的規(guī)則，則可以確立一個有效等價類（符合規(guī)則）和若干個無效等價類（從 不同角度 違反規(guī)則）。 ? 例如，在教師上崗方案中規(guī)定對教授、副教授、講師和助教分別計算分?jǐn)?shù)，做相應(yīng)的處理。 (4) 如果規(guī)定了輸入數(shù)據(jù)的一組值，而且程序要對每個輸入值分別進(jìn)行處理。那么所有以字母打頭的構(gòu)成有效等價類，而不在此集合內(nèi)（不以字母打頭）的歸于無效等價類。在數(shù)軸上表示成 : (2) 如果輸入條件規(guī)定了輸入值的集合，或者是規(guī)定了“必須如何”的條件，這時可確立一個有效等價類和一個無效等價類 。 ? 劃分等價類的原則 (1) 如果輸入條件規(guī)定了取值范圍，或值的個數(shù)，則可以確立一個有效等價類和兩個無效等價類。 ② 無效等價類 ：是指對于程序的規(guī)格說明來說，是不合理的，無意義的輸入數(shù)據(jù)構(gòu)成的集合。測試某等價類的代表值就等價于對這一類其它值的測試。 ? 劃分等價類 等價類是指某個輸入域的子集合。 ? 等價類劃分方法 把所有可能的輸入數(shù)據(jù) ，即程序的輸入域 劃分成若干部分 ，然后 從每一部分中選取少數(shù)有代表性的數(shù)據(jù)做為測試用例 。 (4) 非結(jié)構(gòu)循環(huán) 這一類循環(huán)應(yīng)該使用結(jié)構(gòu)化程序設(shè)計方法重新設(shè)計測試用例。測試時保持所有外層循環(huán)的循環(huán)變量取最小值，所有其它嵌套內(nèi)層循環(huán)的循環(huán)變量取 “ 典型 ” 值 ③ 反復(fù)進(jìn)行，直到所有各層循環(huán)測試完畢 ④ 對全部各層循環(huán)同時取最小循環(huán)次數(shù)，或者同時取最大循環(huán)次數(shù) (3) 連鎖循環(huán) 如果各個循環(huán) 互相獨(dú)立 ，則可以用與簡單循環(huán)相同的方法進(jìn)行測試。 ? ? 循環(huán) i n A [ i ] A [ i +1 ] A [ i +2 ] k 路 徑 0 1 2 1 1 i a c 1 2 1 2 i ab e fc 2 1 i +1 ab d fc 1 3 1 2 3 i ab e f e fc 2 3 1 i +2 ab e f d fc 3 2 1 i +2 ab d f d fc 3 1 2 i +1 ab d f e fc d 改 k 的值， e 不改 k 的值測試用例選擇 (2) 嵌套循環(huán) ① 對最內(nèi)層循環(huán)做簡單循環(huán)的全部測試。 j = n。 (1) 簡單循環(huán) ① 零次循環(huán) ：從循環(huán)入口到出口 ② 一次循環(huán) ：檢查循環(huán)初始值 ③ 二次循環(huán) ：檢查多次循環(huán) ④ m次循環(huán)： 檢查在多次循環(huán) ⑤ 最大次數(shù)循環(huán)、比最大次數(shù)多一次、少一次的循環(huán) 例：求最小值 k = i。當(dāng) n較大時將無法測試。 測 試 用 例 通過路徑 覆蓋條件 【 (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 (L3) T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4T T T T3 41 2 條件測試路徑選擇 ? 當(dāng)程序中判定多于一個時，形成的分支結(jié)構(gòu)可以分為兩類： 嵌套型分支結(jié)構(gòu) 和連鎖型分支結(jié)構(gòu) 。 T T T T1 2 3 4T T T T1 2 3 4 測 試 用例 覆蓋分支 條件取值 【 (2, 0, 4)， (2, 0, 3)】 L1(c, e) 【 (1, 1, 1)， (1, 1, 1)】 L2(b, d) T T T T1 2 3 4T T T T1 2 3 4? ? ? ?? ? ? ? ? ?A B A B X A? ?? ? ?2 01 0 1and orand and? ? ? ?? ? ? ? ? ?1X / A 2A 0B 1X / A 1A?????a n da n dora n d 由多個基本判斷組成的流程圖 條件組合覆蓋 ? 條件組合覆蓋就是設(shè)計足夠的測試用例，運(yùn)行被測程序，使得 每個判斷的所有可能的條件取值組合至少執(zhí)行一次 。 ?在圖例中，我們事先可對所有條件的取值加以標(biāo)記。 ? 判定覆蓋又稱為 分支覆蓋 。 ? 在圖例中，正好所有的可執(zhí)行語句都在 路徑 L1上，所以選擇 路徑 L1設(shè)計測試用例，就可以覆蓋所有的可執(zhí)行語句。 白盒測試的測試用例設(shè)計 舉例：所有路徑為： L1(ace) ,L2(abd), L3(abe), L4(acd) L 1 (a c e)? ? ? ? ? ?? ? ? ? ? ?? ?1AX 2A 0B 1A ????? oran dan d? ? ? ? ? ?? ? ? ? ? ?? ? ? ?? ? ?A B A A B X A1 0 21 0 1and and orand and? ? ? ?? ? ? ? ? ?? ? ?? ? ?A B A B X A2 01 0 1and orand and L 2 ( a b d)? ? ? ? ? ?? ? ? ? ? ?? ?1X / A 2A 0B 1A= ???? oran dan d ? ? ? ?? ? ? ? ? ?? ?1X / A 2A 0B 1A ????? andandor ? ? ? ? ? ?? ? ? ? ? ?1X / A 2A 0B 1X / A 2A 1A=??????a n da n dora n da n d ? ? ? ?? ? ? ? ? ?1X / A 2A 0B 1X / A 1A??????andandorand L 3 ( a b c)? ? ? ? ? ?? ? ? ? ? ?? ?1X/ A 2A 0B 1A ????? ora n da n d ? ? ? ?? ? ? ? ? ?? ?1X/ A 2A 0B 1A ????? orandor ? ? ? ?? ? ? ? ? ? ? ?1X / A a n d 0Bo r 2A a n d 0B