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

