因果圖分析法,依作者而言,是為了解決邊界值分析和等價(jià)劃分的一個(gè)弱點(diǎn):未對(duì)輸入條件的組合進(jìn)行分析。而因果圖恰恰有助于用一個(gè)系統(tǒng)的方法選擇出此類(lèi)高效的測(cè)試用例集,并且可以指出規(guī)格說(shuō)明的不完整性和不明確之處。
因果圖,是一種形式語(yǔ)言(有嚴(yán)格語(yǔ)法限制的語(yǔ)言,計(jì)算機(jī)語(yǔ)言都是形式語(yǔ)言),是將自然語(yǔ)言描述的規(guī)格說(shuō)明轉(zhuǎn)換為因果圖。實(shí)質(zhì)上,是一種數(shù)字邏輯電路(一個(gè)組合的邏輯網(wǎng)絡(luò)),但沒(méi)有使用標(biāo)準(zhǔn)的電子學(xué)符號(hào),而是使用了稍微簡(jiǎn)單點(diǎn)的符號(hào)。具體有六步(涉及到的每步具體過(guò)程及圖樣,由于篇幅,都在此略去):
將規(guī)格說(shuō)明分解為可執(zhí)行的片段;
確定規(guī)格說(shuō)明中的因果關(guān)系;
分析規(guī)格說(shuō)明的語(yǔ)義內(nèi)容,并將其轉(zhuǎn)換為連接因果關(guān)系的布爾圖,即:因果圖;
給圖加上注解符號(hào),說(shuō)明由于語(yǔ)法或環(huán)境的限制而不能聯(lián)系起來(lái)的“因”和“果”;
過(guò)仔細(xì)地跟蹤圖中的狀態(tài)變化情況,將因果圖轉(zhuǎn)換成一個(gè)有限項(xiàng)的判定表;
將判定表中的列轉(zhuǎn)換成測(cè)試用例。
因果圖,是一種形式語(yǔ)言(有嚴(yán)格語(yǔ)法限制的語(yǔ)言,計(jì)算機(jī)語(yǔ)言都是形式語(yǔ)言),是將自然語(yǔ)言描述的規(guī)格說(shuō)明轉(zhuǎn)換為因果圖。實(shí)質(zhì)上,是一種數(shù)字邏輯電路(一個(gè)組合的邏輯網(wǎng)絡(luò)),但沒(méi)有使用標(biāo)準(zhǔn)的電子學(xué)符號(hào),而是使用了稍微簡(jiǎn)單點(diǎn)的符號(hào)。具體有六步(涉及到的每步具體過(guò)程及圖樣,由于篇幅,都在此略去):
將規(guī)格說(shuō)明分解為可執(zhí)行的片段;
確定規(guī)格說(shuō)明中的因果關(guān)系;
分析規(guī)格說(shuō)明的語(yǔ)義內(nèi)容,并將其轉(zhuǎn)換為連接因果關(guān)系的布爾圖,即:因果圖;
給圖加上注解符號(hào),說(shuō)明由于語(yǔ)法或環(huán)境的限制而不能聯(lián)系起來(lái)的“因”和“果”;
過(guò)仔細(xì)地跟蹤圖中的狀態(tài)變化情況,將因果圖轉(zhuǎn)換成一個(gè)有限項(xiàng)的判定表;
將判定表中的列轉(zhuǎn)換成測(cè)試用例。