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

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

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

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

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

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

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

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

基本路徑測(cè)試方法；

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

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

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

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

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

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

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

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

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

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

1236479118105

2．重新編寫(xiě)程序片斷14~20，用嵌套if-then-else語(yǔ)句替代復(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

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

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

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

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

1．控制流分析

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

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

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

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

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

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

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

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

11245

ａａｃ23ｆｂｃｂ3ｄｅ

4ｅｄ5ｆ

（a）（b）

圖4-2程序流程圖和控制流圖圖4-3控制流圖矩陣除了用程序流程圖可以轉(zhuǎn)化成控制流圖以外，還可以把偽代碼表示的處理過(guò)程轉(zhuǎn)化成控制流圖。根據(jù)程序建構(gòu)控制流圖很容易，如圖4-4所示，我們把三角形偽代碼實(shí)現(xiàn)過(guò)程轉(zhuǎn)化成了控制流圖。對(duì)于不可執(zhí)行語(yǔ)句我們不把它映射成節(jié)點(diǎn)，比如變量和類(lèi)型說(shuō)明語(yǔ)句。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)榱吮憷麜?huì)把一條偽代碼語(yǔ)句做為一個(gè)節(jié)點(diǎn)，但有的時(shí)候，我們可以把幾個(gè)節(jié)點(diǎn)合并成一個(gè)，合并的原則是：若在一個(gè)節(jié)點(diǎn)序列中沒(méi)有分支，則我們可以把這個(gè)序列的節(jié)點(diǎn)都合并成一個(gè)節(jié)點(diǎn)。譬如圖4-4我們可以合并成如圖4-5的形式。對(duì)于不可執(zhí)行語(yǔ)句我們不把它映射成節(jié)點(diǎn)，譬如變量和類(lèi)型說(shuō)明語(yǔ)句。

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

49101213