第2章 基于需求的測試生成

1、第2章 基于需求的測試生成 講解人：林青霞講解人：林青霞引言引言 設(shè)計測試輸入和相應(yīng)的預(yù)期輸出（即設(shè)計測試用例），是任何設(shè)計測試輸入和相應(yīng)的預(yù)期輸出（即設(shè)計測試用例），是任何測試機(jī)構(gòu)最基本的技術(shù)活動之一。常用的測試設(shè)計策略有：基測試機(jī)構(gòu)最基本的技術(shù)活動之一。常用的測試設(shè)計策略有：基于于需求需求的測試生成，基于的測試生成，基于模型模型的測試生成和基于的測試生成和基于代碼代碼的測試生的測試生成等成等。 軟件需求是設(shè)計測試的軟件需求是設(shè)計測試的基本出發(fā)點(diǎn)基本出發(fā)點(diǎn)，需求規(guī)范可以是非正式的，需求規(guī)范可以是非正式的規(guī)范、嚴(yán)格的規(guī)范或形式化的規(guī)范，也可以是這三種規(guī)范的混規(guī)范、嚴(yán)格的規(guī)范或形式化的規(guī)范，也可

2、以是這三種規(guī)范的混合體。需求規(guī)范的形式化程度越高，則越有機(jī)會進(jìn)行自動化測合體。需求規(guī)范的形式化程度越高，則越有機(jī)會進(jìn)行自動化測試。試。 軟件輸入域是測試設(shè)計的依據(jù)，可從非正式的和嚴(yán)格的需求規(guī)軟件輸入域是測試設(shè)計的依據(jù)，可從非正式的和嚴(yán)格的需求規(guī)范中提取出來。范中提取出來。2.2 2.2 測試用例選擇問題測試用例選擇問題 關(guān)鍵關(guān)鍵：如何構(gòu)造測試用例集合，使得該集合能夠盡可能多地發(fā)現(xiàn)軟件中存在的缺陷。 軟件輸入域：軟件輸入域：指軟件在執(zhí)行過程中可能接收的全部合法輸入的集合。 窮舉測試：窮舉測試：指測試人員逐個地使用輸入域中的所有元素對軟件實施測試。 例：例：1.y=x+3 xZ，x1,12 2.y

3、=x+3 x1,12基于需求的測試用例選擇方法基于需求的測試用例選擇方法等價類劃分等價類劃分邊界值分析邊界值分析類別劃分法類別劃分法因果因果圖分析圖分析基于謂詞的測試生成基于謂詞的測試生成2.3 2.3 等價類劃分等價類劃分 對輸入范圍進(jìn)行劃分，把所有可能的輸入數(shù)據(jù)，即程序輸入域劃分為若干個互不相交的子集，稱為等價類，然后從每個等價類中選取少數(shù)具有代表性的數(shù)據(jù)作為測試用例。 一個軟件的全部輸入的集合至少分成兩個子集：一個包含所有正常和合法的輸入(E)；另一個包含所有異常和非法輸入(U)。這兩個集合可進(jìn)一步劃分為若干子集。 概括: (1)交集為空 (2)并集為全集 (3)分為有效等價類和無效等價

4、類2.3.2 2.3.2 關(guān)系與等價類的劃分關(guān)系與等價類的劃分 關(guān)系：關(guān)系：一個n元組的集合。 例：方法addList計算并返回一個整數(shù)列表之和，其對應(yīng)的關(guān)系可定義為：addList：LZ 其中，L是包含所有整數(shù)列表的集合，Z是整數(shù)集。 在劃分輸入域時，常常采用下面的關(guān)系：R：II， 其中，I為輸入域，R為I上的關(guān)系，R定義了一個等價類，該等價類是I的子集。 例例2.3 方法gprice以食品名稱作為輸入，查詢商品價格數(shù)據(jù)庫并返回相應(yīng)食品的單價（等價類pF）；若無該食品，則返回錯誤信息（等價類pNF）。pF和pNF都是gprice輸入域I的子集，同時，二者形成了對輸入域I的一個劃分，有pFUp

5、NF=I和pFpNF=。2.3.2 2.3.2 關(guān)系與等價類的劃分關(guān)系與等價類的劃分 例例2.3 方法gprice以食品名稱作為輸入，查詢商品價格數(shù)據(jù)庫并返回相應(yīng)食品的單價（等價類pF）；若無該食品，則返回錯誤信息（等價類pNF）。pF和pNF都是gprice輸入域I的子集，同時，二者形成了對輸入域I的一個劃分，有pFUpNF=I和pFpNF=。商品單價milk2.99tomato0.99cola3.992.3.3 2.3.3 變量的等價類變量的等價類類別類別等價類等價類示例示例約束約束等價類代表等價類代表取值范圍取值范圍(range)一個取值范圍內(nèi)的等價類；兩個取值范圍外的等價類speed6

6、0,90)age：int；0age12050，75，100 -10，75，130字符串字符串(string)合法字符串的類和非法字符串的類fname：string；，Sue，Sue2，Too Long a name枚舉枚舉(enumeration)每個取值對應(yīng)一個等價類auto_colorred,blue,greenup:boolenred，blue，greentrue，false數(shù)組數(shù)組(array)合法數(shù)組等價類，空數(shù)組等價類和大于期望長度數(shù)組的等價類Java array：int aName=new int 3 ，-10,20，-9,0,12,15復(fù)合數(shù)據(jù)類型復(fù)合數(shù)據(jù)類型(compound

7、 data type)：包含兩個或兩個以上相互獨(dú)立的屬性的輸入數(shù)據(jù)2.3.4 2.3.4 一一元劃分和多元劃分元劃分和多元劃分 一元化分：一元化分：每次只考慮一個輸入變量，每個輸入變量形成對輸入域的一個劃分。 多元化分：多元化分：將所有輸入變量的笛卡爾積視為程序的輸入域I，并定義I上的關(guān)系R。 例 假設(shè)某軟件的輸入為整型數(shù)據(jù)x和y，其取值范圍為3x7和5y9。采用一元化分，可產(chǎn)生6個等價類： E1：x7 E4：y9 若將x和y的笛卡爾積視為軟件的輸入域，可產(chǎn)生9個等價類： E1：x3，y5 E2：x3，5y9 E3：x9 E4：3x7，y9 E7：x7，y7，5y9 E9： x7，y9 采用多

8、元化分方法得到的測試用例，往往比采用一元化分方法得到的測試用例更能充分地測試被測軟件，但其等價類數(shù)量會隨輸入變量個數(shù)的增加而成指數(shù)增長。2.3.5 2.3.5 等價類劃分的完整過程等價類劃分的完整過程 步驟步驟1 確定輸入域確定輸入域 認(rèn)真分析需求并確定所有輸入、輸出變量，以及變量類型和變量使用條件。 步驟步驟2 等價類劃分等價類劃分 將每個變量的取值集合劃分為互不相交的子集，則每個子集對應(yīng)一個等價類，所有等價類構(gòu)成了對輸入域的一個劃分。 步驟步驟3 組合等價類組合等價類 可采用多元化分方法，將等價類組合起來。(也可忽略該步驟：直接根據(jù)那些為單個變量定義的等價類選擇測試用例，但可能無法獲得高效

9、的測試用例。) 步驟步驟4 確定不可測的等價類確定不可測的等價類 有些輸入數(shù)據(jù)組合在實際測試過程中是無法生成的，包含這種數(shù)據(jù)的等價類就是不可測等價類。2.3.6 2.3.6 等價類劃分實例等價類劃分實例例例 NextDateNextDate（Y Y，M M，D D），），Y1900,2100 M1,12 D1,31Y1900,2100 M1,12 D1,31(1)d+(1)d+(2)m+,d=1(2)m+,d=1(3)y+,m=1,d=1(3)y+,m=1,d=1有效等價類有效等價類y y： 平年平年 ， 閏年閏年 m m：22，1212，1,3,5,7,8,101,3,5,7,8,10，4,

10、6,9,114,6,9,11d d：1,21,2，2727，2828，2929，3030，3131無效等價類無效等價類y y：yy1900 ，yy2100 ， 小數(shù)小數(shù) m m：mm1 ，mm12 ， 小數(shù)小數(shù) d d：dd1 ，dd31 ， 小數(shù)小數(shù) 弱一般等價類測試弱一般等價類測試強(qiáng)一般等價類測試強(qiáng)一般等價類測試弱健壯等價類測試弱健壯等價類測試強(qiáng)健壯等價類測試強(qiáng)健壯等價類測試2.3.7 GUI2.3.7 GUI設(shè)計與等價類設(shè)計與等價類 GUI（Graphical User Interface，圖形用戶接口）是指采用圖形方式顯示的計算機(jī)操作用戶界面。與早期計算機(jī)使用的命令行界面相比，圖形界面

11、對于用戶來說在視覺上更易于接受，操作更加簡便。 精心的GUI設(shè)計能實現(xiàn)對輸入域的限制，通常存在兩種GUI：一種能夠阻止所有的變量接受非法輸入；另一種允許部分變量接受非法輸入。設(shè)計測試用例時必須考慮GUI的具體實現(xiàn)，合理的GUI設(shè)計可以大大降低測試用例的數(shù)量。2.4 2.4 邊界值分析邊界值分析 邊界值分析是一種有效的測試用例選擇方法，可以發(fā)現(xiàn)位于等價類邊界處的軟件缺陷。通常在設(shè)計測試用例時，同時采用邊界值分析和等價類劃分兩種方法。其生成測試用例的主要步驟如下： 步驟步驟1 使用一元劃分方法劃分輸入域。 步驟步驟2 為每種劃分確定邊界，也可利用輸入變量之間的特定關(guān)系確定邊界。 步驟步驟3 設(shè)計測

12、試用例，確保每個邊界值至少出現(xiàn)在一個測試輸入數(shù)據(jù)中。 注意：注意：確定邊界時需要仔細(xì)考慮個輸入變量之間的關(guān)系，進(jìn)而找出不明顯的邊界；使用單個變量等價類的笛卡爾積所構(gòu)成的輸入域劃分，將獲得更多的測試用例。（min-,min,min+,nom,max-,max,max+）2.5 2.5 類別劃分法類別劃分法 類別劃分法是一種從軟件需求生成測試用例的系統(tǒng)化方法，包含手工和自動完成的步驟。其步驟如下： 步驟步驟1 分析功能規(guī)范分析功能規(guī)范 確定所有能夠獨(dú)立測試的功能模塊，對于大的軟件系統(tǒng)而言，功能模塊可能對應(yīng)于可獨(dú)立測試的各個子系統(tǒng)，而子系統(tǒng)又可以進(jìn)一步分為可獨(dú)立測試的子模塊。 步驟步驟2 確定類別確

13、定類別 對各被測模塊的功能規(guī)范進(jìn)行分析，確定相應(yīng)的輸入、環(huán)境中的對象以及各個參數(shù)和環(huán)境對象的特征。2.5 2.5 類別劃分法類別劃分法 步驟步驟3 類別劃分類別劃分 根據(jù)每個類別中各不同情況，對功能模塊進(jìn)行測試 。 步驟步驟4 確定約束條件確定約束條件 對某功能模塊的測試 ，包括對該模塊各參數(shù)、環(huán)境對象所有選項的組合的測試。由于輸入?yún)?shù)間必須滿足某些約束條件，因此有一部分的選項組合是無法實現(xiàn)的。 步驟步驟5 編編(重重)寫測試規(guī)范寫測試規(guī)范 采用具有嚴(yán)格語法的測試規(guī)范語言編寫測試規(guī)范。 步驟步驟6 處理測試規(guī)范處理測試規(guī)范 對測試生成的若干個測試框架進(jìn)行分析，找出框架中以相同方式測試被測軟件的

14、冗余內(nèi)容。2.5 2.5 類別劃分法類別劃分法 步驟步驟7 評價生成器的輸出評價生成器的輸出 檢查步驟6所生成的各測試框架中是否包含冗余用例以及是否缺少某些用例，進(jìn)而轉(zhuǎn)入步驟5。 步驟步驟8 生成測試腳本生成測試腳本 從測試框架產(chǎn)生的測試用例要被組合成測試腳本（即一組測試用例），通常將環(huán)境設(shè)置相同的測試用例編為一組，這樣可以提高測試驅(qū)動器執(zhí)行測試用例的效率。2.6 2.6 因果圖分析因果圖分析 等價類劃分法和邊界值分析方法都是著重考慮輸入條件，如果程序輸入之間沒有什么聯(lián)系，采用等價類劃分和邊界值分析是一種比較有效的方法。 但如果輸入之間有關(guān)系，例如，約束關(guān)系、組合關(guān)系，這種關(guān)系用等價類劃分和邊

15、界值分析是很難描述的，測試效果難以保障。因此必須考慮使用一種，因果圖正是在此背景下提出的。2.6 2.6 因果圖分析因果圖分析 因果圖也稱作依賴關(guān)系模型，主要用于描述軟件輸入條件（即“原因”）與軟件輸出條件（即“結(jié)果”）之間的依賴關(guān)系?！霸颉笔侵杠浖枨笾心苡绊戃浖敵龅娜我廨斎霔l件；“結(jié)果”是指軟件對某些輸入條件的組合所做出的響應(yīng)。 利用因果圖方法生成測試用例的一般過程為： 1）仔細(xì)研讀軟件需求規(guī)范，確定原因和結(jié)果，并賦予唯一的標(biāo)識。 2）用因果圖描述原因與結(jié)果之間的依賴關(guān)系。 3）將因果圖轉(zhuǎn)換為一個有限入口的判定表。 4）根據(jù)判定表生成測試用例。2.6.1 2.6.1 因果圖中的基本符號

16、因果圖中的基本符號 因果關(guān)系（實線 原因在左，結(jié)果在右）恒等 非或與2.6.1 2.6.1 因果圖中的基本符號因果圖中的基本符號 原因之間的約束關(guān)系（虛線）互斥E包含I唯一OR要求M屏蔽2.6.2 2.6.2 創(chuàng)建因果圖創(chuàng)建因果圖 創(chuàng)建因果圖的兩個步驟： 1.確定哪些是原因，哪些是結(jié)果，明確因果關(guān)系和約束關(guān)系。 2.構(gòu)造因果圖，表達(dá)提取到的依賴關(guān)系。 例：某個軟件的規(guī)格說明中包含這樣的要求： “第一列字符必須是A或B，第二列字符必須是一個數(shù)字，在此情況下進(jìn)行文件的修改。但如果第一列字符不正確，則給出信息L；如果第二列字符不是數(shù)字，則給出信息M。2.6.2 2.6.2 因果圖實例因果圖實例 例：

17、某個軟件的規(guī)格說明中包含這樣的要求： “第一列字符必須是A或B，第二列字符必須是一個數(shù)字，在此情況下進(jìn)行文件的修改。但如果第一列字符不正確，則給出信息L；如果第二列字符不是數(shù)字，則給出信息M。原因：原因： 1第一列字符是A; 2第一列字符是B; 3第二列字符是數(shù)字。結(jié)果：結(jié)果： 21修改文件; 22給出信息L; 23給出信息M。 1 1 2 2 1111 3 3 2323 2121 2222 E E2.6.3 2.6.3 從因果圖生成判定表從因果圖生成判定表 在所有的黑盒測試方法中，基于判定表的測試是最嚴(yán)格，最具有邏輯性的測試方法。 判定表判定表是把作為條件的所有輸入的各種組合值以及對應(yīng)輸出值

18、都羅列出來而形成的表格。它能夠?qū)?fù)雜的問題按照各種可能的情況全部列舉出來，簡明并避免遺漏。因此，利用判定表能夠設(shè)計出完整的測利用判定表能夠設(shè)計出完整的測試用例試用例集合。集合。2.6.3 2.6.3 從因果圖生成判定表實例從因果圖生成判定表實例 例：某個軟件的規(guī)格說明中包含這樣的要求： “第一列字符必須是A或B，第二列字符必須是 一個數(shù)字，在此情況下進(jìn)行文件的修改。但如果第一列字符不正確，則給出信息L；如果第二列字符不是數(shù)字，則給出信息M。樁123456781TTTTFFFF2TTFFTTFF3TFTFTFTF21-xx22-xx23-xxx2.6.3.1 2.6.3.1 判定表組成判定表組成

19、判定表通常由4個部分組成： 條件條件樁：樁：列出了問題的所有條件。通常認(rèn)為列出的條件的次序無關(guān)緊要。 動作動作樁：樁：列出了問題規(guī)定可能采取的操作。這些操作的排列順序，沒有約束。 條件條件項：項：列出針對它左列條件的取值，在所有可能情況下的真假值。 動作動作項：項：列出在條件項的各種取值情況下應(yīng)該采取的動作。 規(guī)則規(guī)則：任何一個條件組合的特定取值及相應(yīng)要執(zhí)行的操作。在判定表中貫穿條件項和動作項的一列就是一條規(guī)則。2.6.3.2 2.6.3.2 判定表的生成步驟判定表的生成步驟 (1)確定規(guī)則的個數(shù)。有n個條件的決策表有2n個規(guī)則（每個條件取真、假值）。 (2)列出所有的條件樁和動作樁。 (3)

20、填入條件項。 (4)填入動作項，得到初始判定表。 (5)簡化判定表，合并相似規(guī)則。若表中有兩條以上規(guī)則具有相同的動作，并且在條件項之間存在極為相似的關(guān)系，便可以合并。合并后的條件項用符號“-”表示，說明執(zhí)行的動作與該條件的取值無關(guān)，稱為無關(guān)條件。樁123456781TTTTFFFF2TTFFTTFF3TFTFTFTF21-xx22-xx23-xxx樁12345671TTTFFFF2TFFTTFF3-TFTFTF21-xx22-xx23-xxx2.7 2.7 基于謂詞的測試生成基于謂詞的測試生成 規(guī)則可以形式化地表示為謂詞。例如，考慮軟件需求“若打印機(jī)處于ON狀態(tài)且具備打印紙，則發(fā)送要打印的文件

21、”。這句話包含一個條件和一個動作。下面的謂詞，記為pr，表示這句話的條件部分： 謂詞pr包含兩個由布爾運(yùn)算符“”連接的關(guān)系表達(dá)式。兩個關(guān)系表達(dá)式都使用了等于符號（=）。編程人員可能正確地為pr編碼，也可能沒有正確編碼，導(dǎo)致程序中存在缺陷。我們的目標(biāo)是，根據(jù)謂詞產(chǎn)生測試用例，從而可以確保在測試中發(fā)現(xiàn)某種類型的所有缺陷。這種用于驗證謂詞實現(xiàn)是否正確的測試稱之為謂詞測試。2.7.1 2.7.1 謂詞與布爾表達(dá)式謂詞與布爾表達(dá)式 設(shè)relop表示集合，=，中的一個關(guān)系運(yùn)算符。設(shè)bop表示集合，中的一個布爾運(yùn)算符，其中，是二元布爾運(yùn)算符，是一元布爾運(yùn)算符。布爾變量的取值集合為true，false，對于給

22、定的布爾變量a，a和a都表示a的補(bǔ)。 關(guān)系表達(dá)式是指形如e1 relop e2的表達(dá)式，其中e1和e2取值為有限或無限集合S。可將S中的元素進(jìn)行排序，從而可以使用任意關(guān)系運(yùn)算符對e2和e1進(jìn)行比較。 一個條件可以表示成簡單謂詞或復(fù)合謂詞。簡單謂詞簡單謂詞就是一個布爾變量或關(guān)系表達(dá)式，其中變量可以取非。復(fù)合謂詞復(fù)合謂詞可以是一簡單謂詞，或是由若干簡單謂詞或其補(bǔ)通過二元布爾運(yùn)算符連接起來的一個表達(dá)式。謂詞當(dāng)中的圓括號表示布爾變量、關(guān)系表達(dá)式組合。2.7.1 2.7.1 謂詞與布爾表達(dá)式謂詞與布爾表達(dá)式2.7.1 2.7.1 謂詞與布爾表達(dá)式謂詞與布爾表達(dá)式 布爾表達(dá)式可以表示為抽象語法樹抽象語法樹

23、，如圖2-17所示。將謂詞pr的抽象語法樹記為AST(pr)。AST(pr)的每個葉結(jié)點(diǎn)代表一個布爾變量或一個關(guān)系表達(dá)式；AST(pr)的內(nèi)部結(jié)點(diǎn)是布爾運(yùn)算符，比如、，分別被稱作AND結(jié)點(diǎn)、OR結(jié)點(diǎn)、XOR結(jié)點(diǎn)、NOT結(jié)點(diǎn)。2.7.2 2.7.2 謂詞測試中的故障模型謂詞測試中的故障模型 本章論述的謂詞測試，重點(diǎn)關(guān)注三類故障：布爾運(yùn)算符故障布爾運(yùn)算符故障、關(guān)系關(guān)系運(yùn)算符故障運(yùn)算符故障、算術(shù)表達(dá)式故障算術(shù)表達(dá)式故障。引起布爾運(yùn)算符故障的原因在于： 1)使用了錯誤的布爾運(yùn)算符； 2)漏用或誤用非運(yùn)算符； 3)圓括號使用錯誤； 4)布爾變量使用錯誤。 當(dāng)錯誤地使用關(guān)系運(yùn)算符時將導(dǎo)致關(guān)系運(yùn)算符故障。當(dāng)

24、算術(shù)表達(dá)式的結(jié)果值產(chǎn)生數(shù)量為的偏差時（off-by-）就會出現(xiàn)算術(shù)表達(dá)式故障。 給定謂詞pr和測試用例t，用縮寫p(t)表示謂詞pr針對t所取的真值。例如，若pr為as且t為a=1,b=2,r=0,s=4，則p(t)=false。下面舉例說明上述的各種故障。2.7.2 2.7.2 謂詞測試中的故障模型謂詞測試中的故障模型 布爾運(yùn)算符故障設(shè)軟件需求規(guī)范要求當(dāng)（ad）e為真時軟件執(zhí)行某動作。其中，a、b、c、d為整型變量，e為布爾變量。下面列出4個錯誤編碼，分別包含不同的布爾運(yùn)算符故障：（ad）e 布爾運(yùn)算符錯誤（ad）e 非運(yùn)算符錯誤（ad）e 布爾運(yùn)算符錯誤（ad）f 布爾變量錯誤（使用了f，

25、而不是e） 關(guān)系運(yùn)算符故障關(guān)系運(yùn)算符故障示例如下：（a=b）（cd）e 關(guān)系運(yùn)算符錯誤（使用了=，而不是d）e 關(guān)系運(yùn)算符錯誤與布爾運(yùn)算符錯誤2.7.2 2.7.2 謂詞測試中的故障模型謂詞測試中的故障模型 算術(shù)表達(dá)式故障考慮三種算術(shù)表達(dá)式的off-by-故障，分別為：off-by-、off-by-*、off-by-+。 考慮正確關(guān)系表達(dá)式Ec，其形式為e1 relop1 e2；考慮錯誤的關(guān)系表達(dá)式Ei，其形式e3 relop2 e4；假設(shè)算術(shù)表達(dá)式e1、e2、e3、e4包含相同的變量集合。三種off-by-故障定義類型如下： Ei包含off-by-故障，如果對于任何測試用例e1=e2，有|e

26、3-e4|= 。 Ei包含off-by-*故障，如果對于任何測試用例e1=e2 ，有|e3-e4| 。 Ei包含off-by-+故障，如果對于任何測試用例e1=e2 ，有|e3-e4|。2.7.2 2.7.2 謂詞測試中的故障模型謂詞測試中的故障模型 算術(shù)表達(dá)式故障考慮三種算術(shù)表達(dá)式的off-by-故障，分別為：off-by-、off-by-*、off-by-+。 例：假設(shè)正確的謂詞Ec為ab+c，其中a、b為整型變量。設(shè)=1，則Ei的三種錯誤故障分別如下： ab 假設(shè)c=1，Ei包含off-by-1故障，因為對于任何測試用例 a=b+c，有|a-b|1。 ab+1 假設(shè)c2，Ei包含off-

27、by-1*故障，因為對于任何測試用例a=b+c，有|a-(b+1)|1。 ab-1 假設(shè)c0，Ei包含off-by-1+故障，因為對于任何測試用例a=b+c，有|a-(b+1)|1。 還存在另外兩類故障：缺失/冗余布爾變量故障2.7.3 2.7.3 謂詞約束謂詞約束 用BR表示符號集合t，f，+，-?！癇R”是布爾和關(guān)系（Boolean and Relational）的縮寫。集合BR中的元素稱為BR符號。 一個BR符號定義了針對某個布爾變量或關(guān)系表達(dá)式的約束。例如，用符號“+”約束表達(dá)式E：e1e2時，要滿足該約束就要求E的某個測試用例確保0e1-e2。同樣， 符號“-”是對E的另一個約束，要滿足該約束就要求E的某個測試用例確保-e1-e2bbd的約束（，），要求簡單謂詞ab和bd都為真。但是，如果da為真的話，則該約束無效。 謂詞pr上的約束C可有效指導(dǎo)測試集的設(shè)計，為pr變量取值的選取提供清晰的線索。2.7.4 2.7.4 謂詞測試準(zhǔn)則謂詞測試準(zhǔn)則 我們最關(guān)心的是如何從給定的謂詞pr生成測試集T，使其滿足：(a) T是最小集合；(b) T保證能夠檢測出pr實現(xiàn)中存在的符合前文所述故障模型的所有故障。為了獲得這樣的測試集，定義了三個準(zhǔn)則，通常稱作BOR、BRO、BRE測試準(zhǔn)則。名稱BOR、BRO、BRE分別對應(yīng)于布爾運(yùn)算符、布爾和關(guān)系運(yùn)算符、布爾和關(guān)系表達(dá)式。定義