邏輯覆蓋是白盒測試中以程式內部的邏輯結構為基礎的設計測試用例的技術。因為不可能進行窮盡的測試,有選擇的執行程式中某些最具代表性的通路是對窮舉測試唯一可行的代替方法。
例如
public static int test(int x,int y,int z)
ps: &&同時為真才為真,有乙個為假即為假。
||同時為假才為假,有乙個為真即為真。
y=y/x+4 即 y除x後再加4;並不是 y/(x+4)。
設計測試用例
1.語句覆蓋x
yzx>3
z<10
x==4
y>5
x>3&&z<10
x==4 || y>5
最終結果48
4ttt
ttt14
可以簡單理解為:條件以及判斷分支都為true。
2.判定覆蓋x
yzx>3
z<10
x==4
y>5
x>3&&z<10
x==4 || y>5
最終結果64
4ttf
ftf4
4810t
fttf
t22
可以簡單理解為:兩個判斷分支,分別都有一次true與false。
3.條件覆蓋x
yzx>3
z<10
x==4
y>5
x>3&&z<10
x==4 || y>5
最終結果44
10tft
fft6
264f
tftf
t2
可以簡單理解為:每個條件都分別有一次true與false。
4.條件判定覆蓋x
yzx>3
z<10
x==4
y>5
x>3&&z<10
x==4 || y>5
最終結果48
4ttt
ttt14
2410f
ffff
f4
可以簡單理解為:全都為true或者全都為false。
5.條件組合覆蓋x
yzx>3
z<10
x==4
y>5
x>3&&z<10
x==4 || y>5
最終結果48
4ttt
ttt14
4410t
ftff
t637
4ftf
tft11
2410f
ffff
f4
可以簡單理解為:同時滿足條件覆蓋與條件判定覆蓋。
6.路徑覆蓋x
yzx>3
z<10
x==4
y>5
x>3&&z<10
x==4 || y>5
最終結果48
4ttt
ttt14
644t
tfft
f448
10tft
tft22
2410f
ffff
f4
可以簡單理解為:兩個判斷分支全真、第乙個為真,第二個為假、第乙個為假,第二個為真、全假。
最後:
測試**時所執行的路徑佔總路徑數越高,則覆蓋程度越大。
那麼覆蓋準則最強的是路徑覆蓋,最弱的是語句覆蓋。
設計模式之個人見解
設計模式是在1994年由gof提出的,主要提供了軟體開發過程中面臨的一般問題的最佳解決方案。gof提出的設計模式中總共有23中設計模式,這些模式可以被分為三大類 建立型模式 結構型模式以及行為型模式。3.1 開閉原則 3.2 黎克特制代換原則 3.3 依賴倒轉原則 3.4 介面隔離原則 3.5 最少...
白盒測試邏輯覆蓋法
看新定的測試覆蓋率標準,有點暈。1 語句覆蓋率達到100 2 分支覆蓋率不低於70 開始覺得,這兩個限制有點矛盾,語句覆蓋率都達到100 了,分支覆蓋率還沒達到100 答案 是。舉個例子說明 if a and b then action1 if c or d then action2 就拿這個來說,...
白盒測試 邏輯覆蓋法
白盒測試又稱結構測試 透明盒測試 邏輯驅動測試或基於 的測試。白盒測試是一種測試用例設計方法方法,盒子指的是被測試的軟體,白盒指的是盒子是可視的,你清楚盒子內部的東西以及裡面是如何運作的。白盒 法全面了解程式內部邏輯結構 對所有邏輯路徑進行測試。白盒 法是窮舉路徑測試。在使用這一方案時,測試者必須檢...