【導(dǎo)讀】被測對象模型測試執(zhí)行正確?軟件測試過程所涉及的要素,以及。這些要素之間的關(guān)系。每個(gè)判斷都包含復(fù)合條件的邏輯表達(dá)式。該控制流程圖有4條不同的路徑。在路徑測試中,該策略是最強(qiáng)的,但一般是不可實(shí)現(xiàn)的。用例(規(guī)定測試用例的設(shè)計(jì)格式為:【輸入的(A,B,X),斷中邏輯運(yùn)算符出現(xiàn)的錯(cuò)誤。遵循這一規(guī)定,則我們說達(dá)到了100%分支覆蓋率。利用上述兩組測試用例進(jìn)行測試,無法查出這一錯(cuò)誤。需要更強(qiáng)的邏輯覆蓋準(zhǔn)則去檢驗(yàn)判定的內(nèi)部條件。中的所有可能的條件取值組合至少執(zhí)行一次。只要滿足了條件組。為此,人們又進(jìn)一步提出了條件組合覆蓋技術(shù)。(A>1),(B≠0),(A≠2),(X>1),可標(biāo)記為T1、F2、F3、T4;(A≤1),(B=0),(A=2),(X≤1),可標(biāo)記為F1、T2、T3、F4;