北大測試全套課件和教案 9 第4章 第3講

本文格式為Word版，下載可任意編輯——北大測試全套課件和教案9第4章第3講《軟件測試基礎》授課教案

授課內容：第四章白盒測試技術授課課次：第9次課

授課時數(shù)：2學時授課日期:上課教室:目的與要求：

把握白盒測試中基本路經(jīng)測試的概念和方法；了解程序插樁的概念和方法。教學重點：

基本路經(jīng)測試教學難點：

程序插樁教學方式：

1.運用《白盒測試技術》課件進行課堂講授，讓學生理解基本路徑測試的概念，把握

基本路徑測試方法；

2.進行課堂練習，加深對基本路徑測試的理解和使用。教學內容：

1．程序結構分析2．DD路徑測試3．基本路徑測試4．程序插樁內容提要及時間分派：

1、課前引導（8分鐘）

?回想6種覆蓋法的基本思想。?白盒測試中有哪些常用方法？

2、本課內容（75分鐘）

?程序結構分析?DD路徑測試?基本路徑測試?程序插樁

3、課后小結（5分鐘）4、布置作業(yè)（2分鐘）教學參考書：

1.軟件測試方法和技術朱少民清華大學出版社2.軟件測試PaulC.Jorgensen機械工業(yè)出版社探討與思考：

把第2章的NextDate問題的偽代碼轉換成為控制流圖，并簡化。作業(yè):

1．請把下面的程序流程圖轉化成控制流圖。

1236479118105

2．重新編寫程序片斷14~20，用嵌套if-then-else語句替代復合條件。

14.if(a=b)AND(b=c)15.ThenOutput(“Equilateral〞)

16.ElseIf(ab)AND(ac)AND(bc)17.ThenOutput(“Scalence”)18.ElseOutput(“Isosecles”)19.EndIf20.EndIf

比較你改寫后的程序和上面程序片斷的圈復雜度。復問題目：

序號123題目學生成績教學內容與方法步驟

4.2.3程序結構分析

引言：程序的結構形式是白盒測試的主要依據(jù)。這一部分將從控制流分析和數(shù)據(jù)流分析的不同方面討論如何分析程序結構。我們的目的是要在程序中找到隱藏的錯誤。

1．控制流分析

由于非結構化程序會給測試帶來許多不必要的困難，所以業(yè)界要求寫出的程序具有良好的結構。上個世紀70年代以來，結構化程序的概念逐漸被人們普遍接受。體現(xiàn)這一要求對某些語言并不困難，比如Pascal、C，因為它們都具有反映基本控制結構的相應得控制語句。但對于有些開發(fā)語言要做到這一點，程序人員就要很注意程序結構化的要求，比如說匯編語言，若使用匯編語言編寫程序，開發(fā)人員就尤其要注意程序的結構化要求。

正是由于這個原因，系統(tǒng)地檢查程序的控制結構變得十分有意義了。a)控制流圖

程序流程圖又稱框圖，是我們最熟悉，也是最容易理解的一種程序控制結構的圖形表示了。在這種圖上的框里面常常標明了處理要求或者條件，但是，這些標注在做路徑分析時是不重要的。為了了更加突出控制流的結構，需要對程序流程圖做一些簡化。在圖4-2種我們給出了簡化的例子。其中（a）圖示一個含有兩個出口判斷和循環(huán)的程序流程圖，我們把它簡化成（b）的形式，稱這種簡化了的程序流程圖叫做控制流圖。在控制流圖中只有兩種圖形符號，它們是：

?節(jié)點：以標有編號的圓圈表示。它代表了程序流程圖中矩形框表示的處理、菱形表示的

兩個到多個出口判斷以及兩條到多條流線相交的匯合點。

?控制流線或弧：以箭頭表示。它與程序流程圖中的流線是一致的，表明了控制的順序。

為了方便討論，控制流線通常標有名字，如圖中所標的a、b、c等。

為了使控制流圖在機器上表示，我們可以把它表示成矩陣的形式，稱為控制流圖矩陣。圖4-3表示了圖4-2的控制流圖矩陣，這個矩陣有5行5列，是由該控制圖中5個節(jié)點決定的。矩陣中6個元素a、b、c、d、e和f的位置決定了它們所連接節(jié)點的號碼。例如，弧d在矩陣中處于第3行第4列，那是因為它在控制流圖中連接了節(jié)點3至節(jié)點4。這里必須注意方向，圖中節(jié)點4到節(jié)點3沒有弧，所以矩陣中第4行第3列也就沒有元素。

11245

ａａｃ23ｆｂｃｂ3ｄｅ

4ｅｄ5ｆ

（a）（b）

圖4-2程序流程圖和控制流圖圖4-3控制流圖矩陣除了用程序流程圖可以轉化成控制流圖以外，還可以把偽代碼表示的處理過程轉化成控制流圖。根據(jù)程序建構控制流圖很容易，如圖4-4所示，我們把三角形偽代碼實現(xiàn)過程轉化成了控制流圖。對于不可執(zhí)行語句我們不把它映射成節(jié)點，比如變量和類型說明語句。1.Programtriangle2‘versionofsimple2.Dima,b,cAsInteger3.DimIsATriangleAsBoolean

4.Output(“Enter3integerswhicharesidesofatriangle”)5.Input(a,b,c)

6.Output(“SideAis”,a)7.Output(“SideBis”,b)8.Output(“SideCis”,c)

9.If(ab)AND(ac)AND(bc)17.ThenOutput(“Scalence〞)

456978101213211511141617192023222318.ElseOutput(“Isosecles〞)19.EndIf20.EndIf

21．ElseOutput(“NOTaTriangle〞)22．EndIf23．Endtriangle2

圖4-4三角形偽代碼映射成的控制流圖

我們有的時候為了便利會把一條偽代碼語句做為一個節(jié)點，但有的時候，我們可以把幾個節(jié)點合并成一個，合并的原則是：若在一個節(jié)點序列中沒有分支，則我們可以把這個序列的節(jié)點都合并成一個節(jié)點。譬如圖4-4我們可以合并成如圖4-5的形式。對于不可執(zhí)行語句我們不把它映射成節(jié)點，譬如變量和類型說明語句。

當過程設計中包含復合條件時，生成控制流圖的方法要繁雜一些。在這種狀況下，我們要把復合條件拆開成一個個簡單條件，讓每一個簡單條件對應流圖中一個節(jié)點。這樣的節(jié)點我們把它叫判定節(jié)點，它會引出兩條或者多條邊。如圖4-6所示。

49101213