《軟件質(zhì)量與測試》課件第二章軟件測試技術(shù)（黑盒）

本章內(nèi)容白盒測試技術(shù)黑盒測試技術(shù)沈陽師范大學(xué)軟件學(xué)院1本節(jié)內(nèi)容2.2黑盒測試技術(shù)2.2.1邊界值分析法2.2.2等價類分析法2.2.3因果圖分析法2.2.4決策表分析法沈陽師范大學(xué)軟件學(xué)院22.2.1邊界值分析法黑盒測試概述任何程序都可看作是將從輸入定義域取值映射到輸出值域的函數(shù),不考慮程序內(nèi)部的邏輯結(jié)構(gòu)和特性，只根據(jù)軟件的規(guī)格需求說明書，觀察程序的入口和出口，是否符合功能說明;對于一些外購軟件、參數(shù)化軟件包，因無法得到源程序，只能用黑盒測試。沈陽師范大學(xué)軟件學(xué)院3輸入輸出2.2.1邊界值分析法邊界值概念從根本上講，任何程序都可看作是一個函數(shù)，它從一個集合（函數(shù)的定義域，即程序的輸入）的值映射到另一個集合（函數(shù)的值域，即程序的輸出）的值上。

沈陽師范大學(xué)軟件學(xué)院4Output=F(Input)DomainRangeF輸入定義域測試應(yīng)把需求規(guī)格說明中對輸入和對輸出的要求區(qū)別開來并加以分解2.2.1邊界值分析法邊界值產(chǎn)生的原因從長期的測試工作經(jīng)驗知，由于在軟件設(shè)計和程序編寫中，常對規(guī)格說明中的輸入或輸出域邊界不注意，導(dǎo)致大量錯誤發(fā)生在輸入或輸出范圍的邊界上，而非輸入或輸出范圍的內(nèi)部。設(shè)計測試用例時，對邊界附近的處理必須給予足夠重視，為檢驗邊界附件的處理專門設(shè)計測試用例?？扇〉昧己玫臏y試效果?；舅枷耄哼x擇輸入或輸出變量的極值、略低于或略高于極值設(shè)計測試用例。沈陽師范大學(xué)軟件學(xué)院52.2.1邊界值分析法邊界選擇的原則輸入條件規(guī)定了取值范圍，則以該范圍作為邊界輸入條件規(guī)定了值的個數(shù)，則以之為邊界；針對規(guī)格說明的每個輸出條件，使用前面的原則（1）和（2）；如果規(guī)格說明給出的輸入或輸出域是有序集合（如有序表、順序文件等），則選取集合中特定次序的元素作為邊界，如第一個、最后一個元素等；如果程序中使用了一個內(nèi)部數(shù)據(jù)結(jié)構(gòu)，則應(yīng)選擇該結(jié)構(gòu)的邊界上的值，如數(shù)組、鏈表等；分析規(guī)格說明，找出其它可能邊界條件。

6沈陽師范大學(xué)軟件學(xué)院2.2.1邊界值分析法常見的邊界值對16-bit的整數(shù)而言32767和-32768是邊界屏幕上光標(biāo)在最左上、最右下位置報表的第一行和最后一行數(shù)組元素的第一個和最后一個循環(huán)的第0次、第1次和倒數(shù)第2次、最后一次沈陽師范大學(xué)軟件學(xué)院72.2.1邊界值分析法例題測試計算平方根的函數(shù)

——輸入：實數(shù)

——輸出：實數(shù)

——規(guī)格說明：當(dāng)輸入一個0或比0大的數(shù)的時候，返回其正平方根；當(dāng)輸入一個小于0的數(shù)時，顯示錯誤信息“平方根非法-輸入值小于0”并返回0；庫函數(shù)Print-Line可以用來輸出錯誤信息。沈陽師范大學(xué)軟件學(xué)院82.2.1邊界值分析法解題可以考慮作出如下劃分：輸入(i)<0和(ii)>=0輸出(a)>=0和(b)Error測試用例有兩個：輸入4，輸出2。對應(yīng)于(ii)和(a)。輸入-10，輸出錯誤提示。對應(yīng)于(i)和(b)。沈陽師范大學(xué)軟件學(xué)院92.2.1邊界值分析法邊界值分析：劃分(ii)的邊界為0和最大正實數(shù)；劃分(i)的邊界為最小負(fù)實數(shù)和0；由此得到以下測試用例：輸入{最小負(fù)實數(shù)}輸入{絕對值很小的負(fù)數(shù)}輸入0

輸入{絕對值很小的正數(shù)}

輸入{最大正實數(shù)}沈陽師范大學(xué)軟件學(xué)院102.2.1邊界值分析法邊界值分析：通常字符情況下，軟件測試包含的邊界檢驗有幾種類型：數(shù)字位置、質(zhì)量、大小、速度、方位、尺寸、空間等相應(yīng)地，以上類型的邊界值應(yīng)該在：最大/最小、首位/末位、上/下、最快/最慢、最高/最低、最短/最長、空/滿等情況下。沈陽師范大學(xué)軟件學(xué)院112.2.1邊界值分析法邊界值分析：

在多數(shù)情況下，邊界值條件是基于應(yīng)用程序的功能設(shè)計而需要考慮的因素，可以從軟件的規(guī)格說明或常識中得到，也是最終用戶可以很容易發(fā)現(xiàn)問題的。然而，在測試用例設(shè)計過程中，某些邊界值條件是不需要呈現(xiàn)給用戶的，或者說用戶是很難注意到的，但同時確實屬于檢驗范疇內(nèi)的邊界條件，稱為內(nèi)部邊界值條件或子邊界值條件。沈陽師范大學(xué)軟件學(xué)院122.2.1邊界值分析法內(nèi)部邊界值條件主要有下面幾種：數(shù)值的邊界值檢驗字符的邊界值檢驗其它邊界值檢驗沈陽師范大學(xué)軟件學(xué)院132.2.1邊界值分析法數(shù)值的邊界值檢驗：

計算機是基于二進(jìn)制進(jìn)行工作的，因此，軟件的任何數(shù)值運算都有一定的范圍限制。沈陽師范大學(xué)軟件學(xué)院142.2.1邊界值分析法字符的邊界值檢驗：在字符的編碼方式中，ASCII和Unicode是比較常見的編碼方式，下面表中列出了部分的ASCII碼對應(yīng)表。沈陽師范大學(xué)軟件學(xué)院152.2.1邊界值分析法沈陽師范大學(xué)軟件學(xué)院16字符ASCII值字符ASCII值Null0B66Space32Z90/47[91048‘96149a97957b98:58y121@64z122A65{1232.2.1邊界值分析法其它邊界值檢驗：

包括默認(rèn)值/空值/空格/未輸入值/零、無效數(shù)據(jù)/不正確數(shù)據(jù)和干擾數(shù)據(jù)等。在實際的測試用例設(shè)計中，需要將基本的軟件設(shè)計要求和程序定義的要求結(jié)合起來，即結(jié)合基本邊界值條件和子邊界值條件來設(shè)計有效的測試用例。沈陽師范大學(xué)軟件學(xué)院172.2.1邊界值分析法邊界值測試方法：故障往往出現(xiàn)在輸入變量的邊界值附近。利用輸入變量的最小值(min) 略大于最小值(min+)、 輸入值域內(nèi)的任意值(nom)、 略小于最大值(max-)和 最大值(max)來設(shè)計測試用例。沈陽師范大學(xué)軟件學(xué)院182.2.1邊界值分析法邊界值測試方法：沈陽師范大學(xué)軟件學(xué)院19邊界值分析測試用例2.2.1邊界值分析法邊界值測試方法：

邊界值分析法是基于可靠性理論中稱為“單故障”的假設(shè)，即有兩個或兩個以上故障同時出現(xiàn)而導(dǎo)致軟件失效的情況很少，也就是說，軟件失效基本上是由單故障引起的。因此，在邊界值分析法中獲取測試用例的方法是：每次保留程序中一個變量，讓其余的變量取正常值，被保留的變量依次取min、min+、nom、max-和max。

對程序中的每個變量重復(fù)(1)。沈陽師范大學(xué)軟件學(xué)院202.2.1邊界值分析法例題：有二元函數(shù)f(x,y)，其中x∈[1,12]，y∈[1,31]。則采用邊界值分析法設(shè)計的測試用例是：

{<1,15>,<2,15>,<11,15>,<12,15>,<6,15>,<6,1>,<6,2>,<6,30>,<6,31>}推論：對于一個含有n個變量的程序，采用邊界值分析法測試程序會產(chǎn)生4n+1個測試用例。沈陽師范大學(xué)軟件學(xué)院212.2.1邊界值分析法練習(xí)：有函數(shù)f(x,y,z)，其中x∈[1900,2100]，y∈[1,12]，z∈[1,31]的。請寫出該函數(shù)采用邊界值分析法設(shè)計的測試用例。沈陽師范大學(xué)軟件學(xué)院222.2.1邊界值分析法解答：

<2000,6,1>,<2000,6,2>,<2000,6,30>,<2000,6,31>;<2000,1,15>,<2000,2,15>,<2000,11,15>,<2000,12,15>,

<1900,6,15>,<1901,6,15>,<2099,6,15>,<2100,6,15>,

<2000,6,15>沈陽師范大學(xué)軟件學(xué)院232.2.1邊界值分析法健壯性測試：

健壯性測試是作為邊界值分析的一個簡單的擴充，它除了對變量的5個邊界值分析取值外，還需要增加一個略大于最大值(max+)以及略小于最小值(min-)的取值，檢查超過極限值時系統(tǒng)的情況。因此，對于有n個變量的函數(shù)采用健壯性測試需要6n+1個測試用例。沈陽師范大學(xué)軟件學(xué)院242.2.1邊界值分析法健壯性測試：

沈陽師范大學(xué)軟件學(xué)院25健壯性邊界值測試用例2.2.2等價類分析法等價類產(chǎn)生的原因：基本思想：把程序的輸入域劃分成若干部分，然后從每個部分中選取少數(shù)代表性數(shù)據(jù)當(dāng)作測試用例，每一類的代表性數(shù)據(jù)在測試中的作用等價于這一類中的其它值。

沈陽師范大學(xué)軟件學(xué)院26劃分1234選擇代表元素輸入域互不相交的子集子集的并是整個集合完備性無冗余2.2.2等價類分析法等價類定義

由于不可能用所有可以輸入的數(shù)據(jù)來測試程序，而只能從全部可供輸入的數(shù)據(jù)中選擇一個自己進(jìn)行測試。如何選擇適當(dāng)?shù)淖蛹?，使其盡可能多地發(fā)現(xiàn)錯誤，解決的辦法之一就是等價類。沈陽師范大學(xué)軟件學(xué)院272.2.2等價類分析法劃分

等價類劃分法是一種典型的、重要的黑盒測試方法，它將程序所有可能的輸入數(shù)據(jù)（有效的和無效的）劃分成若干個等價類。然后從每個部分中選取具有代表性的數(shù)據(jù)當(dāng)做測試用例進(jìn)行合理的分類，測試用例由有效等價類和無效等價類的代表組成，從而保證測試用例具有完整性和代表性。沈陽師范大學(xué)軟件學(xué)院282.2.2等價類分析法等價類劃分的步驟通過分析需求規(guī)格說明，劃分等價類，列出等價類表設(shè)計測試用例沈陽師范大學(xué)軟件學(xué)院292.2.2等價類分析法有效等價類/無效等價類有效等價類：對于程序的規(guī)格說明而言，是合理的、有意義的輸入數(shù)據(jù)構(gòu)成的集合用于檢驗程序是否實現(xiàn)了規(guī)格說明預(yù)先規(guī)定的性能和性能無效等價類：對于程序的規(guī)格說明而言，是不合理的、無意義的輸入數(shù)據(jù)構(gòu)成的集合用于檢查程序中功能和性能的實現(xiàn)是否不符合規(guī)格說明要求沈陽師范大學(xué)軟件學(xué)院302.2.2等價類分析法例題

在程序的規(guī)格說明中，對輸入條件有一句話：“……項數(shù)可以從1到999……”有效等價類是“1≤項數(shù)≤999”兩個無效等價類是“項數(shù)＜1”或“項數(shù)＞999”。在數(shù)軸上表示成:沈陽師范大學(xué)軟件學(xué)院311999x有效等價類無效等價類無效等價類2.2.2等價類分析法測試用例的設(shè)計為每個等價類規(guī)定一個唯一的編號；設(shè)計一個新的測試用例，使之盡可能多地覆蓋尚未被覆蓋的有效等價類，重復(fù)這一步直至所有的有效等價類都被覆蓋為止；設(shè)計一個新的測試用例，使其僅覆蓋一個尚未被覆蓋的無效等價類，重復(fù)這一步直至所有的無效等價類都被覆蓋為止。沈陽師范大學(xué)軟件學(xué)院322.2.2等價類分析法例題

某報表處理系統(tǒng)要求用戶輸入處理報表的日期，日期限制在2001年1月至2005年12月，即系統(tǒng)只能對該段期間內(nèi)的報表進(jìn)行處理，如日期不在此范圍內(nèi)，則顯示輸入錯誤信息。系統(tǒng)日期規(guī)定由年、月的6位數(shù)字字符組成，前四位代表年，后兩位代表月。如何用等價類劃分法設(shè)計測試用例,來測試程序的日期檢查功能？沈陽師范大學(xué)軟件學(xué)院332.2.2等價類分析法解答第一步：等價類劃分

“報表日期”輸入條件的等價類表沈陽師范大學(xué)軟件學(xué)院342.2.2等價類分析法解答第二步：為有效等價類設(shè)計測試用例對表中編號為1,2,3的3個有效等價類用一個測試用例覆蓋：沈陽師范大學(xué)軟件學(xué)院352.2.2等價類分析法解答第三步：為每一個無效等價類設(shè)計至少一個測試用例沈陽師范大學(xué)軟件學(xué)院362.2.2等價類分析法習(xí)題一

某程序規(guī)定:“輸入三個整數(shù)作為三邊的邊長構(gòu)成三角形。當(dāng)此三角形為一般三角形、等腰三角形及等邊三角形時，分別做計算...”。試用等價類劃分方法為該程序的構(gòu)成三角形部分進(jìn)行測試用例設(shè)計。沈陽師范大學(xué)軟件學(xué)院37習(xí)題二某城市的電話號碼由三部分組成。這三部分的名稱和內(nèi)容分別是地區(qū)碼：空白或三位數(shù)字；前綴：非’0’或’1’開頭的三位數(shù)；后綴：四位數(shù)字。假定被調(diào)試的程序能接受一切符合上述規(guī)定的電話號碼，拒絕所有不符合規(guī)定的號碼，試用等價分類法來設(shè)計它的調(diào)試用例。沈陽師范大學(xué)軟件學(xué)院382.2.2等價類分析法習(xí)題使用等價類劃分方法必須仔細(xì)分析和推敲題目所給出的要求。本題的輸人條件要求的關(guān)鍵之處有：

1)整數(shù)；

2)三個數(shù)；

3)非零數(shù)；

4)正數(shù)；輸出條件要求的關(guān)鍵之處有：5)應(yīng)滿足兩邊長之和大于第三邊邊長；

6)等腰；

7)等邊；其中，3)、4)和5)并沒有在題目上明顯給出，但這些條件是必要的。

沈陽師范大學(xué)軟件學(xué)院392.2.2等價類分析法解答以下分兩步進(jìn)行:(1)列出等價類表(表中號碼為等價類編號)(2)列出覆蓋上述等價類的測試用例

沈陽師范大學(xué)軟件學(xué)院402.2.2等價類分析法解答列出等價類表

沈陽師范大學(xué)軟件學(xué)院41有效等價類無效等價類輸入?yún)?shù)個數(shù)3（1）>3（2）；<3（3）輸入?yún)?shù)類型整數(shù)（4）非整數(shù)（5）輸入?yún)?shù)范圍>0（6）<=0（7）是否構(gòu)成三角形兩邊之和大于第三邊（8）兩邊之和小于或等于第三邊（9）三角形類型等腰三角形（10）等邊三角形（11）三邊不等三角形（12）2.2.2等價類分析法解答設(shè)計測試用例覆蓋等價類

沈陽師范大學(xué)軟件學(xué)院42序號輸入?yún)?shù)覆蓋等價類12，3，4（1），（4），（6），（8），（12）23，3，4（1），（4），（6），（8），（10）33，3，3（1），（4），（6），（8），（11）42，3，4，5（2）52，3（3）62，3.5，4（5）76，0，6（7）85，1，6（9）2.2.3因果圖分析法因果法（Cause/EffectGraphing）簡介因果圖法產(chǎn)生的背景：等價類劃分法和邊界值分析方法都是著重考慮輸入條件，但沒有考慮輸入條件的各種組合、輸入條件之間的相互制約關(guān)系。這樣雖然各種輸入條件可能出錯的情況已經(jīng)測試到了，但多個輸入條件組合起來可能出錯的情況卻被忽視了。

沈陽師范大學(xué)軟件學(xué)院432.2.3因果圖分析法因果法（Cause/EffectGraphing）簡介如果在測試時必須考慮輸入條件的各種組合，則可能的組合數(shù)目將是天文數(shù)字因此必須考慮采用一種適合于描述多種條件的組合、相應(yīng)產(chǎn)生多個動作的形式來進(jìn)行測試用例的設(shè)計，這就需要利用因果圖（邏輯模型）。沈陽師范大學(xué)軟件學(xué)院442.2.3因果圖分析法因果法（Cause/EffectGraphing）簡介思想：一些程序的功能可以用判定表的形式來表示并根據(jù)輸入條件的組合情況規(guī)定相應(yīng)的操作為判定表中的每一列設(shè)計一個測試用例，測試程序在輸入條件的某種組合下的輸出是否正確

沈陽師范大學(xué)軟件學(xué)院452.2.3因果圖分析法因果法（Cause/EffectGraphing）簡介定義：是一種利用圖解法分析輸入的各種組合情況，從而設(shè)計測試用例的方法，它適合于檢查程序輸入條件的各種組合情況。因果圖法也是一種黑盒測試技術(shù)，但是不如等價類、邊界值那樣常用因果圖法比較適合輸入條件較多的情況，測試所有的輸入條件的排列組合

沈陽師范大學(xué)軟件學(xué)院462.2.3因果圖分析法案例獎金計算軟件：該軟件可以計算某公司的年終獎，該公司員工分為普通員工和管理人員；員工表現(xiàn)分為普通、優(yōu)秀和特殊貢獻(xiàn)（普通、優(yōu)秀員工都可以有特殊貢獻(xiàn)，不同組合所得工資是不同的）根據(jù)員工的分類和表現(xiàn)，將獎金分為1類獎金，2類獎金，......

沈陽師范大學(xué)軟件學(xué)院472.2.3因果圖分析法案例獎金計算軟件：使用該軟件時，輸入員工的種類和表現(xiàn)，就會輸出相應(yīng)的獎金類別。請為該軟件設(shè)計測試用例這道題概括比較籠統(tǒng)，不涉及具體細(xì)節(jié)，只是一個總體的框架。

沈陽師范大學(xué)軟件學(xué)院482.2.3因果圖分析法案例找到所有的輸入條件（原因）和輸出條件（結(jié)果），并為其編號：輸入條件員工類別：普通員工A1、管理人員A2員工表現(xiàn)：普通B1、優(yōu)秀B2、特殊貢獻(xiàn)B3輸出條件獎金類別：1類獎金C1、2類獎金C2......

沈陽師范大學(xué)軟件學(xué)院492.2.3因果圖分析法案例

分析輸入條件之間的關(guān)系，根據(jù)需求我們知道，A1和A2是互斥的（一個人不可能既是普通員工又是管理人員），B1和B2是互斥的（一個人不可能既表現(xiàn)普通又表現(xiàn)優(yōu)秀），B1和B3，B2和B3可以同時滿足。由此分析，我們可以列出所有的輸入條件排列組合：

沈陽師范大學(xué)軟件學(xué)院502.2.3因果圖分析法案例普通員工A1+B1C1A1+B2C2A1+B1+B3C3A1+B2+B3C4管理員工A2+B1

C5A2+B2C6A2+B1+B3C7A2+B2+B3C8

沈陽師范大學(xué)軟件學(xué)院512.2.3因果圖分析法因果圖的基本符號：簡單邏輯符號，直線連接左右節(jié)點通常情況下，左部的圓中寫原因，右部的圓中寫結(jié)果兩個圓中間以直線連接，連接線上再加符號表示因與果的不同關(guān)系ci表示原因；ei表示結(jié)果各結(jié)點表示狀態(tài)，可取值“0”或“1”?！?”表示某狀態(tài)不出現(xiàn)，“1”表示某狀態(tài)出現(xiàn)，有以下四種邏輯關(guān)系

沈陽師范大學(xué)軟件學(xué)院522.2.3因果圖分析法因果圖的基本符號：

沈陽師范大學(xué)軟件學(xué)院532.2.3因果圖分析法原因與原因之間，結(jié)果與結(jié)果之間可能存在的約束條件：

沈陽師范大學(xué)軟件學(xué)院54a,b,c原因至少有一個必須成立a,b原因中必須且僅有一個成立當(dāng)a出現(xiàn),b也必須出現(xiàn)當(dāng)a為1時，b必須為0，當(dāng)a為0時，b的值不定a,b原因不會同時成立，最多有一個成立2.2.3因果圖分析法因果圖法最終生成的是判定表。利用因果圖生成測試用例的基本步驟如下：

（1）分析軟件規(guī)格說明中哪些是原因（即輸入條件或輸入條件的等價類），哪些是結(jié)果（即輸出條件），并給每個原因和結(jié)果賦予一個標(biāo)識符。（2）分析軟件規(guī)格說明中的語義，找出原因與結(jié)果之間、原因與原因之間對應(yīng)的關(guān)系，根據(jù)這些關(guān)系畫出因果圖。沈陽師范大學(xué)軟件學(xué)院552.2.3因果圖分析法

（3）由于語法或環(huán)境的限制，有些原因與原因之間、原因與結(jié)果之間的組合情況不可能出現(xiàn)。為表明這些特殊情況，在因果圖上用一些記號表明約束或限制條件。（4）把因果圖轉(zhuǎn)換為決策表。（5）根據(jù)決策表中的每一列設(shè)計測試用例。沈陽師范大學(xué)軟件學(xué)院562.2.3因果圖分析法使用因果圖法的優(yōu)點：

（1）考慮到了輸入情況的各種組合以及各個輸入情況之間的相互制約關(guān)系。

（2）能夠幫助測試人員按照一定的步驟，高效率的開發(fā)測試用例。

（3）因果圖法是將自然語言規(guī)格說明轉(zhuǎn)化成形式語言規(guī)格說明的一種嚴(yán)格的方法，可以指出規(guī)格說明存在的不完整性和二義性。沈陽師范大學(xué)軟件學(xué)院572.2.3因果圖分析法因果圖法應(yīng)用

例子：某軟件規(guī)格說明要求：第一個字符必須是#或*第二個字符必須是一個數(shù)字，在此情況下進(jìn)行文件的修改如果第一個字符不是#或*，則給出信息N如果第二個字符不是數(shù)字，則給出信息M沈陽師范大學(xué)軟件學(xué)院582.2.3因果圖分析法例題分析：原因：c1—第一個字符是#c2—第一個字符是*c3—第二個字符是一個數(shù)字結(jié)果：e1—給出信息Ne2—修改文件e3—給出信息M沈陽師范大學(xué)軟件學(xué)院592.2.3因果圖分析法沈陽師范大學(xué)軟件學(xué)院60例題分析：

因果圖表示2.2.3因果圖分析法沈陽師范大學(xué)軟件學(xué)院61例題分析：

因果圖表示2.2.3因果圖分析法沈陽師范大學(xué)軟件學(xué)院62例題分析：

根據(jù)因果圖建立判定表2.2.3因果圖分析法沈陽師范大學(xué)軟件學(xué)院63練習(xí)：如圖所示,一個網(wǎng)絡(luò)登錄對話框用于向服務(wù)器進(jìn)行登錄操作2.2.3因果圖分析法沈陽師范大學(xué)軟件學(xué)院64說明:Username只能包含字母和數(shù)字Password可以包含任何字符兩者都不能為空如果兩者為空或不合法輸入,不執(zhí)行登錄并提示輸入錯誤信息如果兩者都不合法,則只提示Username的錯誤信息如果兩者輸入都合法,執(zhí)行登錄操作,并顯示從服務(wù)器可能返回的3種提示信息之一Username不存在Password錯誤登錄成功2.2.3因果圖分析法沈陽師范大學(xué)軟件學(xué)院65假設(shè)我們已經(jīng)對登錄對話框里限制了用戶名和密碼的最大長度,測試時可以不考慮超長字符串的情況.試為用戶名和密碼的各種組合設(shè)計測試用例.2.2.3因果圖分析法沈陽師范大學(xué)軟件學(xué)院66分析找出原因輸入的用戶名為空;輸入的用戶名包含非字母非數(shù)字字符;輸入的用戶名在服務(wù)器上存在;輸入的密碼為空;輸入錯誤的密碼;輸入正確的密碼.2.2.3因果圖分析法沈陽師范大學(xué)軟件學(xué)院67分析找出可能的結(jié)果不執(zhí)行登錄并提示用戶名不能為空;不執(zhí)行登錄并提示用戶名不能包含非字母非數(shù)字的非法字符;不執(zhí)行登錄并提示密碼不能為空;執(zhí)行登錄并提示用戶名在服務(wù)器上不存在;執(zhí)行登錄并提示密碼錯誤;執(zhí)行登錄并提示登錄成功.2.2.3因果圖分析法沈陽師范大學(xué)軟件學(xué)院68分析2.2.3因果圖分析法沈陽師范大學(xué)軟件學(xué)院69進(jìn)一步分析由畫出的因果圖,我們看到輸入間有約束關(guān)系C1,C2,C3之間是異的約束關(guān)系C4,C5,C6之間是唯一的約束關(guān)系統(tǒng)計最后幾種組合？轉(zhuǎn)化為判定表2.2.3因果圖分析法沈陽師范大學(xué)軟件學(xué)院70進(jìn)一步分析2.2.3因果圖分析法沈陽師范大學(xué)軟件學(xué)院71進(jìn)一步分析2.2.4決策表分析法沈陽師范大學(xué)軟件學(xué)院72因果圖法太麻煩，而且全冗余決策表是功能性測試方法中最嚴(yán)格的。決策表的完備性保證一種完備的測試2.2.4決策表分析法沈陽師范大學(xué)軟件學(xué)院73因果圖法太麻煩，而且全冗余12345678問題你覺得疲倦嗎？YYYYNNNN你對內(nèi)容感興趣嗎？YYNNYYNN書中的內(nèi)容使你糊涂？YNYNYNYN建議請回到本章開頭重讀××繼續(xù)讀下去××跳到下一章去讀××停止閱讀，請休息××ConditionStub：列出問題的所有條件ConditionEntry：針對左列條件取值，給出真假值A(chǔ)ctionStub：列出問題規(guī)定可能采取的行動ActionEntry：在條件組合下應(yīng)采取的行動規(guī)則2.2.4決策表分析法沈陽師范大學(xué)軟件學(xué)院74決策表的化簡12345678問題你覺得疲倦嗎？YYYYNNNN你對內(nèi)容感興趣嗎？YYNNYYNN書中的內(nèi)容使你糊涂嗎？YNYNYNYN建議請回到本章開頭重讀××繼續(xù)讀下去××跳到下一章去讀××停止閱讀，請休息××YN-×NN-×不關(guān)心條目不關(guān)心條目對完整決策樹的識別有微妙影響。2.2.4決策表分析法沈陽師范大學(xué)軟件學(xué)院75決策表的化簡有限條目決策表——所有條件都是二叉條件條件的順序沒有要求若有n個條件，必須有(2n)條規(guī)則，每條規(guī)則對應(yīng)一個測試用例。若存在不關(guān)心項，則規(guī)則中每出現(xiàn)一個不關(guān)心項，規(guī)則數(shù)乘1次2。通過增加行動，可顯示何時規(guī)則在邏輯上不可能滿足通過條件選擇，可大大擴展決策表的規(guī)模擴展條目決策表——條件可以有多個值若條件引用了等價類，則“—”的實際含義為：“必須失敗”2.2.4決策表分析法沈陽師范大學(xué)軟件學(xué)院76決策表組成：條件樁—列出問題的所有條件條件項—針對條件樁給出的條件列出所有可能的取值動作樁—列出問題規(guī)定的可能采取的操作動作項—指出在條件項的各組取值情況下應(yīng)采取的動作規(guī)則：任何一個條件組合的特定取值及其相應(yīng)要執(zhí)行的操作稱為規(guī)則2.2.4決策表分析法沈陽師范大學(xué)軟件學(xué)院77構(gòu)造決策表2.2.4決策表分析法沈陽師范大學(xué)軟件學(xué)院78構(gòu)造決策表（1）列出所有的條件樁和動作樁。

（2）確定規(guī)則的個數(shù)。

有n個條件的決策表有2n個規(guī)則（每個條件取真、假值）。

（3）填入條件項。

（4）填入動作項，得到初始決策表。

（5）簡化決策表，合并相似規(guī)則。2.2.4決策表分析法沈陽師范大學(xué)軟件學(xué)院79決策表應(yīng)用實例對功率大于100馬力的機器、維修記錄不全或已經(jīng)運行10年以上的機器，應(yīng)給予優(yōu)先的維修處理.2.2.4決策表分析法沈陽師范大學(xué)軟件學(xué)院80決策表應(yīng)用實例分析這里隱含的條件是什么?機器功率大小維修記錄運行時間對應(yīng)的可能動作是什么?優(yōu)先維修正常維修.——條件樁——動作樁2.2.4決策表分析法沈陽師范大學(xué)軟件學(xué)院81決策表應(yīng)用實例列出條件項每個條件的值分別取“是（1）”和“否（0）”組合條件項的值填上動作項根據(jù)組合條件項的值，填寫對應(yīng)的動作項形成初步判定表.2.2.4決策表分析法沈陽師范大學(xué)軟件學(xué)院82決策表應(yīng)用實例2.2.4決策表分析法沈陽師范大學(xué)軟件學(xué)院83化簡后決策表2.2.4決策表分析法沈陽師范大學(xué)軟件學(xué)院84化簡后決策表2.2.4決策表分析法沈陽師范大學(xué)軟件學(xué)院85練習(xí)三角形問題輸出的等價類R1={<a,b,c>|有三條邊a,b,c的等邊三角形}R2={<a,b,c>|有三條邊a,b,c的等腰三角形}R3={<a,b,c>|有三條邊a,b,c的不等邊三角形}R4={<a,b,c>|三條邊a,b,c不構(gòu)成三角形}能構(gòu)成三角形？三角形類型？2.2.4決