人文地理工業(yè)地域的形成與工業(yè)區(qū)-年新高考人教版地理復(fù)習(xí)完美課件下載

控制結(jié)構(gòu)測(cè)試控制結(jié)構(gòu)測(cè)試11.基本路徑測(cè)試基本路徑測(cè)試是TomMcCabe提出的一種白盒測(cè)試技術(shù)。使用這種技術(shù)設(shè)計(jì)測(cè)試用例時(shí)，首先計(jì)算程序的環(huán)形復(fù)雜度，并用該復(fù)雜度為指南定義執(zhí)行路徑的基本集合。1.基本路徑測(cè)試基本路徑測(cè)試是TomMcCabe提出的一2流圖為了突出表示程序的控制流，人們通常使用流圖(也稱為程序圖)。所謂流圖實(shí)質(zhì)上是“退化了的”程序流程圖，它僅僅描繪程序的控制流程，完全不表現(xiàn)對(duì)數(shù)據(jù)的具體操作以及分支或循環(huán)的具體條件。

在流圖中用圓表示結(jié)點(diǎn)，一個(gè)圓代表一條或多條語(yǔ)句。程序流程圖中的一個(gè)順序的處理框序列和一個(gè)菱形判定框，可以映射成流圖中的一個(gè)結(jié)點(diǎn)。流圖3流圖中的箭頭線稱為邊，它和程序流程圖中的箭頭線類似，代表控制流。當(dāng)過(guò)程設(shè)計(jì)中包含復(fù)合條件時(shí)，應(yīng)該把復(fù)合條件分解為若干個(gè)簡(jiǎn)單條件，每個(gè)簡(jiǎn)單條件對(duì)應(yīng)流圖中一個(gè)結(jié)點(diǎn)。流圖中的箭頭線稱為邊，它和程序流程圖中的箭頭線類似，代表控制4人文地理工業(yè)地域的形成與工業(yè)區(qū)—年新高考人教版地理復(fù)習(xí)完美課件下載5例子：PROCEDUREaverage;/*這個(gè)過(guò)程計(jì)算不超過(guò)100個(gè)在規(guī)定值域內(nèi)的有效數(shù)字的平均值；同時(shí)計(jì)算有效數(shù)字的總和及個(gè)數(shù)。*/ INTERFACERETURNSaverage,total.input,total.valid;INTERFACEACCEPTSvalue,minimum,maximum;TYPEvalue［1…100］ISSCALARARRAY;TYPEaverage,total.input,total.valid; minimum,maximum,sumISSCALAR;TYPEiISINTEGER;例子：61: i=1; total.input=total.valid=0; sum=0;2: DOWHILEvalue［i］<>-9993: ANDtotal.input<1004: incrementtotal.inputby1;5: IFvalue［i］>=minimum6: ANDvalue［i］<=maximum7：THENincrementtotal.validby1; sum=sum+value［i］;8: ENDIF incrementiby1;9: ENDDO10:IFtotal.valid>011:THENaverage=sum/total.valid;12:ELSEaverage=-999;13:ENDIF ENDaverage1: i=1;7程序流程圖如右圖所示程序流程圖如右圖所示8使用基本路徑測(cè)試技術(shù)設(shè)計(jì)測(cè)試用例的步驟如下：第一步，根據(jù)過(guò)程設(shè)計(jì)結(jié)果畫出相應(yīng)的流圖。使用基本路徑測(cè)試技術(shù)設(shè)計(jì)測(cè)試用例的步驟如下：9求平均值過(guò)程的流圖求平均值過(guò)程的流圖10第二步，計(jì)算流圖的環(huán)形復(fù)雜度。環(huán)形復(fù)雜度定量度量程序的邏輯復(fù)雜性。第二步，計(jì)算流圖的環(huán)形復(fù)雜度。11描繪程序控制流的流圖之后，可以用下述3種方法中的任何一種來(lái)計(jì)算環(huán)形復(fù)雜度。(1)流圖中的區(qū)域數(shù)等于環(huán)形復(fù)雜度。(2)流圖G的環(huán)形復(fù)雜度V(G)=E-N+2,其中，E是流圖中邊的條數(shù)，N是結(jié)點(diǎn)數(shù)。(3)流圖G的環(huán)形復(fù)雜度V(G)=P+1，其中，P是流圖中判定結(jié)點(diǎn)的數(shù)目。

描繪程序控制流的流圖之后，可以用下述3種方法中的任何一種來(lái)計(jì)12可計(jì)算得，上例的復(fù)雜度為6。第三步，確定線性獨(dú)立路徑的基本集合。所謂獨(dú)立路徑是指至少引入程序的一個(gè)新處理語(yǔ)句集合或一個(gè)新條件的路徑，用流圖術(shù)語(yǔ)描述，獨(dú)立路徑至少包含一條在定義該路徑之前不曾用過(guò)的邊。使用基本路徑測(cè)試用例時(shí)，程序的環(huán)形復(fù)雜度決定了程序中獨(dú)立路徑的數(shù)量?？捎?jì)算得，上例的復(fù)雜度為6。13由該理論，圖5.6中存在6條獨(dú)立路徑，它們分別為： 1-2-10-11-13 1-2-10-12-13 1-2-3-10-11-13 1-2-3-4-5-8-9-2-... 1-2-3-4-5-6-8-9-2-... 1-2-3-4-5-6-7-8-9-2-...由該理論，圖5.6中存在6條獨(dú)立路徑，它們分別為：14

第四步，設(shè)計(jì)可強(qiáng)制執(zhí)行基本集合中每條路徑的測(cè)試用例。應(yīng)該選取測(cè)試數(shù)據(jù)使得在測(cè)試每條路徑時(shí)都適當(dāng)?shù)卦O(shè)置好了各個(gè)判定結(jié)點(diǎn)的條件。一旦執(zhí)行完所有測(cè)試用例，就可以確保程序中所有語(yǔ)句都至少被執(zhí)行了一次，而且每個(gè)條件都分別取過(guò)true值和false值。第四步，設(shè)計(jì)可強(qiáng)制執(zhí)行基本集合中每條路152.條件測(cè)試用條件測(cè)試技術(shù)設(shè)計(jì)出的測(cè)試用例，能夠檢查程序模塊中包含的邏輯條件。關(guān)系表達(dá)式的形式如下：E1<關(guān)系算符>E2其中，E1和E2是算術(shù)表達(dá)式，而<關(guān)系算符>是下列算符之一：“<”,“≤”，“=”，“≠”,“>”或“≥”。2.條件測(cè)試用條件測(cè)試技術(shù)設(shè)計(jì)出的測(cè)試用例，能夠檢查程序模16復(fù)合條件由兩個(gè)或多個(gè)簡(jiǎn)單條件、布爾算符和括弧組成。布爾算符有OR（“|”），AND（“&”）和NOT。不包含關(guān)系表達(dá)式的條件稱為布爾表達(dá)式。條件成分的類型包括布爾算符、布爾變量、布爾括?。ɡㄗ『?jiǎn)單條件或復(fù)合條件）、關(guān)系算符及算術(shù)表達(dá)式。復(fù)合條件由兩個(gè)或多個(gè)簡(jiǎn)單條件、布爾算符和括弧組成。17aPoint.SecondPoint=="n"||aPoint.SecondPoint=="ns"||aPoint.SecondPoint=="nr"||aPoint.SecondPoint=="v"||aPoint.SecondPoint=="vn"||aPoint.SecondPoint=="b“intCount>1&&strSplit[i]!=strLabel(strTemp=="<"||strTemp=="【")&&i<strContentValue.Length-1aPoint.SecondPoint=="n"||a18strTemp=="\t"||strTemp=="\r"||strTemp=="\n"||booIfLabel||strTemp==""||strTemp=="'“booIfLabel是布爾變量strTemp=="\t"||strTemp==19如果條件不正確，則至少條件的一個(gè)成分不正確。因此，條件錯(cuò)誤的類型如下：布爾算符錯(cuò)（布爾算符不正確，遺漏布爾算符或有多余的布爾算符）布爾變量錯(cuò)布爾括弧錯(cuò)關(guān)系算符錯(cuò)算術(shù)表達(dá)式錯(cuò)如果條件不正確，則至少條件的一個(gè)成分不正確。因此，條件錯(cuò)誤的20條件測(cè)試的目的不僅是檢測(cè)程序條件中的錯(cuò)誤，而且是檢測(cè)程序中的其他錯(cuò)誤。如果程序P的測(cè)試集能有效地檢測(cè)P中條件的錯(cuò)誤，則它很可能也可以有效地檢測(cè)P中的其他錯(cuò)誤。如果一個(gè)測(cè)試策略對(duì)檢測(cè)條件錯(cuò)誤是有效的，則很可能該策略對(duì)檢測(cè)程序的其他錯(cuò)誤也是有效的。條件測(cè)試的目的不僅是檢測(cè)程序條件中的錯(cuò)誤，而且是檢測(cè)程序中的21分支測(cè)試可能是最簡(jiǎn)單的條件測(cè)試策略：對(duì)于復(fù)合條件C來(lái)說(shuō)，C的真分支和假分支以及C中的每個(gè)簡(jiǎn)單條件，都應(yīng)該至少執(zhí)行一次。E1<關(guān)系算符>E2包含n個(gè)變量的布爾表達(dá)式需要2n個(gè)測(cè)試。這個(gè)策略可以發(fā)現(xiàn)布爾算符、變量和括弧的錯(cuò)誤，但是，該策略僅在n很小時(shí)才是實(shí)用的。分支測(cè)試可能是最簡(jiǎn)單的條件測(cè)試策略：對(duì)于復(fù)合條件C來(lái)說(shuō)，C的22K.C.Tai提出了一種被稱為BRO(branchandrelationaloperator)測(cè)試的條件測(cè)試策略。如果在條件中所有布爾變量和關(guān)系算符都只出現(xiàn)一次而且沒(méi)有公共變量，則BRO測(cè)試保證能發(fā)現(xiàn)該條件中的分支錯(cuò)和關(guān)系算符錯(cuò)。C1：B1&B2{(t,f),(t,t),(f,f)}C2：B1&(E2=E3)

{(t,=),(f,=),(t,>),(t,<)}C3：(E1>E2)&(E3=E4){(>,=),(<,=),(=,=),(>,>),(>,<)}K.C.Tai提出了一種被稱為BRO(branchand23privatestringgetSiteName(stringstrNetNameValue){stringstrNetName="";intintNetNameLocation=strNetNameValue.IndexOf(".com");inti=intNetNameLocation;while(i>0){i--;stringstrTemp=strNetNameValue.Substring(i,1);if(strTemp=="."){