測試用例設(shè)計方法的綜合運用

測試用例是按一定的順序執(zhí)行的與測試目標(biāo)相關(guān)的測試活動的描述，是確定'怎樣”測試。測試用例被看作是有效發(fā)現(xiàn)軟件缺陷的最小測試執(zhí)行單元，也被視為軟件的測試規(guī)格說明書。在測試工作中，測試用例的設(shè)計是非常重要的，是測試執(zhí)行的正確性、有效性的基礎(chǔ)。如何有效地設(shè)計測試用例，一直是測試人員所關(guān)注的問題；設(shè)計好測試用例，也是保證測試工作的最關(guān)鍵的因素之一。測試用例是按一定的順序執(zhí)行的與測試目標(biāo)相關(guān)的測試活動的描述，是確定'怎樣”測試。測試用例被看作是有效發(fā)現(xiàn)軟件缺陷的最小測試執(zhí)行單元，也被視為軟件的測試規(guī)格說明書。在測試工作中，測試用例的設(shè)計是非常重要的，是測試執(zhí)行的正確性、有效性的基礎(chǔ)。如何有效地設(shè)計測試用例，一直是測試人員所關(guān)注的問題；設(shè)計好測試用例，也是保證測試工作的最關(guān)鍵的因素之一。設(shè)計測試用例，也分為白盒設(shè)計方法和黑盒設(shè)計方法。白盒設(shè)計方法又分為邏輯覆蓋法和基本路徑覆蓋法，或者分為語句覆蓋、判定覆蓋、條件覆蓋方法，而黑盒設(shè)計方法分為等價類劃分法、邊界值劃分法、錯誤推測法、因果圖法等。在實際測試用例設(shè)計過程中，不僅根據(jù)需要、場合單獨使用這些方法，常常綜合運用多個方法，使測試用例的設(shè)計更為有效。1.判定-條件覆蓋方法判定-條件覆蓋方法就是將兩種白盒設(shè)計方法“判定覆蓋”和“條件覆蓋”結(jié)合起來的一種設(shè)計方法，它所設(shè)計的測試用例是判定覆蓋的設(shè)計的測試用例和條件覆蓋設(shè)計的設(shè)計的測試用例的交集，即設(shè)計足夠精巧的測試用例，使得判斷條件中的所有條件可能取值至少執(zhí)行一次，同時，所有判斷的可能結(jié)果也至少執(zhí)行一次。舉個例子，源程序是：Dima,basIntegerDimcasDoubleIf(a>0andb>0)Thenc=c/aEndIfIf(a>1orc>1)Thenc=c+1EndIfc=b+c則用兩個測試用例(如表1)來覆蓋了兩個判定“P1=(a>0andb>0)”和“P2=(a>1orc>1)”和四個條件“C1=a>0”、“C2=b>0”、“C3=a>1”和“C4=c>1”。表1判定-條件覆蓋的測試用例測試用例具體取值條件取值條件判定條件輸入：a=2，b=1，c=6

輸出：a=2,b=1,c=5a>0,b>0,a>1,c>1C1,C2,C3,C4=TrueP1,P2=True輸入：a=-1,b=-2,c=-3輸出：a=-1,b=-2,c=-5a<=0,b<=0,a<=1,c<=1C1,C2,C3,C4=FalseP1,P2=False2.條件組合覆蓋條件組合覆蓋的基本思想是：設(shè)計足夠的測試用例，使得判斷中每個條件的所有可能至少出現(xiàn)一次，并且每個判斷本身的判定結(jié)果也至少出現(xiàn)一次，條件覆蓋是簡單地要求每個條件出現(xiàn)“真”與“假”兩種結(jié)果，而條件組合覆蓋是讓這些結(jié)果的所有可能組合都至少出現(xiàn)一次。按照條件組合覆蓋的基本思想，針對8種組合條件，來設(shè)計所有能覆蓋這些組合的設(shè)計用例，如表2所示。即使我們用四個測試用例覆蓋了所有8種組合條件，但還不能保證所有的路徑被執(zhí)行，如這個例子少了一種路徑，即P1=True,P2=false。表2條件組合覆蓋的測試用例測試用例覆蓋條件覆蓋組合輸入：a=2，b=1，c=6輸出：a=2，b=1，c=5C1=True,C2=True,C3=True，C4=TrueP1=True,P2=True輸入：a=2，b=-1，c=-2輸出：a=2，b=-1，c=-3C1=True,C2=false,C3=True，C4=falseP1=false,P2=True輸入：a=-1，b=2，c=3輸出：a=-1，b=2，c=6C1=false,C2=True,C3=false，C4=TrueP1=false,P2=True輸入：a=-1，b=-2，c=-3

輸出：a=-1,b=-2,c=-5C1