軟件測試技術(shù)：程序片測試

軟件測試技術(shù)--11程序片測試程序片這是一個與數(shù)據(jù)流分析（定義-使用路徑）相似的定義，其內(nèi)容是查看與某些變量相關(guān)的程序片，然后追蹤程序片中的語句。追蹤程序語句，在程序的某些點上，會影響相關(guān)變量的值;{e.g.(v,node)}

所有那些包含改變某變量的語句，就是該變量的程序片。

指定的程序片就是一條路徑，我們可以對它進(jìn)行測試。例子Pseudocodeexample1.intlimit=10;2.inty=0;3.intx=0;4.for(inti=0;i<limit;i++)5.{x=x+i;6.y=y+i2;}7.print(“x=“,x,“y=“,y);-Considerthatourvariableofinterestisy

atstatement7.-But,onsecondlook,wewouldpickupstatements:

764(becausetheloopinfluencesstatement6)21(becauselimitinfluencesstatement4)Statements<1,2,4,6,7>formaprogramslicerelatedtovariable,y-Wewouldincludethissliceasatestcase基于程序片的測試定義

給定一個程序P和P中的一個變量集合V，變量集合V在語句n上的一個片，記做S(V,n),是P中對V中的變量值做出貢獻(xiàn)的所有語句集合?；诔绦蚱臏y試定義

給定一個程序P和一個給出語句及語句片段編號的程序圖G(P)，以及P中的一個變量集合V，變量集合V在語句片段n上的一個片，記做S(V,n),是P中在n以前對V中的變量值作出貢獻(xiàn)的所有語句片段編號的集合?；诔绦蚱臏y試五種形式的使用使用關(guān)系有如下3種：謂詞使用（P-use）：用在謂詞（判斷)中

計算使用（C-use）：用在計算中輸出使用（O-use）：用于輸出定義關(guān)系有2種：輸入定義（I-def）：通過輸入定義賦值定義（A-def）：通過賦值定義基于程序片的測試標(biāo)識兩種定義節(jié)點：輸入定義通過輸入定義賦值定義通過賦值定義例子Pseudocodeexample1.intlimit=10;2.inty=0;3.intx=0;4.for(inti=0;i<limit;i++)5.{x=x+i+y;6.y=y+i2;}7.print(“x=“,x,“y=“,y);ModifiedtoincludeyNotethatwehavemodifiedstatement5ofthepreviousexampletoincludey.NowshouldS(y,7)includestatement5?EventhoughthereisC-useofy,statement5doesnot“contribute”tothevalueofyinstatement7.Sowedonotinclude5intheslice,S(y,7).Also,p-useofothervariablenotinthesetV(inthiscaseV=y)mayneedtobeincludedbecauseitinfluencesthevalueofy.Inthiscase,thevariable,“l(fā)imit,”inthe“for”statement.So,statement4isincludedinS(y.7)asbefore.AndlimitisplacedintothesetV,Variableofinterest.練習(xí)begininput(x,y);

total=0;

sum=0;

ifx<=1

thensum=y

elsebeginread(z);

total=x*y

end;

print(total,sum)

end練習(xí)begininput(x,y);

total=0;

sum=0;

ifx<=1

thensum=y

elsebeginread(z);

total=x*y

end;

print(total,sum)

end寫變量z在語句12出的程序片.寫變量total在語句12出的程序片.變量z在語句12出的程序片begininput(x,y);

total=0;

sum=0;

ifx<=1

thensum=y

elsebeginread(z);

total=x*y

end;

print(total,sum)

endbegininput(x,y);ifx<=16.thensum=y7.elsebegin8.read(z);10.end;12.end變量total在語句12出的程序片begininput(x,y);

total=0;

sum=0;

ifx<=1

thensum=y

elsebeginread(z);

total=x*y

end;

print(total,sum)

endbegininput(x,y);

total=0;5.ifx<=16.thensum=yelsebegin9.total=x*yend;12.end

如何建立程序片1、不要在沒有出現(xiàn)變量的語句片段n上建立片；2、在一個變量上建立片；3、對于所有賦值定義節(jié)點都要建立片；4、對于謂詞使用節(jié)點建立片；5、非謂詞使用節(jié)點上的片并不是很有意義；6、考慮使片可執(zhí)行。Sale與commission上的格格定義

如果偏序集合中，任何兩個元素構(gòu)成的子集{a,b}都有最小上界和最大上界，則這個偏序集合是格（lattice）。偏序集合定義

如果集合A上的關(guān)系R是自反的、反對稱的、傳遞的，則R稱為偏序關(guān)系，集合A和這個偏序關(guān)系R一起構(gòu)成偏序集合（partiallyorderedset,POSET),可以表示為（A，R）。最小上界和最大下界定義

對于偏序集合A及其子集合B，a∈A，如a為B的上界，且對所有B的上界a’，存在a≤a’，則稱a為B的最小上界（leastupp