由于昨天的網(wǎng)絡(luò)問(wèn)題，一直沒(méi)有上博客發(fā)言。今天把昨天的補(bǔ)充上。
判定樹(shù)是判定表的變種，也能清晰地表示復(fù)雜的條件組合與應(yīng)做的動(dòng)作之間的對(duì)應(yīng)關(guān)系。判定書(shū)樹(shù)的優(yōu)點(diǎn)在于，它的形式簡(jiǎn)單到不需任何說(shuō)明，一眼就可以看出其含義，因此易于掌握和使用。
結(jié)構(gòu)化的最后一部份就是實(shí)現(xiàn)了，通常把編碼和測(cè)試成為實(shí)現(xiàn)。在測(cè)試中分黑盒測(cè)試和白盒測(cè)試。如果已經(jīng)知道了產(chǎn)品應(yīng)該具有的功能，可以通過(guò)測(cè)試來(lái)檢查是否每個(gè)功能都能正常使用；如果知道產(chǎn)品內(nèi)部工作過(guò)程，可以通過(guò)測(cè)試來(lái)檢驗(yàn)產(chǎn)品內(nèi)部動(dòng)作是否按照規(guī)格說(shuō)明書(shū)的規(guī)定正常進(jìn)行。前一個(gè)方法稱(chēng)為黑盒測(cè)試，后一個(gè)方法稱(chēng)為白盒測(cè)試。另外測(cè)試的時(shí)候還要遵守測(cè)試準(zhǔn)則：
l???????? 所有的測(cè)試都應(yīng)該能追溯到用戶(hù)需求。
l???????? 應(yīng)該在測(cè)試開(kāi)始之前的相當(dāng)長(zhǎng)時(shí)間，就制定出測(cè)試計(jì)劃。
l???????? 把Pareto原理應(yīng)用和軟件測(cè)試。
l???????? 測(cè)試應(yīng)該從“小規(guī)?！遍_(kāi)始，并逐步進(jìn)行“大規(guī)?！睖y(cè)試。
l???????? 窮舉測(cè)試是不可能的。
l???????? 為了達(dá)到最佳的測(cè)試效果，應(yīng)該由獨(dú)立的第三方來(lái)從事測(cè)試工作。
在設(shè)計(jì)測(cè)試方案時(shí)，往往需要仔細(xì)分析程序的控制流。為了突出表示程序的控制流，可以使用流圖。流圖僅僅描繪程序的控制流程，它完全不表現(xiàn)對(duì)數(shù)據(jù)的具體操作揖及分支或循環(huán)的具體條件。在流圖中用圓表示節(jié)點(diǎn)，一個(gè)圓代表一條或多條語(yǔ)句。程序流程圖中的一個(gè)處理框序列和一個(gè)菱形判定框，可以映射成流圖中的一個(gè)節(jié)點(diǎn)。流圖中的箭頭線(xiàn)稱(chēng)為邊，它和程序流程圖中的箭頭線(xiàn)類(lèi)似，代表控制流。在流圖中一條邊必須終止于一個(gè)節(jié)點(diǎn)，即使這個(gè)節(jié)點(diǎn)并不代表任何語(yǔ)句。由邊和節(jié)點(diǎn)圍成的面積稱(chēng)為區(qū)域，當(dāng)計(jì)算區(qū)域數(shù)時(shí)應(yīng)該包括圖外部未被圍起來(lái)的那個(gè)區(qū)域。
邏輯覆蓋式設(shè)計(jì)白盒測(cè)試方案的一種技術(shù)。設(shè)計(jì)測(cè)試方案時(shí)測(cè)試階段的關(guān)鍵技術(shù)問(wèn)題。所謂測(cè)試方案包括具體的測(cè)試目的，應(yīng)該輸入的測(cè)試數(shù)據(jù)和預(yù)期的輸出結(jié)果。通常又把測(cè)試數(shù)據(jù)和預(yù)期的輸出結(jié)果稱(chēng)為測(cè)試用例。覆蓋標(biāo)準(zhǔn)大概有以下幾種：語(yǔ)句覆蓋、判定覆蓋、條件覆蓋、判定/條件覆蓋、條件組合覆蓋。語(yǔ)句覆蓋式含義是，選擇足夠多的測(cè)試數(shù)據(jù)，使被測(cè)試程序中每個(gè)語(yǔ)句至少執(zhí)行一次。判定覆蓋又叫分支覆蓋，它的含義是，不僅每個(gè)語(yǔ)句必須至少執(zhí)行一次，也就是每個(gè)判定的每個(gè)分支都至少執(zhí)行一次。條件覆蓋的含義是，不僅每個(gè)語(yǔ)句至少執(zhí)行一次，而且使判定表達(dá)式中每個(gè)條件都取到各種可能的結(jié)果。既然判定覆蓋不一定包含條件覆蓋，條件覆蓋也不一定包含判定覆蓋，自然會(huì)提出一種能同時(shí)滿(mǎn)足這兩種覆蓋標(biāo)準(zhǔn)的邏輯覆蓋，這就是判定/條件覆蓋。它的含義是，選取足夠多的測(cè)試詩(shī)句，使得判定表達(dá)式中的每個(gè)條件都取到各種可能的值，而且每個(gè)判定表達(dá)式也都取到各種可能的結(jié)果。條件組合覆蓋式更強(qiáng)的邏輯覆蓋標(biāo)準(zhǔn)，它要求選區(qū)足夠多的測(cè)試數(shù)據(jù)，使得每個(gè)判定表達(dá)式中條件的各種可能組合都至少出現(xiàn)一次。
基本路徑測(cè)試是一種白盒測(cè)試技術(shù)，它的步驟如下：
l???????? 根據(jù)過(guò)程設(shè)計(jì)結(jié)果畫(huà)出相應(yīng)的流圖
l???????? 計(jì)算流圖的環(huán)形復(fù)雜度
l???????? 確定線(xiàn)性獨(dú)立路徑的基本集合
l???????? 設(shè)計(jì)可強(qiáng)制執(zhí)行基本集合中每條路徑的測(cè)試用例
結(jié)構(gòu)化部分介紹完了，下面開(kāi)始介紹面相對(duì)象的設(shè)計(jì)。通常需要建立三種形式的模型，它們分別是描述系統(tǒng)數(shù)據(jù)結(jié)構(gòu)的對(duì)象模型，描述系統(tǒng)控制結(jié)構(gòu)的動(dòng)態(tài)模型和描述系統(tǒng)功能的功能模型。對(duì)象模型表示靜態(tài)的、結(jié)構(gòu)化的系統(tǒng)的“數(shù)據(jù)”性質(zhì)。它是對(duì)模擬客觀世界實(shí)體的對(duì)象以及對(duì)象彼此間的關(guān)系的映射，描述了系統(tǒng)的靜態(tài)結(jié)構(gòu)。面向?qū)ο蠓椒◤?qiáng)調(diào)圍繞對(duì)象而不是圍繞功能來(lái)構(gòu)造系統(tǒng)。對(duì)象模型為建立動(dòng)態(tài)模型和功能模型，提供了實(shí)質(zhì)性的框架。
動(dòng)態(tài)模型表示瞬時(shí)的、行為化的系統(tǒng)的“控制”性質(zhì)，它規(guī)定了對(duì)象模型中的對(duì)象的合法變化序列。功能模型表示變化的系統(tǒng)的“功能”性質(zhì)，它指明了系統(tǒng)應(yīng)該“做什么”，因此更直接地反映了用戶(hù)對(duì)目標(biāo)系統(tǒng)的需求。