【正文】 表程序中的控制流。 ? 對于復合條件，則可將其分解為多個單個條件，并映射成控制流圖。 常見結(jié)構(gòu)的控制流圖 1. 程序的控制流圖 1. 程序的控制流圖 區(qū)域 程序的控制流圖 如果判斷中的條件表達式是由一個或多 個邏輯運算符 ( ||, amp。amp。, ...) 連接的復合 條件表達式，則需改為 一系列 只有單個 條件的嵌套的判斷 。 （d） 流 程 圖c對 應 的 流 圖1423（c） 詳 細 流 程 圖A 1 B = 0X = X / A132A 1A N D B = 0X = X / A（ a ） 流 程 圖程序的控制流圖 if(a||b) 執(zhí)行 x； else 執(zhí)行 y； 1. 程序的控制流圖 復合條件下的控制流圖 (a) 程序； (b) 控制流圖 基本路徑測試 ? 基本路徑測試方法是在控制流圖的基礎上，通過分析控制結(jié)構(gòu)的環(huán)形復雜度，導出執(zhí)行路徑的基本集合，再從該基本集設計測試用例?；韭窂綔y試方法包括 4個步驟： 基本路徑測試 （ 1） 畫出程序的 控制流圖 。 （ 2） 計算程序的 環(huán)形復雜度 ，導出程序基本路徑集中的 獨立路徑 條數(shù)，這是確定程序中每個可執(zhí)行語句至少執(zhí)行一次所必須的測試用例數(shù)目的上界。 基本路徑測試 （ 3） 導出基本路徑集，確定程序的獨立路徑。 （ 4） 根據(jù) (3)中的獨立路徑，設計測試用例的輸入數(shù)據(jù)和預期輸出。 第一步：畫出控制流圖 c/c++語句中的控制語句表示含義如下： 圖中的每一個圓稱為流圖的結(jié)點，代表一條或多條語句。流圖中的箭頭稱為邊或連接，代表控制流。 為了說明流圖的用法，我們采用過程設計表示法，此處，流程圖用來描述程序控制結(jié)構(gòu)?？蓪⒘鞒虉D映射到一個相應的流圖 (假設流程圖的菱形決定框中不包含復合條件 )。在流圖中，每一個圓，稱為流圖的結(jié)點，代表一個或多個語句。一個處理方框序列和一個菱形決測框可被映射為一個結(jié)點，流圖中的箭頭，稱為邊或連接，代表控制流，類似于流程圖中的箭頭。一條邊必須終止于一個結(jié)點，即使該結(jié)點并不代表任何語句(例如：參見 ifelsethen結(jié)構(gòu)的符號 )。由邊和結(jié)點限定的范圍稱為區(qū)域。計算區(qū)域時應包括圖外部的范圍。 任何過程設計都要被翻譯成控制流圖。 void Sort(int iRecordNum,int iType) 1 { 2 int x=0。 3 int y=0。 4 while (iRecordNum 0) 5 { 6 if(iType= =0) 7 x=y+2。 8 else 9 if(iType= =1) 10 x=y+10。 11 else 12 x=y+20。 13 } 14 } 如下面的 C函數(shù)： 在將程序流程圖簡化成控制流圖時，應注意： 在選擇或多分支結(jié)構(gòu)中，分支的 匯聚處 應有一個 匯聚結(jié)點 。 邊和結(jié)點圈定的區(qū)域叫做 區(qū)域。 當對區(qū)域計數(shù)時，圖形外的區(qū)域也應記為一個區(qū)域。 如何根據(jù) 程序流程圖 畫出控制流程圖 ? void Sort(int iRecordNum,int iType) 1 { 2 int x=0。 3 int y=0。 4 while (iRecordNum 0) 5 { 6 if(iType= =0) 7 x=y+2。 8 else 9 if(iType= =1) 10 x=y+10。 11 else 12 x=y+20。 13 } 14 } 畫出其程序流程圖如下： void Sort(int iRecordNum,int iType) 1 { 2 int x=0。 3 int y=0。 4 while (iRecordNum 0) 5 { 6 if(iType= =0) 7 x=y+2。 8 else 9 if(iType= =1) 10 x=y+10。 11 else 12 x=y+20。 13 } 14 } 第二步：計算環(huán)形復雜度 環(huán)形復雜度是一種為程序邏輯復雜性提供定量測度的軟件度量，將該度量用于計算程序的基本的獨立路徑數(shù)目，為確保所有語句至少執(zhí)行一次的測試數(shù)量的上界。獨立路徑必須包含一條在定義之前不曾用到的邊。有以下三種方法計算環(huán)形復雜度： ； G的環(huán)形復雜度： V(G)， 定義為 V(G)=EN+2， E是流圖中邊的數(shù)量， N是流圖中結(jié)點的數(shù)量； G的環(huán)形復雜度： V(G)， 定義為 V(G)=P+1， P是流圖 G中判定結(jié)點的數(shù)量。 程序流程圖和對應的控制流圖如下： 對應上面圖中的環(huán)形復雜度，計算如下： ? 流圖中有四個區(qū)域； ? V(G)=10條邊 8結(jié)點 +2=4。 ? V(G)=3個判定結(jié)點 +1=4。 第三步：導出測試用例 根據(jù)上面的計算方法，可得出四個獨立的路徑： ? 路徑 1： 414 ? 路徑 2： 46713414 ? 路徑 3： 4681013414 ? 路徑 4： 4681113414 根據(jù)上面的獨立路徑，去設計輸入數(shù)據(jù)，使程序分別執(zhí)行到上面四條路徑，即完成了測試用例的設計 第四步：準備測試用例 為確?；韭窂郊械拿恳粭l路徑的執(zhí)行，根據(jù)判斷結(jié)點給出的條件，選擇適當?shù)臄?shù)據(jù)以保證某一條路徑可以被測試到，滿足上面例子基本路徑集的測試用例是： 路徑 1： 414 輸入數(shù)據(jù)： iRecordNum＝ 0， 或者取 iRecordNum0的某一個值 預期結(jié)果： x＝ 0 路徑 2： 46713414 輸入數(shù)據(jù)： iRecordNum＝ 1,iType＝ 0 預期結(jié)果： x＝ 2 路徑 3： 4681013414 輸入數(shù)據(jù)： iRecordNum＝ 1,iType＝ 1 預期結(jié)果： x＝ 10 路徑 4： 4681113414 輸入數(shù)據(jù)： iRecordNum＝ 1,iType＝ 2 預期結(jié)果： x＝ 20 習題 使用基本路徑測試方法，為以下程序段設計測試用例。 void Do (int X,int A,int B) { 1 if ( (A1)amp。amp。(B=0) ) 2 X = X/A。 3 if ( (A=2)||(X1) ) 4 X = X+1。 5 } 復合判定的例子 改為單個條件判定的嵌套結(jié)構(gòu)的例子