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

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

授課內(nèi)容：第四章白盒測試技術(shù)授課課次：第9次課

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

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

基本路經(jīng)測試教學(xué)難點(diǎn)：

程序插樁教學(xué)方式：

1.運(yùn)用《白盒測試技術(shù)》課件進(jìn)行課堂講授，讓學(xué)生理解基本路徑測試的概念，把握

基本路徑測試方法；

2.進(jìn)行課堂練習(xí)，加深對基本路徑測試的理解和使用。教學(xué)內(nèi)容：

1．程序結(jié)構(gòu)分析2．DD路徑測試3．基本路徑測試4．程序插樁內(nèi)容提要及時(shí)間分派：

1、課前引導(dǎo)（8分鐘）

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

2、本課內(nèi)容（75分鐘）

?程序結(jié)構(gòu)分析?DD路徑測試?基本路徑測試?程序插樁

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

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

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

1．請把下面的程序流程圖轉(zhuǎn)化成控制流圖。

1236479118105

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

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

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

序號123題目學(xué)生成績教學(xué)內(nèi)容與方法步驟

4.2.3程序結(jié)構(gòu)分析

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

1．控制流分析

由于非結(jié)構(gòu)化程序會給測試帶來許多不必要的困難，所以業(yè)界要求寫出的程序具有良好的結(jié)構(gòu)。上個(gè)世紀(jì)70年代以來，結(jié)構(gòu)化程序的概念逐漸被人們普遍接受。體現(xiàn)這一要求對某些語言并不困難，比如Pascal、C，因?yàn)樗鼈兌季哂蟹从郴究刂平Y(jié)構(gòu)的相應(yīng)得控制語句。但對于有些開發(fā)語言要做到這一點(diǎn)，程序人員就要很注意程序結(jié)構(gòu)化的要求，比如說匯編語言，若使用匯編語言編寫程序，開發(fā)人員就尤其要注意程序的結(jié)構(gòu)化要求。

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

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

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

兩個(gè)到多個(gè)出口判斷以及兩條到多條流線相交的匯合點(diǎn)。

?控制流線或?。阂约^表示。它與程序流程圖中的流線是一致的，表明了控制的順序。

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

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

11245

ａａｃ23ｆｂｃｂ3ｄｅ

4ｅｄ5ｆ

（a）（b）

圖4-2程序流程圖和控制流圖圖4-3控制流圖矩陣除了用程序流程圖可以轉(zhuǎn)化成控制流圖以外，還可以把偽代碼表示的處理過程轉(zhuǎn)化成控制流圖。根據(jù)程序建構(gòu)控制流圖很容易，如圖4-4所示，我們把三角形偽代碼實(shí)現(xiàn)過程轉(zhuǎn)化成了控制流圖。對于不可執(zhí)行語句我們不把它映射成節(jié)點(diǎn)，比如變量和類型說明語句。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三角形偽代碼映射成的控制流圖

我們有的時(shí)候?yàn)榱吮憷麜岩粭l偽代碼語句做為一個(gè)節(jié)點(diǎn)，但有的時(shí)候，我們可以把幾個(gè)節(jié)點(diǎn)合并成一個(gè)，合并的原則是：若在一個(gè)節(jié)點(diǎn)序列中沒有分支，則我們可以把這個(gè)序列的節(jié)點(diǎn)都合并成一個(gè)節(jié)點(diǎn)。譬如圖4-4我們可以合并成如圖4-5的形式。對于不可執(zhí)行語句我們不把它映射成節(jié)點(diǎn)，譬如變量和類型說明語句。

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

49101213