第02章-因果圖法電子版本

因果(yīnguǒ)圖法第一頁(yè)，共64頁(yè)。學(xué)習(xí)(xuéxí)目標(biāo)什么是因果圖？因果圖的組成（關(guān)系和約束）因果圖法(túfǎ)設(shè)計(jì)測(cè)試用例的步驟因果圖與判定表的關(guān)系第二頁(yè)，共64頁(yè)。引言(yǐnyán)等價(jià)類劃分方法和邊界值分析方法，都是著重考慮輸入條件，但未考慮輸入條件之間的組合、輸入條件之間的相互制約關(guān)系。這樣雖然各種輸入條件可能出錯(cuò)(chūcuò)的情況都已經(jīng)測(cè)試到了，但多個(gè)輸入條件組合起來(lái)可能出錯(cuò)(chūcuò)的情況卻被忽視了。但要檢查輸入條件的組合不是一件容易的事情，即使把所有輸入條件劃分成等價(jià)類，他們之間的組合情況也相當(dāng)多。因此必須考慮采用一種適合于描述對(duì)于多種條件的組合，相應(yīng)產(chǎn)生多個(gè)動(dòng)作的形式來(lái)考慮設(shè)計(jì)測(cè)試用例。這就需要利用因果圖（邏輯模型）。因果圖法能幫助測(cè)試人員按照一定的步驟，高效的開(kāi)發(fā)測(cè)試用例，以檢測(cè)程序輸入條件的各種組合情況，它是將自然語(yǔ)言轉(zhuǎn)化為形式語(yǔ)言規(guī)格說(shuō)明的一種嚴(yán)格方法。注：與判定表法區(qū)別？第三頁(yè)，共64頁(yè)。我們知道，當(dāng)被測(cè)對(duì)象的輸入條件相互依賴、相互制約的時(shí)候，適合(shìhé)用判定表法進(jìn)行測(cè)試！第四頁(yè)，共64頁(yè)。練習(xí)(liànxí)一某軟件的一個(gè)模塊的需求規(guī)格說(shuō)明書(shū)中描述：（1）年薪制員工：嚴(yán)重過(guò)失，扣年終風(fēng)險(xiǎn)金的4%；過(guò)失，扣年終風(fēng)險(xiǎn)金的2%。（2）非年薪制員工：嚴(yán)重過(guò)失，扣當(dāng)月薪資的8%；過(guò)失，扣當(dāng)月薪資的4%。請(qǐng)用判定(pàndìng)表法設(shè)計(jì)出相應(yīng)的測(cè)試用例。第五頁(yè)，共64頁(yè)。找出條件(tiáojiàn)樁與動(dòng)作樁根據(jù)題意，原因和結(jié)果(jiēguǒ)如下：

原因結(jié)果C1：年薪制員工A1：扣年終風(fēng)險(xiǎn)金的4%C2：非年薪制員工A2：扣年終風(fēng)險(xiǎn)金的2%C3：嚴(yán)重過(guò)失A3：扣當(dāng)月薪資的8%C4：過(guò)失A4：扣當(dāng)月薪資的4%（1）年薪制員工：嚴(yán)重(yánzhòng)過(guò)失，扣年終風(fēng)險(xiǎn)金的4%；過(guò)失，扣年終風(fēng)險(xiǎn)金的2%。（2）非年薪制員工：嚴(yán)重(yánzhòng)過(guò)失，扣當(dāng)月薪資的8%；過(guò)失，扣當(dāng)月薪資的4%。第六頁(yè)，共64頁(yè)。輸入(shūrù)條件項(xiàng)和動(dòng)作項(xiàng)c1:年薪制員工TFTTTFFFTTTFFFTFc2:非年薪制員工TTFTTFTTFFTFFTFFc3:嚴(yán)重過(guò)失TTTFTTFTFTFFTFFFc4:過(guò)失TTTTFTTFTFFTFFFFA1:扣年終風(fēng)險(xiǎn)金的4%√A2:扣年終風(fēng)險(xiǎn)金的2%√A3:扣當(dāng)月薪資的8%√A4:扣當(dāng)月薪資的4%√存在(cúnzài)大量不可能的情況！第七頁(yè)，共64頁(yè)。

當(dāng)輸入條件過(guò)多時(shí)，使用判定表會(huì)產(chǎn)生大量測(cè)試用例，而且也不能表達(dá)條件之間的各種（先后）關(guān)系。

在一定情況下，那還有沒(méi)有其他適合(shìhé)的方法呢？因果(YīNGUǒ)圖法第八頁(yè)，共64頁(yè)。步驟(bùzhòu)一：列出原因和結(jié)果根據(jù)題意，原因和結(jié)果(jiēguǒ)如下：

原因結(jié)果C1：年薪制員工A1：扣年終風(fēng)險(xiǎn)金的4%C2：非年薪制員工A2：扣年終風(fēng)險(xiǎn)金的2%C3：嚴(yán)重過(guò)失A3：扣當(dāng)月薪資的8%C4：過(guò)失A4：扣當(dāng)月薪資的4%（1）年薪制員工：嚴(yán)重(yánzhòng)過(guò)失，扣年終風(fēng)險(xiǎn)金的4%；過(guò)失，扣年終風(fēng)險(xiǎn)金的2%。（2）非年薪制員工：嚴(yán)重(yánzhòng)過(guò)失，扣當(dāng)月薪資的8%；過(guò)失，扣當(dāng)月薪資的4%。第九頁(yè)，共64頁(yè)。步驟(bùzhòu)2：畫(huà)出因果圖原因結(jié)果C1：年薪制員工A1：扣年終風(fēng)險(xiǎn)金的4%C2：非年薪制員工A2：扣年終風(fēng)險(xiǎn)金的2%C3：嚴(yán)重過(guò)失A3：扣當(dāng)月薪資的8%C4：過(guò)失A4：扣當(dāng)月薪資的4%第十頁(yè)，共64頁(yè)。步驟3：施加相應(yīng)(xiāngyīng)的約束原因結(jié)果C1：年薪制員工A1：扣年終風(fēng)險(xiǎn)金的4%C2：非年薪制員工A2：扣年終風(fēng)險(xiǎn)金的2%C3：嚴(yán)重過(guò)失A3：扣當(dāng)月薪資的8%C4：過(guò)失A4：扣當(dāng)月薪資的4%第十一頁(yè)，共64頁(yè)。步驟(bùzhòu)4：將因果圖轉(zhuǎn)換為決策表c1:年薪制員工FFTTc2:非年薪制員工TTFFc3:嚴(yán)重過(guò)失FTFTc4:過(guò)失TFTFA1:扣年終風(fēng)險(xiǎn)金的4%√A2:扣年終風(fēng)險(xiǎn)金的2%√A3:扣當(dāng)月薪資的8%√A4:扣當(dāng)月薪資的4%√第十二頁(yè)，共64頁(yè)。用例員工類型過(guò)失程度預(yù)期輸出1年薪制員工嚴(yán)重過(guò)失扣年終風(fēng)險(xiǎn)金的4%2年薪制員工過(guò)失扣年終風(fēng)險(xiǎn)金的2%3非年薪制員工嚴(yán)重過(guò)失扣當(dāng)月薪資的8%4非年薪制員工過(guò)失扣當(dāng)月薪資的4%步驟(bùzhòu)5：設(shè)計(jì)測(cè)試用例第十三頁(yè)，共64頁(yè)。什么是因果(yīnguǒ)圖法？因果圖法（Cause-EffectGraphics）是一種利用圖解法分析輸入的各種組合情況，從而設(shè)計(jì)(shèjì)測(cè)試用例的方法。因果圖提供(tígōng)了一個(gè)把需求轉(zhuǎn)化為判定表的系統(tǒng)化方法因果圖法最終生成的就是判定表，它適合于檢查程序輸入條件的各種組合情況。原因：輸入條件結(jié)果：輸出第十四頁(yè)，共64頁(yè)。因果圖的關(guān)系(guānxì)符號(hào)因果圖中使用簡(jiǎn)單的關(guān)系符號(hào)(fúhào)，以直線聯(lián)接左右結(jié)點(diǎn)。左結(jié)點(diǎn)表示輸入狀態(tài)（原因），右結(jié)點(diǎn)表示輸出狀態(tài)（結(jié)果）。左邊的節(jié)點(diǎn)(jiédiǎn)表示原因右邊的節(jié)點(diǎn)表示結(jié)果第十五頁(yè)，共64頁(yè)。因果圖的關(guān)系(guānxì)符號(hào)恒等：表示原因與結(jié)果(jiēguǒ)之間一對(duì)一的對(duì)應(yīng)關(guān)系。若原因出現(xiàn)，則結(jié)果(jiēguǒ)出現(xiàn)；若原因不出現(xiàn)，則結(jié)果(jiēguǒ)也不出現(xiàn)。如圖，若ci是1，則ei也是1；否則ei為0。非：表示(biǎoshì)原因與結(jié)果之間的一種否定關(guān)系。若原因出現(xiàn)，則結(jié)果不出現(xiàn)；若原因不出現(xiàn)，反而結(jié)果出現(xiàn)。如圖，若ci是1，則ei是0；否則ei是1。

4種符號(hào)表示4種因果關(guān)系：恒等、非、或、與

ci表示原因，通常在圖的左部；ei表示結(jié)果，通常在圖的右部。ci和ei均可取值0或1，0表示某狀態(tài)不出現(xiàn)，1表示某狀態(tài)出現(xiàn)。c1e1恒等c1e1非第十六頁(yè)，共64頁(yè)。因果(yīnguǒ)圖的關(guān)系符號(hào)或：表示若幾個(gè)原因中有一個(gè)出現(xiàn)(chūxiàn)，則結(jié)果出現(xiàn)(chūxiàn)；只有當(dāng)這幾個(gè)原因都不出現(xiàn)(chūxiàn)時(shí)，結(jié)果才不出現(xiàn)(chūxiàn)。如圖，若c1或c2是1，則ei為1；否則ei為0。“或”可有任意個(gè)輸入。c1e1或c2c3Vc1e1與c2∧與：表示若幾個(gè)原因都出現(xiàn)，結(jié)果才出現(xiàn)；若幾個(gè)原因中有一個(gè)不出現(xiàn)，結(jié)果就不出現(xiàn)。如圖，若c1和c2都是1，則ei為1；否則ei為0?！芭c”可有任意(rènyì)個(gè)輸入。第十七頁(yè)，共64頁(yè)。因果(yīnguǒ)圖的約束符號(hào)在實(shí)際問(wèn)題當(dāng)中，輸入狀態(tài)相互之間還可能存在某些依賴關(guān)系(guānxì)，稱為約束。例如，某些輸入條件本身不可能同時(shí)出現(xiàn)。輸出狀態(tài)之間也往往存在約束。在因果圖中，用特定的符號(hào)標(biāo)明這些約束。第十八頁(yè)，共64頁(yè)。因果(yīnguǒ)圖的約束符號(hào)E約束（異/互斥）：表示(biǎoshì)幾個(gè)原因不會(huì)同時(shí)成立；可能他們都不成立，但最多有一個(gè)成立。

如圖，a和b中至多有一個(gè)可能為1，即a和b不能同時(shí)為1。

abEacIbI約束（或/包含）：表示幾個(gè)原因中至少有一個(gè)必須(bìxū)成立，當(dāng)然也可能都成立。

如圖，a、b和c中至少有一個(gè)必須(bìxū)是1，即a、b和c不能同時(shí)為0。

輸入條件的4種約束類型：(Exclusive)(In)第十九頁(yè)，共64頁(yè)。因果圖的約束(yuēshù)符號(hào)O約束（唯一）：表示幾個(gè)原因中必須(bìxū)有且僅有一個(gè)成立。

如圖，a和b必須(bìxū)有一個(gè)，且僅有1個(gè)為1。R約束（要求）：表示當(dāng)a出現(xiàn)(chūxiàn)時(shí)，b必須也出現(xiàn)(chūxiàn)。如圖，a是1時(shí)，b必須是1，即不可能a是1時(shí)b是0。abOabR(Only)(Request)第二十頁(yè)，共64頁(yè)。因果(yīnguǒ)圖的約束符號(hào)M約束（屏蔽）：表示當(dāng)a是1時(shí)，b必須(bìxū)是0；而當(dāng)a為0時(shí)，b的值不一定abM輸出條件的約束(yuēshù)類型：(Mandate)第二十一頁(yè)，共64頁(yè)。因果圖的約束(yuēshù)符號(hào)約束類型英文解釋約束說(shuō)明E互斥Exclusive

排外的原因a和b中至多有一個(gè)可能為1，即a和b不能同時(shí)為1。I包含In

在…之內(nèi)原因a、b和c中至少有一個(gè)必須是1，即a、b和c不能同時(shí)為0。O唯一Only

唯一原因a和b必須有一個(gè)，且僅有1個(gè)為1。R要求Requst

要求原因a是1時(shí)，b必須是1，即不可能a是1時(shí)b是0。M屏蔽Mandate

授權(quán)；命令結(jié)果a是1，則結(jié)果b強(qiáng)制為0。第二十二頁(yè)，共64頁(yè)。因果圖中，關(guān)系(guānxì)與約束的一樣嗎？

第二十三頁(yè)，共64頁(yè)。acIbI約束（或/包含）：表示幾個(gè)原因中至少有一個(gè)必須成立，當(dāng)然(dāngrán)也可能都成立。

如圖，a、b和c中至少有一個(gè)必須是1，即a、b和c不能同時(shí)為0。

關(guān)系(guānxì)與約束的不同！或：表示若幾個(gè)原因中有一個(gè)出現(xiàn)，則結(jié)果(jiēguǒ)出現(xiàn)；只有當(dāng)這幾個(gè)原因都不出現(xiàn)時(shí)，結(jié)果(jiēguǒ)才不出現(xiàn)。如圖，若c1或c2是1，則ei為1；否則ei為0。“或”可有任意個(gè)輸入。c1e1或c2c3V第二十四頁(yè)，共64頁(yè)。1.找出輸入輸出并進(jìn)行(jìnxíng)標(biāo)識(shí)因果圖法(túfǎ)設(shè)計(jì)用例步驟2.分析(fēnxī)輸入輸出的關(guān)系

3.畫(huà)出因果圖

4.因果圖轉(zhuǎn)換為判定表

5.生成測(cè)試用例轉(zhuǎn)換輸出關(guān)聯(lián)分析需求第二十五頁(yè)，共64頁(yè)。因果圖法(túfǎ)設(shè)計(jì)用例的步驟分析軟件需求規(guī)格說(shuō)明中哪些是原因（即輸入條件或輸入條件的等價(jià)類），哪些是結(jié)果（即輸出條件），并給每個(gè)原因和結(jié)果賦予一個(gè)標(biāo)識(shí)符。分析軟件規(guī)格說(shuō)明中的語(yǔ)義，找出原因與結(jié)果之間、原因與原因之間對(duì)應(yīng)的關(guān)系，根據(jù)這些關(guān)系畫(huà)出因果圖。由于語(yǔ)法或環(huán)境(huánjìng)的限制，有些原因與原因之間、原因與結(jié)果之間的組合情況不可能出現(xiàn)。為表明這些特殊情況，在因果圖上用一些記號(hào)表明約束或限制條件。把因果圖轉(zhuǎn)換為判定表。根據(jù)判定表中的每一列設(shè)計(jì)測(cè)試用例。第二十六頁(yè)，共64頁(yè)。案例(ànlì)一某軟件的一個(gè)模塊的需求規(guī)格說(shuō)明書(shū)中描述：（1）年薪制員工：嚴(yán)重過(guò)失，扣年終風(fēng)險(xiǎn)金的4%；過(guò)失，扣年終風(fēng)險(xiǎn)金的2%。（2）非年薪制員工：嚴(yán)重過(guò)失，扣當(dāng)月(dàngyuè)薪資的8%；過(guò)失，扣當(dāng)月(dàngyuè)薪資的4%。請(qǐng)繪制出因果圖和判定表，并給出相應(yīng)的測(cè)試用例。第二十七頁(yè)，共64頁(yè)。步驟1：分析原因(yuányīn)和結(jié)果根據(jù)題意(tíyì)，原因和結(jié)果如下：

原因結(jié)果C1：年薪制員工A1：扣年終風(fēng)險(xiǎn)金的4%C2：非年薪制員工A2：扣年終風(fēng)險(xiǎn)金的2%C3：嚴(yán)重過(guò)失A3：扣當(dāng)月薪資的8%C4：過(guò)失A4：扣當(dāng)月薪資的4%（1）年薪制員工：嚴(yán)重過(guò)失(guòshī)，扣年終風(fēng)險(xiǎn)金的4%；過(guò)失(guòshī)，扣年終風(fēng)險(xiǎn)金的2%。（2）非年薪制員工：嚴(yán)重過(guò)失(guòshī)，扣當(dāng)月薪資的8%；過(guò)失(guòshī)，扣當(dāng)月薪資的4%。第二十八頁(yè)，共64頁(yè)。步驟(bùzhòu)2：畫(huà)出因果圖原因結(jié)果C1：年薪制員工A1：扣年終風(fēng)險(xiǎn)金的4%C2：非年薪制員工A2：扣年終風(fēng)險(xiǎn)金的2%C3：嚴(yán)重過(guò)失A3：扣當(dāng)月薪資的8%C4：過(guò)失A4：扣當(dāng)月薪資的4%第二十九頁(yè)，共64頁(yè)。步驟3：施加(shījiā)相應(yīng)的約束原因結(jié)果C1：年薪制員工A1：扣年終風(fēng)險(xiǎn)金的4%C2：非年薪制員工A2：扣年終風(fēng)險(xiǎn)金的2%C3：嚴(yán)重過(guò)失A3：扣當(dāng)月薪資的8%C4：過(guò)失A4：扣當(dāng)月薪資的4%第三十頁(yè)，共64頁(yè)。步驟4：將因果(yīnguǒ)圖轉(zhuǎn)換為決策表c1:年薪制員工FFTTc2:非年薪制員工TTFFc3:嚴(yán)重過(guò)失FTFTc4:過(guò)失TFTFA1:扣年終風(fēng)險(xiǎn)金的4%√A2:扣年終風(fēng)險(xiǎn)金的2%√A3:扣當(dāng)月薪資的8%√A4:扣當(dāng)月薪資的4%√第三十一頁(yè)，共64頁(yè)。用例Ab預(yù)期輸出1年薪制員工嚴(yán)重過(guò)失扣年終風(fēng)險(xiǎn)金的4%2年薪制員工過(guò)失扣年終風(fēng)險(xiǎn)金的2%3非年薪制員工嚴(yán)重過(guò)失扣當(dāng)月薪資的8%4非年薪制員工過(guò)失扣當(dāng)月薪資的4%步驟(bùzhòu)5：設(shè)計(jì)測(cè)試用例第三十二頁(yè)，共64頁(yè)。因果圖法與判定(pàndìng)表法的關(guān)系？

第三十三頁(yè)，共64頁(yè)。

不同角度因果圖法判定表法聯(lián)系位置黑盒測(cè)試技術(shù)中，設(shè)計(jì)測(cè)試用例的方法適用于程序的輸入條件存在不同的組合，執(zhí)行相應(yīng)的操作彌補(bǔ)了等價(jià)類、邊界值的不足基本思想把程序功能的描述性語(yǔ)言形象的圖表(直觀、清晰)使用二者往往結(jié)合使用，使用因果圖可以得到判定表，它可以看作判定表法的前期階段，也可以直接應(yīng)用判定表。區(qū)別定義用于描述輸入之間，輸入輸出之間的約束關(guān)系和因果關(guān)系用于表達(dá)多邏輯條件下執(zhí)行不同操作的情況的工具本質(zhì)考慮輸入條件之間的聯(lián)系、各種組合，相應(yīng)產(chǎn)生多個(gè)動(dòng)作?？紤]輸入條件之間的各種組合，相應(yīng)產(chǎn)生多個(gè)動(dòng)作。當(dāng)輸入條件過(guò)多時(shí)用例數(shù)量相對(duì)少（無(wú)效用例）

可以覆蓋到條件之間的先后關(guān)系會(huì)產(chǎn)生大量測(cè)試用例

不能覆蓋條件之間的先后關(guān)系第三十四頁(yè)，共64頁(yè)。因果(yīnguǒ)圖與判定表的選擇考慮條件和動(dòng)作間的聯(lián)系——先使用因果圖如果需求是以判定表形式給出的、項(xiàng)目(xiàngmù)在設(shè)計(jì)階段就采用了判定表——直接用判定表設(shè)計(jì)測(cè)試用例第三十五頁(yè)，共64頁(yè)。案例(ànlì)2某軟件規(guī)格說(shuō)明書(shū)包含這樣的要求：第一列字符必須是A或B，第二列字符必須是一個(gè)數(shù)字，在此情況下進(jìn)行文件的修改，但如果第一列字符不正確，則給出信息N；如果第二列字符不是數(shù)字，則給出信息M。用因果圖法(túfǎ)測(cè)試上述程序。第三十六頁(yè)，共64頁(yè)。步驟1：分析(fēnxī)原因和結(jié)果根據(jù)題意，原因和結(jié)果(jiēguǒ)如下：

原因結(jié)果c1：第一個(gè)字符是Ae1：給出信息Nc2：第一個(gè)字符是Be2：修改文件c3：第二個(gè)字符是一個(gè)數(shù)字e3：給出信息M 某軟件規(guī)格說(shuō)明書(shū)包含這樣的要求：第一列字符必須是A或B，第二列字符必須是一個(gè)數(shù)字，在此情況下進(jìn)行文件的修改，但如果(rúguǒ)第一列字符不正確，則給出信息N；如果(rúguǒ)第二列字符不是數(shù)字，則給出信息M。第三十七頁(yè)，共64頁(yè)。步驟(bùzhòu)2：畫(huà)出因果圖10為中間(zhōngjiān)節(jié)點(diǎn)。c1c2c3e110e2e3～∨～∧第三十八頁(yè)，共64頁(yè)。步驟3：施加相應(yīng)(xiāngyīng)的約束考慮到原因1和原因2不可能同時(shí)為1，因此在因果圖上施加(shījiā)E約束；10為中間節(jié)點(diǎn)。c1c2c3e110e2e3～∨E～∧第三十九頁(yè)，共64頁(yè)。步驟4：將因果(yīnguǒ)圖轉(zhuǎn)換為決策表

規(guī)則樁12345678條件C111110000C211001100C31010101010111100動(dòng)作e1000011e2101000e3010101不可能11測(cè)試用例A5A#B9B?X2Y%第四十頁(yè)，共64頁(yè)。步驟5：根據(jù)(gēnjù)決策表設(shè)計(jì)測(cè)試用例編號(hào)輸入數(shù)據(jù)預(yù)期輸出TC1A5修改文件TC2A#給出信息MTC3B9修改文件TC4B?給出信息MTC5X2給出信息NTC6Y%給出信息N和信息M第四十一頁(yè)，共64頁(yè)。案例(ànlì)3例如，有一個(gè)飲料自動(dòng)售貨機(jī)（處理單價(jià)(dānjià)為5元）的控制處理軟件，它的軟件規(guī)格說(shuō)明如下：若投入5元錢，按下“橙汁”或“啤酒”的按鈕，則相應(yīng)的飲料就送出來(lái)。若投入10元錢，同樣也是按“橙汁”或“啤酒”的按鈕，則自動(dòng)售貨機(jī)在送出相應(yīng)飲料的同時(shí)退回5元錢。試?yán)L制上述程序的因果圖并轉(zhuǎn)化為相應(yīng)的決策表。第四十二頁(yè)，共64頁(yè)。步驟(bùzhòu)1：分析原因和結(jié)果根據(jù)題意(tíyì)，原因和結(jié)果如下：

原因結(jié)果1：投入10元21：退還5元2：投入5元22：送出“橙汁”3：按下“橙汁”按鈕23：送出“啤酒”4：按下“啤酒”按鈕

若投入5元錢，按下“橙汁”或“啤酒(píjiǔ)”的按鈕，則相應(yīng)的飲料就送出來(lái)。若投入10元錢的硬幣，同樣也是按“橙汁”或“啤酒(píjiǔ)”的按鈕，則自動(dòng)售貨機(jī)在送出相應(yīng)飲料的同時(shí)退回5元錢。第四十三頁(yè)，共64頁(yè)。步驟(bùzhòu)2：畫(huà)出因果圖11、12為中間(zhōngjiān)節(jié)點(diǎn)。投入10元投入5元退換5元第四十四頁(yè)，共64頁(yè)。步驟3：施加(shījiā)相應(yīng)的約束投入10元投入5元退換5元第四十五頁(yè)，共64頁(yè)。步驟4將因果(yīnguǒ)圖轉(zhuǎn)換為決策表投入10元投入5元退還5元第四十六頁(yè)，共64頁(yè)。案例(ànlì)4三角問(wèn)題繪制三角(sānjiǎo)問(wèn)題的因果圖并轉(zhuǎn)化為相應(yīng)的決策表。第四十七頁(yè)，共64頁(yè)。步驟1：分析原因(yuányīn)和結(jié)果根據(jù)題意，原因(yuányīn)和結(jié)果如下：

原因結(jié)果1：A<B+C21：不能構(gòu)成三角形2：B<A+C22：等邊三角形3：C<A+B23：等腰三角形4：A=B24：一般三角形5：A=C6：B=C

第四十八頁(yè)，共64頁(yè)。步驟(bùzhòu)2：畫(huà)出因果圖10、11、12為中間(zhōngjiān)節(jié)點(diǎn)。原因結(jié)果1：A<B+C21：不能構(gòu)成三角形2：B<A+C22：等邊三角形3：C<A+B23：等腰三角形4：A=B24：一般三角形5：A=C6：B=C

1221102422～∧654311∧12∨23～∧∧∧～～∨第四十九頁(yè)，共64頁(yè)。步驟(bùzhòu)2：畫(huà)出因果圖10、11、12為中間(zhōngjiān)節(jié)點(diǎn)。原因結(jié)果1：A<B+C21：不能構(gòu)成三角形2：B<A+C22：等邊三角形3：C<A+B23：等腰三角形4：A=B24：一般三角形5：A=C6：B=C

1221102422～∧654311∧12∨23～∧∧∧～～∨第五十頁(yè)，共64頁(yè)。步驟(bùzhòu)3：施加相應(yīng)的約束原因結(jié)果1：A<B+C21：不能構(gòu)成三角形2：B<A+C22：等邊三角形3：C<A+B23：等腰三角形4：A=B24：一般三角形5：A=C6：B=C

M1221102422～∧654311∧12∨23～∧∧∧～～∨第五十一頁(yè)，共64頁(yè)。 對(duì)于條件4：A=B，5：A=C，6：B=C，不可能兩個(gè)成立，另一個(gè)不成立的約束(yuēshù)如何添加？第五十二頁(yè)，共64頁(yè)。重回步驟(bùzhòu)1：分析原因和結(jié)果根據(jù)(gēnjù)題意，原因和結(jié)果如下：

原因結(jié)果1：A<B+C21：不能構(gòu)成三角形2：B<A+C22：等邊三角形3：C<A+B23：等腰三角形4：A=B24：一般三角形5：A=C

25：不可能6：B=C

第五十三頁(yè)，共64頁(yè)。步驟(bùzhòu)2：畫(huà)出因果圖10、11、12、13、14、15為中間(zhōngjiān)節(jié)點(diǎn)。65413∧142515∧∧～～～∨1221102422～∧654311∧12∨23～∧∧∧～～∨第五十四頁(yè)，共64頁(yè)。步驟3：施加(shījiā)相應(yīng)的約束65413∧142515∧∧～～～∨M1221102422～∧654311∧12∨23～∧∧∧～～∨第五十五頁(yè)，共64頁(yè)。步驟4：將因果(yīnguǒ)圖轉(zhuǎn)換為決策表1:a<b+c?FTTTTTTTTTT2:b<a+c?-FTTTTTTTTT3:C<a+b?--FTTTTTTTT4:a=b?---TTTTFFFF5:a=c?---TTFFTTFF6:b=c?---TFTFTFTF21:非三角形√√√24:一般三角形√23:等腰三角形√√√22:等邊三角形√25：不可能√√√第五十六頁(yè)，共64頁(yè)。步驟5：根據(jù)(gēnjù)決策表設(shè)計(jì)測(cè)試用例用例IDabc預(yù)期輸出DT1412非三角形DT2142非三角形DT3124非三角形DT4555等邊三角形DT5???不可能DT6???不可能DT7223等腰三角形DT8???不可能DT9232等腰三角形DT10322等腰三角形DT11345一般三角形第五十七頁(yè)，共64頁(yè)。課堂練習(xí)根據(jù)中國(guó)象棋中走馬的規(guī)則繪制因果圖，走馬的規(guī)則如下：1、如果落點(diǎn)在棋盤(pán)外，則不移動(dòng)棋子；2、如果落點(diǎn)與起點(diǎn)不構(gòu)成日字型，則不移動(dòng)棋子；3、如果落點(diǎn)處有自己(zìjǐ)方棋子，則不移動(dòng)棋子；4、如果在落點(diǎn)方向的鄰近交叉點(diǎn)有棋子（絆馬腿），則不移動(dòng)棋子；5、如果不屬于1-4條，且落點(diǎn)處無(wú)棋子，則移動(dòng)棋子；6、如果不屬于1-4條，且落點(diǎn)處為對(duì)方棋子(非老將)，則移動(dòng)棋子并除去對(duì)方棋子；7、如果不屬于1-4條，且落點(diǎn)處為對(duì)方老將，則移動(dòng)棋子，并提示戰(zhàn)勝對(duì)方，游戲結(jié)束。第五十八頁(yè)，共64頁(yè)。步驟(bùzhòu)1：分析原因和結(jié)果根據(jù)(gēnjù)題意，原因和結(jié)果如下：

結(jié)果：21、不移動(dòng)(yídòng)棋子；22、移動(dòng)(yídòng)棋子；23、移動(dòng)(yídòng)棋子，并除去對(duì)方棋子；24、移動(dòng)(yídòng)棋子，并提示戰(zhàn)勝對(duì)方，結(jié)束游戲。原因：1、落點(diǎn)在棋盤(pán)外；2、落點(diǎn)與起點(diǎn)不構(gòu)成日字；