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

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

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

指定的程序片就是一條路徑，我們可以對(duì)它進(jìn)行測(cè)試。例子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基于程序片的測(cè)試定義

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

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

計(jì)算使用（C-use）：用在計(jì)算中輸出使用（O-use）：用于輸出定義關(guān)系有2種：輸入定義（I-def）：通過(guò)輸入定義賦值定義（A-def）：通過(guò)賦值定義基于程序片的測(cè)試標(biāo)識(shí)兩種定義節(jié)點(diǎn)：輸入定義通過(guò)輸入定義賦值定義通過(guò)賦值定義例子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在語(yǔ)句12出的程序片.寫變量total在語(yǔ)句12出的程序片.變量z在語(yǔ)句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在語(yǔ)句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)變量的語(yǔ)句片段n上建立片；2、在一個(gè)變量上建立片；3、對(duì)于所有賦值定義節(jié)點(diǎn)都要建立片；4、對(duì)于謂詞使用節(jié)點(diǎn)建立片；5、非謂詞使用節(jié)點(diǎn)上的片并不是很有意義；6、考慮使片可執(zhí)行。Sale與commission上的格格定義

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

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

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