軟件測試用例的設(shè)計-白盒測試 - 數(shù)據(jù)流測試和程序片測試法

軟件測試用例的設(shè)計數(shù)據(jù)流測試數(shù)據(jù)流測試的意義？路徑測試可以測試程序中所有的條件和語句塊，但是，這也不能檢測出程序中所有的錯誤。基于數(shù)據(jù)流的測試主要關(guān)注程序中數(shù)據(jù)的定義和使用，可以用于對基于控制流測試的補充。1定義/使用測試首先要明確一個假設(shè)，數(shù)據(jù)流的假設(shè)還是和路徑的假設(shè)一致，程序P的程序圖（有向圖）是一個單入口，單出口，并且不允許有從某個結(jié)點到其自身的邊。

a、DEF(v,n)，定義結(jié)點。

intx；x=y+z。b、USE(v,n)，使用結(jié)點

System.out.println(x)。c、P-use，當(dāng)一個變量被用在分支語句的條件表達式中（如if和while語句），則稱為變量的P-use。d、C-use，如果一個變量被用在賦值語句的表達式、輸出語句中，被當(dāng)作參數(shù)傳遞給調(diào)用函數(shù)，或被用在下標(biāo)表達式中，則稱為變量的C-use。其中，C表示“計算”。y=x+1；function（x）e、定義使用路徑（DU-path）開始節(jié)點是DEF(v,n)，結(jié)束結(jié)點是USE(v,n)的路徑。f、定義清除路徑（DC-path）,當(dāng)開始結(jié)點和結(jié)束結(jié)點中間沒有其他的定義結(jié)點的時候為清除路徑。1intx,y;//定義x，y2floatz

;3input(x,y)

;4z=0

;5if(x

!=0)6 z=z+y

;7elsez=z-y

;8if(y

!=0)9 z=z/x

;10elsez=z*x

;11output(z);變量定義節(jié)點使用節(jié)點x35,9,10y36,7,8z4,6,7,9,106,7,9,10,11變量的定義/使用節(jié)點變量DU-path是否為x3,53,93,10YYY變量DU-path是否為y3,63,73,8YYY變量x的定義使用路徑變量y的定義使用路徑變量DU-path是否為變量DU-path是否為z4,64,74,94,104,116,66,76,96,106,117,67,77,9YYNNNY不可行YYN不可行YYz7,107,119,69,79,99,109,1110,610,710,910,1010,11YN不可行不可行Y不可行Y不可行不可行不可行YY變量z的定義使用路徑“程序片”測試

“程序片”測試程序片也叫程序切片，是一種程序分析和理解技術(shù)。程序片是確定或影響某個變量在程序某個點上的取值的一組程序語句。典型的程序分片算法有Weiser的基于數(shù)據(jù)流方程的算法，無定型分片算法，Bergeretti的基于信息流關(guān)系的算法，基于程序依賴圖的圖形可達性算法，基于波動圖的算法，參數(shù)化程序分片算法，并行分片算法，面向?qū)ο蟮姆謱臃制惴ǖ?。定義1給定一個程序P和P中的一個變量集合V，變量集合V在語句n上的一個片，記做S(V,n),是P中對V中的變量值做出貢獻的所有語句集合。定義2給定一個程序P和一個給出語句及語句片段編號的程序圖G(P)，以及P中的一個變量集合V，變量集合V在語句片段n上的一個片，記做S(V,n)，是P中在n以前對V中的變量值作出貢獻的所有語句片段編號的集合。切片算法基本過程為：1）尋找語句n的變量v所直接數(shù)據(jù)依賴或控制依賴的節(jié)點；2）尋找這些新節(jié)點所直接數(shù)據(jù)依賴或控制依賴的節(jié)點；3）一直重復(fù)下去，直到?jīng)]有新節(jié)點加進來為止4）最后將這些節(jié)點按源程序的語句順序排列，即為程序P的關(guān)于語句n的切片S。將程序進行分片之后，可以集中注意力于感興趣的程序部分，屏除不相關(guān)的部分。程序分片的基本原則：對所有的賦值定義節(jié)點