【正文】 序流程圖的拓?fù)浣Y(jié)構(gòu) 程序圖。但該測試仍不充分，上述數(shù)據(jù)只覆蓋了全部路徑的一半，如將 X1錯(cuò)寫為 X1,測試不到 . 軟件測試方法 （ 3）條件覆蓋： 條件覆蓋是指設(shè)計(jì)足夠的測試用例，使被測程序的每個(gè)判定表達(dá)式中每個(gè)條件的各種可能的值至少出現(xiàn)一次。 軟件測試方法 軟件測試信息流： 測試 結(jié)果 分析 可靠性 分析 排錯(cuò) 軟件配置 測試配置 測試結(jié)果 預(yù)期結(jié)果 錯(cuò)誤 出錯(cuò)率 數(shù)據(jù) 改正的軟件 預(yù)測的可靠性 測試工具 設(shè)計(jì) 測試用例 準(zhǔn)備 測試數(shù)據(jù) 用測試數(shù)據(jù) 運(yùn)行程序 測試結(jié)果 分析 測試用例 測試報(bào)告 預(yù)期結(jié)果 測試結(jié)果 軟件動(dòng)態(tài)測試過程 白盒測試法 ? 白盒測試法是通過分析程序內(nèi)部的邏輯與執(zhí)行路徑來設(shè)計(jì)測試用例，并對測試用例進(jìn)行測試的方法，也稱做結(jié)構(gòu)測試或邏輯驅(qū)動(dòng)方法。 ? 長期保留測試用例。 由于軟件開發(fā)的各個(gè)階段均包含了大量的人的創(chuàng)造性勞動(dòng)，不可避免地會(huì)引入錯(cuò)誤，尤其是大型、復(fù)雜的軟件系統(tǒng)。 人工檢測：人工審查程序或評(píng)審軟件。 邏輯覆蓋 追求程序內(nèi)部的邏輯覆蓋程度，當(dāng)程序中有循環(huán)時(shí)，覆蓋每條路徑是不可能的，要設(shè)計(jì)使覆蓋程度較高的或覆蓋有代表性的路徑的測試用例。但也有例外，如選擇以下兩組數(shù)據(jù)： A=1， B=0， X=3（ 滿足 A≤1， B=0， A ≠2 ， X1） A=2， B=1， X=1（滿足 A1， B≠0， X ≤1， A=2） 以上兩組數(shù)據(jù)覆蓋了判定表達(dá)式中的所有條件的可能取值，但只覆蓋了 第一個(gè)判定表達(dá)式的取“假”分支和第二個(gè)判定表達(dá)式的取“真”分支，此例不滿足判定覆蓋。 ? ? ? ②計(jì)算程序環(huán)路復(fù)雜度 環(huán)路復(fù)雜度是度量程序圖 G復(fù)雜度的方法。 listinsert(lc,++k,bj)。 1)簡單循環(huán) 簡單循環(huán)可依據(jù)以下順序分別設(shè)計(jì)測試用例進(jìn)行測試： ① 執(zhí)行零次循環(huán)：從循環(huán)入口到出口； ② 只執(zhí)行一次循環(huán)：檢查循環(huán)初始值； ③ m次循環(huán)：檢查 m次循環(huán) ， 其中 m小于最大次數(shù)減 1； ④ 執(zhí)行最大次數(shù)循環(huán) 、 比最大次數(shù)多一次 、 少一次的循環(huán) 。這樣用少量有代表性的例子可代替大量測試目的相同的例子，有效地提高測試效率。 測試數(shù)據(jù) 期望結(jié)果 覆蓋范圍 005MAY 輸入無效 2 20225 輸入無效 3 2022005 輸入無效 4 199905 輸入無效 6 202205 輸入無效 7 202200 輸入無效 9 202213 輸入無效 10 軟件測試方法 黑盒測試法 邊界值分析法 邊界值分析也是一種黑盒測試法，是對等價(jià)類劃分法的補(bǔ)充。 單元測試主要從以下五個(gè)方面進(jìn)行。 軟件測試步驟 確認(rèn)測試 α測試和 β測試 β測試是由部分用戶在實(shí)際的使用環(huán)境下進(jìn)行的測試 。 適用于較小程序 ， 它能將錯(cuò)誤范圍縮小到程序中的一小段代碼 ，使得定位錯(cuò)誤相對容易； 對于大程序 ， 它回溯的路徑可能很多 ， 回溯會(huì)變得很困難 。 用戶操作手 冊 。 項(xiàng)目開發(fā)計(jì)劃 。 ? 缺 陷 和限制 : 說明測試所揭露的軟件缺陷和不足 , 以及可能給軟件運(yùn)行帶來的影響。++j。 getelem(lb,i,bj)。 測試分析報(bào)告 3 軟件需求測試結(jié)論 ? 按順序給出每一項(xiàng)需求測試的結(jié)論。 測試分析報(bào)告 1 引言 ? 編寫目的 : 闡明編寫測試分析報(bào)告的目的并指明讀者對象。 項(xiàng)目開發(fā)計(jì)劃 。 軟件調(diào)試活動(dòng)主要分為以下兩部分 ： ① 確定程序中可疑錯(cuò)誤的確切性質(zhì)和位置 。 軟件測試步驟 確認(rèn)測試 確認(rèn)測試也稱有效性測試，目的是驗(yàn)證軟件的有效性，即驗(yàn)證軟件的功能和性能及其它特性是否符合用戶要求 。 ? 輸入表只包含一個(gè)元素。劃分為 3個(gè)有效等價(jià)類， 7個(gè)無效等價(jià)類。 軟件測試方法 等價(jià)類，指某個(gè)輸入域的子集合，在該集合中，各個(gè)輸入數(shù)據(jù)對暴露程序中的錯(cuò)誤是等效的。 } 15: } 1 2 4 5 6 7 10 11 12 13 14 15 第 1步：畫出程序圖 開始結(jié)點(diǎn) 結(jié)束結(jié)點(diǎn) 3 判定結(jié)點(diǎn) 9 8 1 2 4 5 6 7 10 11 12 13 14 15 3 判定結(jié)點(diǎn) 9 8 第 2步： 計(jì)算環(huán)路復(fù)雜度 3 7 4 1 2 5 6 ? 第 2步：計(jì)算環(huán)路復(fù)雜度 ? （ 1）判定結(jié)點(diǎn)為 2， 3， 5， 7， 11， 13 V(G)=P+1=7 （ 2） V(G)=EN+2=2015+2＝ 7 （ 3）區(qū)域個(gè)數(shù)為 7個(gè)， V(G)=7 ? 第 3步： 確定獨(dú)立路徑的基本集合 路徑 1： 12111315 路徑 2： 121113141315 路徑 3： 1231112111315 路徑 4： 123456102111315 路徑 5： 12345781021113141315 路徑 6： 123457910231112111315 路徑 7: 1234561023111112111315 ? 第 4步： 設(shè)計(jì)測試用例 路徑 1用例： la={}, lb={}, lc={} 路徑 2用例： la={}, lb={3,5}, lc={3,5} 路徑 3用例： la={2,4}, lb={}, lc={2,4} 路徑 4用例： la={2,3,4}, lb={2,3,4}, lc={2,2,3,3,4,4} 路徑 5用例： la={2,3,4}, lb={5,6}, lc={2,3,4,5,6} 路徑 6用例： la={2,3,4}, lb={0,1}, lc={0,1,2,3,4} 路徑 7用例： la={2,3,4}, lb={2,3}, lc={2,2,3,3,4} 軟件測試方法 條件測試 條件測試重點(diǎn)測試程序中的每個(gè)條件 ， 測試組成條件的各個(gè)成分的正確性 ， 通過檢測程序條件中的錯(cuò)誤 ， 發(fā)現(xiàn)程序中的其它錯(cuò)誤 。 (j=lb_len)){ 4: getelem(la,i,ai)。 軟件測試方法 基本路徑測試 基本路徑測試是在 程序圖 的基礎(chǔ)上 ， 通過分析 環(huán)路復(fù)雜度 ， 導(dǎo)出 獨(dú)立路徑的基本集合 ， 從而設(shè)計(jì) 測試用例 ， 保證這些路徑至少被執(zhí)行一次 。判定覆蓋比語句覆蓋嚴(yán)格，若通過各個(gè)分支，各個(gè)語句也執(zhí)行了。如測試數(shù)據(jù)自動(dòng)生成工具、靜態(tài)分析程序、動(dòng)態(tài)分析程序、測試結(jié)果分析程序、驅(qū)動(dòng)測試的測試數(shù)據(jù)庫。 ? 測試用例不僅選用合理的輸入數(shù)據(jù)，還要選擇不合理的輸入數(shù)據(jù)。 本章主要內(nèi)容： ? 軟件測試的目的和原則 ? 軟件測試的方法 ? 軟件測試的步驟 ? 調(diào)試 ? 軟件測試工具 第 7章 軟件測試 軟件測試的概念和意義 什么是軟件測試： 軟件測試的 定義 ：軟件測試是為了發(fā)現(xiàn)錯(cuò)誤而運(yùn)行程序的過程。人工審查程序偏重于編碼質(zhì)量的檢驗(yàn)，而人工評(píng)審軟件除了審查編碼還要對各階段的軟件產(chǎn)品進(jìn)行檢驗(yàn)。 (A1)AND(B=0) (A=2)OR(X1) 語句段 1 語句段 2 T F F T 1 2 3 4 5 如右圖：一個(gè)被測程序的流程圖。所以滿足條件覆蓋不一定滿足判定覆蓋。 三種計(jì)算方法： (1) V(G)=P+1， 其中 P為判定結(jié)點(diǎn) (2) V(G)=EN+2， 其中 E為邊數(shù)， N為結(jié)點(diǎn)數(shù) (3) V(G)為區(qū)域數(shù) ? ③確定獨(dú)立路徑的基本集合