設(shè)計(jì)測(cè)試方案

1、設(shè)計(jì)測(cè)試方案1設(shè)計(jì)測(cè)試方案(Plan of testing)主要技術(shù)：1、邏輯覆蓋(Logical coverage) 2、控制結(jié)構(gòu)測(cè)試3、等價(jià)劃分 任務(wù)：預(yù)定要測(cè)試的功能 設(shè)計(jì)輸入的測(cè)試數(shù)據(jù)(test cases) 列出預(yù)期結(jié)果(expected output)2入口A 1AND B=0TA=2OR X 1TX = X / AX = X + 1返回FFTest case : A=2 , B=0 , X=4. 覆蓋程度由弱到強(qiáng)順次為： 語句覆蓋:每個(gè)語句至少執(zhí)行一次。1 .邏輯覆蓋3判定覆蓋(Branch coverage)：在的基礎(chǔ)上，每個(gè)判定的每個(gè)分支至少執(zhí)行一次。Test cases:A

2、=3 , B=0 , X=3A=2 , B=1 , X=1入口A 1AND B=0TA=2OR X 1TX = X / AX = X + 1返回FF4 條件覆蓋(Condition coverage)：在的基礎(chǔ)上，使每個(gè)判定表達(dá)式的每個(gè)條件都取到各種可能的結(jié)果。Test cases:A=2 , B=0 , X=4（滿足A1, B=0; A=2, X1)A=1, B=1, X=1(滿足A1, B0; A 2, X1）問：條件覆蓋 ？ 判定覆蓋 答: 不一定。 反例: A=2, B=0, X=1 A=1, B=1, X=2 判定/條件覆蓋：即判定覆蓋條件覆蓋 入口A 1AND B=0TA=2OR

3、X 1TX = X / AX = X + 1返回FF5 條件組合覆蓋：每個(gè)判定表達(dá)式中條件的各種可能組合都至少出現(xiàn)一次。入口A 1AND B=0TA=2OR X 1TX = X / AX = X + 1返回FF全部可能的條件組合為： A1, B=0 A1, B 0 A1, B=0 A1, B 0 A=2, X1 A=2, X 1 A 2, X1 A 2,X 1 Test cases: A=2, B=0, X=4 (T T) A=2. B=1, X=1 (F T) A=1, B=0, X=2 (F T) A=1, B=1, X=1 (F F)6考察control flow graph 的角度，還

4、可考慮下述覆蓋： 點(diǎn)覆蓋 邊覆蓋= 語句覆蓋 路徑覆蓋(Path coverage): 每條可能的路徑都至少執(zhí)行一次，若圖中有環(huán)，則每個(gè)環(huán)至少經(jīng)過一次。=判定覆蓋Test cases: A=1 , B=1 , X=1 A=1 , B=1 , X=2 A=3 , B=0 , X=1 A=2 , B=0 , X=4 路徑覆蓋 條件組合覆蓋72.控制結(jié)構(gòu)測(cè)試：基本路徑、條件、循環(huán) 1). 基本路徑測(cè)試基本路徑測(cè)試是Tom McCabe提出的一種白盒測(cè)試技術(shù)。首先計(jì)算程序的環(huán)形復(fù)雜度用該復(fù)雜度為指南定義執(zhí)行路徑的基本集合從該基本集合導(dǎo)出的測(cè)試用例可以保證程序中的每條語句至少執(zhí)行一次，而且每個(gè)條件在執(zhí)行

5、時(shí)都將分別取真、假兩種值。83.等價(jià)劃分 適用于黑盒測(cè)試問題：是如何選擇適當(dāng)?shù)淖蛹?，使其發(fā)現(xiàn)最多的錯(cuò)誤。解決上述問題的辦法：是把所有可能的輸入數(shù)據(jù)劃分為若干等價(jià)類，這樣就有可能得到一種假設(shè)，即測(cè)試某個(gè)等價(jià)類的代表值就等價(jià)于對(duì)這一類其他值的測(cè)試。等價(jià)劃分技術(shù)是用來設(shè)計(jì)發(fā)現(xiàn)錯(cuò)誤種類的測(cè)試用例，以減少必須設(shè)計(jì)的測(cè)試用例總數(shù)。9 根據(jù)劃分經(jīng)驗(yàn)，劃分等價(jià)類 當(dāng)規(guī)定了輸入范圍時(shí)： 當(dāng)規(guī)定了輸入的一組值，且對(duì)不同值做不同處理時(shí)無效類 有效類 無效類 10 當(dāng)規(guī)定了輸入的規(guī)則時(shí)： 例：(PASCAL) 語言規(guī)定，每個(gè)語句以“ ；” 結(jié) 束 有效類1個(gè)；無效類若干（以“ ，”結(jié)束、以“ ：”結(jié)束、以空格結(jié)束等等

6、） 當(dāng)輸入為整型時(shí)：有效類可分為Z+、0、Z 三種 當(dāng)處理表格時(shí)：有效類可分為空表、含一項(xiàng)的表、含多項(xiàng)的表等注： 以上經(jīng)驗(yàn)亦適用于輸出數(shù)據(jù)； 不需要測(cè)試編譯程序肯定能發(fā)現(xiàn)的錯(cuò)誤。11 設(shè)計(jì)步驟 設(shè)計(jì)一個(gè)新方案以盡可能多地覆蓋尚未被覆蓋的有效等價(jià)類；重復(fù)這一步驟直到所有有效類都被覆蓋為止。 設(shè)計(jì)一個(gè)新方案以覆蓋一個(gè)且僅一個(gè)尚未被覆蓋的無效等價(jià)類；重復(fù)這一步驟直到所有無效類都被覆蓋為止。（通常程序執(zhí)行一個(gè)錯(cuò)誤后即不繼續(xù)檢測(cè)其它錯(cuò)誤，故每次只測(cè)一個(gè)無效類）124、實(shí)用策略(Practical Strategies) 黑盒設(shè)計(jì) 白盒補(bǔ)充 在任何情況下都應(yīng)該使用邊界值分析的方法； 必要時(shí)用等價(jià)劃分法補(bǔ)充； 必要時(shí)再用錯(cuò)誤推測(cè)法補(bǔ)充； 對(duì)照程序邏輯，檢查測(cè)試方案?？筛鶕?jù)對(duì)程序可靠性的要求采用不同的邏輯覆蓋標(biāo)準(zhǔn)