邏輯覆蓋法的設(shè)計流程

1、題目：邏輯覆蓋法是設(shè)計白盒測試用例的主要方法之一，它是通過對程序邏輯結(jié)構(gòu)的遍歷實現(xiàn)程序的覆蓋。針對以下由C語言編寫的程序，分別設(shè)計測試數(shù)據(jù)滿意6種白盒測試邏輯覆蓋方法。#include"stdio.h"#include"math.h"void main( int m)int i,k;scanf("%d",&m);k=sqrt(m);for (i=2; i<=k; i+)if (m%i=0) break;if (i>=k+1)printf("%d is a selected numbern",m)

2、;elseprintf("%d is not a selected numbern",m);設(shè)計流程：流程圖語句覆蓋判定覆蓋條件覆蓋判定/條件覆蓋條件組合覆蓋路徑覆蓋1、流程圖· 2、語句覆蓋：全部語句至少執(zhí)行一次。測試用例如表所示。測試用例輸入輸出bcdf覆蓋路徑i=2,m=9,k=3i=3,m=9，k=3TT1T2F1T2FP1（S-a-b-c-d-i-e-f-h-E）i=3,m=4,k=2i=3,m=4,k=2FTP1（S-a-b-f-g-E）· 3、判定覆蓋：每個判定結(jié)果至少執(zhí)行一次。測試用例輸入輸出bcdf覆蓋路徑i=2,m=9,k=3i=3,

3、m=9，k=3TT1T2F1T2FP1（S-a-b-c-d-i-e-f-h-E）i=3,m=4,k=2i=3,m=4,k=2FTP1（S-a-b-f-g-E）i=2,m=4,k=2i=2,m=4,k=2TTTFP1（S-a-b-e-f-h-E）i=3,m=9,k=3i=3,m=9,k=3FTP1（S-a-b-e-f-g-E）· 4、條件覆蓋：每個判定中的每個條件可能出現(xiàn)的結(jié)果至少出現(xiàn)一次。測試用例輸入輸出取值條件詳細(xì)取值條件覆蓋路徑i=2,m=9,k=3i=3,m=9，k=3T1,T2,T3,F4i=2,i<=k,m%i=0,i<k+1P1（S-a-b-c-d-i-e-f

4、-h-E）i=3,m=4,k=2i=3,m=4,k=2F1,T4i!=2,i>=k+1P1（S-a-b-f-g-E）i=2,m=4,k=2i=2,m=4,k=2T1,T2,T3,F4i=2,i<=k,m%i=0,P1（S-a-b-e-f-h-E）i=3,m=9,k=3i=3,m=9,k=3F1,F4i!=2,i<k+1P1（S-a-b-e-f-g-E）· 5、判定/條件覆蓋：每個判定結(jié)果至少出現(xiàn)一次，每個判定中的條件可能出現(xiàn)的結(jié)果至少出現(xiàn)一次。TF1i=2i!=22i<=k3m%i=0m%i!=04i<k+1i<k+1測試用例輸入輸出取值條件詳細(xì)取

5、值條件覆蓋路徑i=2,m=9,k=3i=3,m=9，k=3T1,T2,T3,F4i=2,i<=k,m%i=0,i<k+1P1（S-a-b-c-d-i-e-f-h-E）i=3,m=4,k=2i=3,m=4,k=2F1,T4i!=2,i>=k+1P1（S-a-b-f-g-E）i=2,m=4,k=2i=2,m=4,k=2T1,T2,T3,F4i=2,i<=k,m%i=0,P1（S-a-b-e-f-h-E）i=3,m=9,k=3i=3,m=9,k=3F1,F4i!=2,i<k+1P1（S-a-b-e-f-g-E）6、條件組合覆蓋：每個判定的每個條件的可能出現(xiàn)的結(jié)果的全部可

6、能的組合至少出現(xiàn)一次。1i=2, i<=km%i=02i=2, i<=km%i!=03i!=24i>=k+15i<k+1測試用例輸入輸出覆蓋條件取值覆蓋條件組合覆蓋路徑i=2,m=9,k=3i=3,m=9，k=3T1,T2,T3,F41,2,1,5P1（S-a-b-c-d-i-e-f-h-E）i=3,m=4,k=2i=3,m=4,k=2F1,T42,4P1（S-a-b-f-g-E）i=2,m=4,k=2i=2,m=4,k=2T1,T2,T3,F41,5P1（S-a-b-e-f-h-E）i=3,m=9,k=3i=3,m=9,k=3F1,F42,5P1（S-a-b-e-f-g-E）7、路徑覆蓋： 全部可能被執(zhí)行到的路徑至少執(zhí)行一次。測試用例輸入輸出覆蓋條件取值覆蓋條件組合覆蓋路徑i=2,m=9,k=3i=3,m=9，k=3T1,T2,T3,F41,2,1,5P1（S-a-b-c-d-i-e-f-h-E）i=3,m=4,k=2i=3,m=4,k=2F1,T42,4P1（S-a-b-f-g-E）i=