1. 程式人生 > >測試覆蓋:語句覆蓋 判定覆蓋(即分支覆蓋) 條件覆蓋 判定-條件覆蓋 條件組合覆蓋 路徑覆蓋

測試覆蓋:語句覆蓋 判定覆蓋(即分支覆蓋) 條件覆蓋 判定-條件覆蓋 條件組合覆蓋 路徑覆蓋

設計若干測試用例,執行被測程式,使程式中每個可執行語句至少執行一次。只需設計一個測試用例:a=2,b=1,c=6;即達到了語句覆蓋。 【優點】 :可以很直觀地從原始碼得到測試用例,無須細分每條判定表示式。 【缺點】 :由於這種測試方法僅僅針對程式邏輯中顯式存在的語句,但對於隱藏的條件是無法測試的。如在多分支的邏輯運算中無法全面的考慮。語句覆蓋是最弱的邏輯覆蓋。 2.判定覆蓋: 設計若干測試用例,執行被測程式,使得程式中每個分支的取真值和取假值至少一次,即判斷真假值均曾被滿足。a=2,b=1 ,c=6(M,Q分支全為真)和a=-2,b=-1 ,c=-3(M,Q分支全為假)這兩組測試用例可覆蓋所有判定的真假分支。 【優點】:判定覆蓋具有比
語句覆蓋
更強的測試能力。同樣判定覆蓋也具有和語句覆蓋一樣的簡單性,無須細分每個判定就可以得到測試用例。 【缺點】:往往大部分的判定語句是由多個邏輯條件組合而成,若僅僅判斷其整個最終結果,而忽略每個條件的取值情況,必然會遺漏部分測試路徑。判定覆蓋仍是弱的邏輯覆蓋。 3.條件覆蓋:設計若干測試用例,執行被測程式以後要使每個判斷中每個條件的可能取值至少滿足一次。 判斷M表示式:設條件 a>0 取真 記為 T1 ;假F1 條件 b>0 取真 記為 T2 ;假F2 判斷Q表示式:設條件 a>1 取真 記為 T3 ;假F3 條件 c>1 取真 記為 T4 ;假F4 我們用條件覆蓋設計的思想就是讓
測試用例
能覆蓋T1、T2、T3、T4、F1、F2、F3、F4 【優點】:增加了對條件判定情況的測試,增加了測試路徑。 【缺點】:條件覆蓋不一定包含判定覆蓋。例如,我們剛才設計的用例就沒有覆蓋判斷M的Y分支和判斷Q的N分支。條件覆蓋只能保證每個條件至少有一次為真,而不考慮所有的判定結果。 4.判定-條件覆蓋:設計足夠的測試用例,使得判斷條件中的所有條件可能至少執行一次取值,同時,所有判斷的可能結果至少執行一次。 測試用例要滿足如下條件:1.所有條件可能至少執行一次取值;2.所有判斷的可能結果至少執行一次。 【優點】 :能同時滿足判定、條件兩種覆蓋標準。 【缺點】 :判定/條件覆蓋準則的缺點是未考慮條件的組合情況。 5. 
條件組合覆蓋
:設計足夠的測試用例,使得所有可能的條件取值組合至少執行一次。 【優點】 :條件組合覆蓋準則滿足判定覆蓋、條件覆蓋和判定/條件覆蓋準則。 【缺點】 :線性地增加了測試用例的數量。 6.路徑覆蓋:設計所有的測試用例,來覆蓋程式中的所有可能的執行路徑 。 【優點】 :這種測試方法可以對程式進行徹底的測試,比前面五種的覆蓋面都廣。 【缺點】 :需要設計大量、複雜的測試用例,使得工作量呈指數級增長,不見得把所有的條件組合都覆蓋。 從前面的例子我們可以看到,採用任何一種覆蓋方法都不能滿足我們的要求,所以,在實際的測試用例設計過程中,可以根據需要將不同的覆蓋方法組合起來使用,以實現最佳的測試用例設計 。

相關推薦

測試覆蓋語句覆蓋 判定覆蓋分支覆蓋 條件覆蓋 判定條件覆蓋 條件組合覆蓋 路徑覆蓋

設計若干測試用例,執行被測程式,使程式中每個可執行語句至少執行一次。只需設計一個測試用例:a=2,b=1,c=6;即達到了語句覆蓋。 【優點】 :可以很直觀地從原始碼得到測試用例,無須細分每條判定表示式。 【缺點】 :由於這種測試方法僅僅針對程式邏輯中顯式存在的語句,但對於隱藏的條件是無法測試的。如在

MATLAB圖像的移動move函數

blog color msh set 圖像 figure img 清空 ges 圖像移動涉及到move函數,實現過程如下: close all; %關閉當前所有圖形窗口,清空工作空間變量,清除工作空間所有變量 clear all;

多工程基於Maven的SSMSpring,SpringMvc,Mybatis整合的web工程(中)

png 開始 版本 war mage ont 右鍵 調用 web工程 上篇用了單工程創建了SSM整合的web工程(http://www.cnblogs.com/yuanjava/p/6748956.html),這次我們把上篇的單工程改造成為多模塊工程 一:創建

day1作業二多級菜單操作函數實現

數據庫 語句 會有 是否 臺灣 inpu return .com {} 作業二:多級菜單 (1)三級菜單 (2)可以次選擇進入各子菜單 (3)所需新知識點:列表、字典 要求:輸入back返回上一層,輸入quit退出整個程序 本示例的三級菜單是一個yaml文件格式,格式如下:

書評第002篇《匯編語言第3版

pan sso 編寫 isbn llc 人的 track 漏洞挖掘 之前 本書基本信息 作者:王爽(著) 出版社:清華大學出版社 出版時間:2013-9-1 ISBN:9787302333142 版次:3 頁數:337 字數:527000 印刷時間:

python基礎7元祖類型賦值補充

pre 定義 index orm python 報錯 {} 兩個 子字符串 前面學了列表和字典,今天我們看一個和列表相似的類型元祖。 預習: 簡單購物車   實現打印商品詳細信息,用戶輸入商品名和購買個數,則將商品名,價格,購買個數加入購物列表,如果輸入為空或其他非法輸入則

構建微服務架構Spring Cloud服務註冊與發現Eureka、Consul

comm 簡介 foundry 架構 eas args 包含 什麽 其他 Spring Cloud簡介 Spring Cloud是一個基於Spring Boot實現的雲應用開發工具,它為基於JVM的雲應用開發中涉及的配置管理、服務發現、斷路器、智能路由、微代理、控制總線、全

Java的動態數組ArrayList的簡單運用增刪改查

ArrayList的使用 Java的動態數組 ArrayList 小夥伴們!今天做個筆記分享給大家!這個是我創建的QQ交流群:315677448感興趣的歡迎你的加入。廢話不多說直接進入今天的主體ArrayList就是傳說中的動態數組!咱們創建一個Test類,具體代碼如下:package Case0

CodeForces-204ELittle Elephant and Strings 後綴自動機

直接 -- uri not bsp ces BE bitset cstring The Little Elephant loves strings very much. He has an array a from n strings, consisting of low

SPOJBits. Exponents and Gcd組合數+GCD

force test each represent tro 其中 bit loaded calc Rastas‘s has been given a number n. Being weak at mathematics, she has to consider all t

路由的鉤子導航守衛

func view prev nta pre ont rev fun 全局組 路由的鉤子:(即導航守衛) 1.全局的, const router = new VueRouter({ ... }) router.beforeEach((to, from, next)

[UE4]Overlay容器圖片隨著其他容器比如Vertical Box大小而同步改變

隨著 nbsp 同步 inf src mage erl img 大小 [UE4]Overlay容器:圖片隨著其他容器(比如Vertical Box)大小而同步改變

方維直播源碼修復BUG完整版附代碼

方維直播源碼 方維直播系統 雲豹直播源碼 雲豹直播系統 呆萌直播 方維直播源碼現在市面上的流通的版本很多也很亂,還有許多人不知道該怎麽選擇版本,帶有很多bug的版本很多都便宜給了小白鼠,可以搭建起來,卻基本上都是打醬油的根本做不起來。首先真正的方維直播系統源碼官方的十幾w一般

題解報告hdu 1846 Brave Game巴什博弈

show 法則 個人 amp mes cout ret 每年 簡單題 題目鏈接:http://acm.hdu.edu.cn/showproblem.php?pid=1846 Problem Description 十年前讀大學的時候,中國每年都要從國外引進一些電影大片,其中

題解報告hdu 2149 Public Sale巴什博弈

end 選擇 bsp 數據 scrip 不想 由於 mes sam 題目鏈接:acm.hdu.edu.cn/showproblem.php?pid=2149 Problem Description 雖然不想,但是現實總歸是現實,Lele始終沒有逃過退學的命運,因為他沒有拿到

筆記《C++ Primer》第5版

條件語句 拷貝賦值運算符 局部變量 his 缺陷 nullptr 命令 直觀 執行文件 好習慣 1. 通常用cerr來輸出警告和錯誤消息。 2. 打印語句應保證“一直”刷新流。 3. 註釋掉代碼的最好的方式是用單行註釋方式註釋掉代碼段的每一行(所以用自動註釋時最

TensorFlow(十一)遞歸神經網絡RNN與LSTM

如何 style work 收縮 不變 函數 概率 隨著 其他 RNN RNN(Recurrent Neural Networks,循環神經網絡)不僅會學習當前時刻的信息,也會依賴之前的序列信息。由於其特殊的網絡模型結構解決了信息保存的問題。所以RNN對處理時間序列和語言文

CodeForces - 613DKingdom and its Cities虛樹+DP

for pro void 染色 however == force don tac Meanwhile, the kingdom of K is getting ready for the marriage of the King‘s daughter. However

題解報告poj 2185 Milking Grid二維kmp

clas its char malle ase 代碼 struct avi lar Description Every morning when they are milked, the Farmer John‘s cows form a rectangular grid

題解報告hdu 2546 飯卡01背包

set div input 解題思路 結束 hdu 2546 代碼 sizeof 以及 Problem Description 電子科大本部食堂的飯卡有一種很詭異的設計,即在購買之前判斷余額。如果購買一個商品之前,卡上的剩余金額大於或等於5元,就一定可以購買成功(即使購買後