【正文】 試數(shù)據(jù)均使 a1 AND b=0 為假， a=2 OR x1 為真，不滿足判定覆蓋。 （ 2）判定覆蓋 判定覆蓋又叫分支覆蓋，它的含義是，不僅每個(gè)語句必須至少執(zhí)行一次，而且每個(gè)判定的每種可能的結(jié)果都應(yīng)該至少執(zhí)行一次，也就是每個(gè)判定的每個(gè)分支都至少執(zhí)行一次。語句覆蓋的含義是，選擇足夠多的測試數(shù)據(jù)，使被測程序中每個(gè)語句至少執(zhí)行一次。 前面我們已經(jīng)對邏輯覆蓋做了一定的介紹，這里就不多作說明了，下面我們給出一個(gè)測試實(shí)例加以分析。 //不能直接在之前插入，否則意義全變了 } 軟件測試方法與 測試過程的分析與研究 14 （ 2）當(dāng)出現(xiàn)需要在 for 循環(huán)語句、 while 循環(huán)語句中進(jìn)行插入信息時(shí)候，很可能會導(dǎo)致程序運(yùn)行時(shí)間非常長，是否有辦法改進(jìn)“插樁”機(jī)制？ （ 3）是否可以由用戶進(jìn)行指定，比如 for 語句、 while 語句或者指定的語句前不允許進(jìn)行“插樁”，怎么實(shí)現(xiàn)？ （ 4）如果對于一個(gè)龐大的系統(tǒng)軟件，我們需要進(jìn)行對所運(yùn)行的程序的每個(gè)函數(shù)記錄其運(yùn)行的有關(guān)參數(shù)，如：運(yùn)行開始時(shí)間、退 出時(shí)間、運(yùn)行總時(shí)間、調(diào)用次數(shù)等等的統(tǒng)計(jì)。j10000。 表 測試用例列表 第二章 軟件測試基本技術(shù) 13 傳入?yún)?shù) 預(yù)期調(diào)用 Path 1 ReadPara（ ” =” ） (0) Path 2 ReadPara（ ” ” ） (1) Path 3 ReadPara（ ” ==” ） (2) Path 4 ReadPara（ ” ” ） (3) Path 5 ReadPara（ ” =” ） (4) Path 6 ReadPara（ ” +” ） (5) 2. 白盒測試之程序插樁 在軟件測試中，常常要用到一種“插樁”技術(shù)，通過在源代碼中加入記錄信息語句，以便進(jìn)行運(yùn)行信息的追蹤和調(diào)試，統(tǒng)計(jì)有關(guān)的運(yùn)行資源狀況。 /*28*/． } （ 1） 畫出 這段代碼的 控制流圖 ，如圖 所示： 軟件測試方法與 測試過程的分析與研究 12 圖 控制流圖 （ 2） 根據(jù) 控制流圖 ， 計(jì)算環(huán)路復(fù) 雜度 V(G)=2218+2=6。 /*21*/． else /*22*/． (5)。 /*13*/． else /*14*/． { /*15*/． if( temp = = =) /*16*/． (3)。 /*5*/． else /*6*/． { /*7*/． if (temp = = ) 第二章 軟件測試基本技術(shù) 11 /*8*/． (1)。 例：請看 以下代碼 ，它 由 C++語言書寫 ，把它轉(zhuǎn)化成圖形矩陣，最后 請使用基本路徑測試法為變量 temp 設(shè)計(jì)測試用例，使之滿足基本路徑覆蓋要求。V(G)值正好等于該程序的獨(dú)立路徑的條數(shù)。 第三步：導(dǎo)出測試用例 根據(jù)上面的計(jì)算方法，可得出四個(gè)獨(dú)立的路徑。獨(dú)立路徑必須包含一條在定義之前不曾用到的邊。計(jì)算區(qū)域時(shí)應(yīng)包括圖外部的范圍。一條邊必須終止于一個(gè)結(jié)點(diǎn)，即使該結(jié)點(diǎn)并不代表任何語句 (例如： ifelsethen 結(jié)構(gòu) )。在流圖中，每一個(gè)圓，稱為流圖的結(jié)點(diǎn)，代表一個(gè)或多個(gè)語句。 基本路徑測試法的步驟： 第一步：畫出控制流圖 流程圖用來描述程序控制結(jié)構(gòu)。 如何根據(jù)程序流程圖畫出控制流程圖 呢？ 在將程序流程圖簡化成控制流圖時(shí)，應(yīng)注意 ： 在選擇或多分支結(jié)構(gòu)中，分支的匯聚處應(yīng)有一個(gè)匯聚結(jié)點(diǎn)。圓圈稱為控制流圖的一個(gè)結(jié)點(diǎn)，表示一個(gè)或多個(gè)無分支的語句或源程序語句流圖只有二種圖形符號：圖中的每一個(gè)圓稱為流圖的結(jié)點(diǎn)，代表一條或多條語句。 基本路徑測試的 工具方法： ○ 1 圖形矩陣：是在基本路徑測試中起輔助作用的軟件工具，利用它可以實(shí)現(xiàn)自動(dòng)地確定一個(gè)基本路徑集。 (3) 導(dǎo)出測試用例：根據(jù)圈復(fù)雜度和程序結(jié)構(gòu)設(shè)計(jì)用例數(shù)據(jù)輸入和預(yù)期結(jié)果。 (2) 程序圈復(fù)雜度： McCabe 復(fù)雜性度量。在程序控制流圖的基礎(chǔ)上，通過分析控制構(gòu)造的環(huán)路復(fù)雜性，導(dǎo)出基本可執(zhí)行路徑集合，從而設(shè)計(jì)測試用例。 軟件測試方法與 測試過程的分析與研究 8 基本路徑測試法是在程序控制流圖的基礎(chǔ)上，通過分析控制構(gòu)造的環(huán)路復(fù)雜性，導(dǎo)出基本可執(zhí)行路徑集合，從而設(shè)計(jì)測試用例的方法。 白盒測試的方法介紹 1. 白盒測試之基本路徑法 白盒測試的測試方法有代碼檢查法、靜態(tài)結(jié)構(gòu)分析法、靜態(tài)質(zhì)量度量法、邏輯覆蓋 法、基本路徑測試法、域測試、符號測試、 Z 路徑覆蓋、程序變異。 測試的可視化：白盒測試是工作量巨大并且枯燥的工作，可視化的設(shè)計(jì)對于測試來說是十分重要的。 不同的測試工具對于代碼的覆蓋能力也是不同的，通常能夠支持修正條件判定覆蓋的測試工具價(jià)格是極其昂貴的。但是對于不同的開發(fā)語言，測試工具實(shí)現(xiàn)的方式和內(nèi)容差別是較大的。白盒測試工具在選購時(shí)應(yīng)當(dāng)主要是對開發(fā)語言的支持、代碼覆蓋的深度、嵌入式軟件的測試、測試的可視化等。第三，窮舉路徑測試可能發(fā)現(xiàn)不了一些與數(shù)據(jù)相關(guān)的錯(cuò)誤。第一，窮舉路徑測試決不能查出程序違反了設(shè)計(jì)規(guī)范，即程序本身是個(gè)錯(cuò)誤的程序。貫穿程序的獨(dú)立路徑數(shù)是天文數(shù)字。白盒法是窮舉路徑測試。其中邏輯覆蓋 代碼的覆蓋深度是不同的，從覆蓋源程序語句的詳盡程度分析 包括語句覆蓋、判定覆蓋、條件覆蓋、判定 /條件覆蓋、條件組合覆蓋和路徑覆蓋。 白盒測試法的覆蓋標(biāo)準(zhǔn)有邏輯覆蓋、循環(huán)覆蓋和基本路徑 測試。 這一方法是把測試對象看作一個(gè)打開的盒子，測試人員依據(jù)程序內(nèi)部邏輯結(jié)構(gòu)相關(guān)信息，設(shè)計(jì)或選擇測試用例，對程序所有邏輯路徑進(jìn)行測試，通軟件測試方法與 測試過程的分析與研究 6 過在不同點(diǎn)檢查程序的狀態(tài)，確定實(shí)際的狀態(tài)是否與預(yù)期的狀態(tài)一致。對任何工程產(chǎn)品都可以使用白盒測試和黑盒測試兩種方法之一進(jìn)行測試。它 主要包括程序插樁、邏輯覆蓋、基本路徑測試等。靜態(tài)測試技術(shù) 不要求在計(jì)算機(jī)上實(shí)際執(zhí)行所測程序，主要以一些人工的模擬技術(shù)對軟件進(jìn)行分析和測試。 第二章 軟件測試基本技術(shù) 5 第二章 軟件測試基本技術(shù) 軟件測試技術(shù)概述 通常人們把軟件測試技術(shù)歸結(jié)為兩大類：白盒測試和黑盒測試。 掌握好測試量是至關(guān)重要的，一位有經(jīng)驗(yàn)的軟件開發(fā)管理人員在談到軟件測試時(shí)曾這樣說過：“不充分的測試是愚蠢的，而過度的測試是一種罪孽”。為了降低測試成本，選擇測試用例時(shí)應(yīng)注意遵守“經(jīng)濟(jì)性”的原則。當(dāng)然就不能夠保證被測試程序中不存在遺留的錯(cuò)誤。 e． w． dijkstra 的一句名言對測試的不徹底性作了 很好的注解：“程序測試只能證明錯(cuò)誤的存在，但不能證明錯(cuò)誤不存在”。第二，窮舉路徑測試不可能查出程序中因遺漏路徑而出錯(cuò)。 “白盒”法是窮舉路徑測試，貫穿程序的獨(dú)立路徑數(shù)是天文數(shù)字，但即使每條路徑都測試了仍然可能有錯(cuò)誤。 “黑盒”法是窮舉輸入 測試，只有把所有可能的輸入都作為測試情況使用，才能以這種方法查出程序中所有的錯(cuò)誤。所謂徹底測試，就是讓被測程序在一切可能的輸入情況下全部執(zhí)行一遍。 軟件測試的復(fù)雜性與經(jīng)濟(jì)性 軟件測試的復(fù)雜性 設(shè)計(jì)測試用例是一項(xiàng)細(xì)致并需要高度技巧的工作，稍有不慎就會顧此失彼，發(fā)生不應(yīng)有的疏漏。 （即測試目的）劃分為功能測試、健 壯性測試、接口測試和性能測試。 （即按測試過程）劃分為 單元測試 、 集成測試 、 確認(rèn)測試 、 系統(tǒng)測試 和 驗(yàn)收測試。 （即按測試方法）劃分為白盒測試和黑盒測試。 在遵守以上原則的基礎(chǔ)上進(jìn)行軟件測試，可以以最少的 時(shí)間和人力找出軟件中的各種缺陷，從而達(dá)到保證軟件質(zhì)量的目的。 然而 ,這種觀點(diǎn)指出測試是以查找錯(cuò)誤為中心 ,而不是為了演示軟件的正確功能 .但是只從字面意思理解 ,可能會產(chǎn)生誤導(dǎo) ,認(rèn)為發(fā)現(xiàn)錯(cuò)誤是軟件測試的唯一目的 ,查找不出錯(cuò)誤的測試就是沒有價(jià)值的測試 ,實(shí)際上并非如此 ! 軟件測試方法與 測試過程的分析與研究 2 （ 1）測試并 不僅僅是為了找出錯(cuò)誤 .通過分析錯(cuò)誤產(chǎn)生的原因和錯(cuò)誤的發(fā)生趨勢 ,可以幫助項(xiàng)目管理者發(fā)現(xiàn)當(dāng)前軟件開發(fā)過程中的缺陷 ,以便及時(shí)改進(jìn)； （ 2）這種分析也能幫助測試人員設(shè)計(jì)出有針對性的測試方法 ,改善測試的效率和有效性； （ 3）沒有發(fā)現(xiàn)錯(cuò)誤的測試也是有價(jià)值的 ,完整的測試是評定軟件質(zhì)量的一種方法。 它是幫助識別開發(fā)完成（中間或最終的版本）的計(jì)算機(jī)軟件（整體或部分）的正確度 (correctness)、完全度 (pleteness)和質(zhì)量 (quality)的軟件過程；是 SQA(software quality assurance)的重要子域。 第一章 緒論 1 第一章 緒論 軟件測試概念和目的 軟件測試的概念 軟件測試是為了發(fā)現(xiàn)錯(cuò)誤而執(zhí)行程序的過程，測試只能找出程序中的錯(cuò)誤，而不能證明程序無錯(cuò)。也就是說軟件測試就是使用人工或者自動(dòng)手段來運(yùn)行或測試某個(gè)系統(tǒng)的過程 ,其目的在于檢驗(yàn)它是否滿足規(guī)定的需求或弄清預(yù)期結(jié)果與實(shí)際結(jié)果之間的差別。 軟件測試的目的 Grenford 曾對軟件測試的目的提出過以下觀點(diǎn) : （ 1）測試是為了發(fā)現(xiàn)程序中的錯(cuò)誤而執(zhí)行程序的過程； （ 2）好的測試方案是極可能發(fā)現(xiàn)迄今為止尚未發(fā)現(xiàn)的錯(cuò)誤的測試方案； （ 3）成功的測試是發(fā)現(xiàn)了至今為止尚未發(fā)現(xiàn)的錯(cuò)誤的測試。 軟件測試框圖說明 圖 1— 1 軟件測試框圖 軟件測試原則和分類 軟件測試的基本原則 為了進(jìn)行有效的測試，測試工程師必須掌握軟件測試的基本原則， 軟件修復(fù) 事故 缺陷 缺陷 缺陷 錯(cuò)誤 錯(cuò)誤 錯(cuò)誤 錯(cuò)誤 需求規(guī)格說明 設(shè)計(jì) 編碼 測試 缺陷分類 缺陷隔離 缺陷解決 第一章 緒論 3 測試的幾大原則： ； 測試自己的程序； ； 確的態(tài)度； ，物以類聚，軟件測試也不例外，一定要充分注意軟件測試中的群集現(xiàn)象，即“ Pareto 原則”； ，排除測試的隨意性，以避免發(fā)生疏漏或者重復(fù)無效的工作； 進(jìn)行全面檢查； 、測試計(jì)劃、測試報(bào)告和最終分析報(bào)告，以備回歸測試及維護(hù)之用。 軟件測試的分類 軟件測試的 技術(shù)和方法是多種多樣的，對于軟件測試技術(shù)，可以從不同的角度加以分類。 （即按測試方式）劃 分為 靜態(tài)測試和 動(dòng)態(tài)測試。 這 四個(gè)過程相互獨(dú)立且順序相接，依次進(jìn)行。 軟件測試方法與 測試過程的分析與研究 4 此外，按照測試目的劃分還包括強(qiáng)度測試、壓力測試、用戶界面測試、安全測試、可靠性測試、安裝 \反安裝測試、文檔測試、恢復(fù)測試和兼容性測試。不論是黑盒測試方法還是白盒測試方法，由于測試情況數(shù)量巨大，都不可能進(jìn)行徹底的測試。通常也稱這種測試為“窮舉測試”。實(shí)際上測試情況有無窮多個(gè)，人們不僅要測試所有合法的輸入，而且還要對那些不合法但是可能的輸入進(jìn)行測試。第一，窮舉路徑測試決不能查出程序違反了設(shè)計(jì)規(guī)范，即程序本身是個(gè)錯(cuò)誤的程序。第三，窮舉路徑測試可能發(fā)現(xiàn)不了一些與數(shù)據(jù)相關(guān)的錯(cuò)誤。 在實(shí)際測試中，窮舉測試工作量太大，實(shí)踐上行不通，這就注定了一切實(shí)際測試都是不徹底的。 第一章 緒論 5 軟件測試的經(jīng)濟(jì)性 軟件工程的總目標(biāo)是充分利用有限的人力和物力資源，高效率、高質(zhì)量地完成測試。第一，要根據(jù)程序的重要性和一旦發(fā)生故障將造成的損失來確定它的測試等級；第二，要認(rèn)真研究測試策略，以便能使用盡可能少的測試用例，發(fā)現(xiàn)盡可能多的程序錯(cuò)誤。測試不足意味著讓用戶承擔(dān)隱藏錯(cuò)誤帶來的危險(xiǎn)，過度測試則會浪費(fèi)許多寶貴的資源。白盒測試又可分為靜態(tài)測試和動(dòng)態(tài)測試。它 主要包括代碼檢查法、靜態(tài)結(jié)構(gòu)分析法等；動(dòng)態(tài)測試技術(shù) 是通過輸入一組 預(yù)先按照一定的測試準(zhǔn)則構(gòu)造的實(shí)例數(shù)據(jù)來動(dòng)態(tài)運(yùn)行程序，而達(dá)到發(fā)現(xiàn)程序錯(cuò)誤的過程。黑盒測試一般可分為功能測試和非功能測試兩大類；功能測試主要包括等價(jià)類劃分、邊值分析、因果圖法、錯(cuò)誤推測、功能圖法等，主要用于軟件確認(rèn)測試；非功能測試主要包括使用性能測試、性能測試、強(qiáng)度測試、兼容性測試、配臵測試、安全測試等。 白盒測試技術(shù) 白盒測試的概述 白盒測試也稱結(jié)構(gòu)測試或邏輯驅(qū)動(dòng)測試，它是按照程序內(nèi) 部的結(jié)構(gòu)測試程序，通過測試來檢測產(chǎn)品內(nèi)部動(dòng)作是否按照設(shè)計(jì)規(guī)格說明書的規(guī)定正常進(jìn)行，檢驗(yàn)程序中的每條通路是否都能按預(yù)定要求正確工作。 白盒測試的測試方法有代碼檢查法、靜態(tài)結(jié)構(gòu)分析法、靜態(tài)質(zhì)量度量法、邏輯覆蓋法、基本路徑測試法、域測試、符號測試、 Z 路徑覆蓋、程序變異。邏輯覆蓋測試分支結(jié)構(gòu)，循環(huán)覆蓋測試循環(huán)結(jié)構(gòu)。 白盒法全面了解程序內(nèi)部邏輯結(jié)構(gòu)、對所有邏輯路徑進(jìn)行測試。在使用這一方案時(shí)，測試者必須檢查程序的內(nèi)部結(jié)構(gòu)，從檢查程序的邏輯著手，得出測試數(shù)據(jù)。但即使每條路徑都測試了仍然可能有錯(cuò)誤。第二，窮舉路徑 測試不可能查出程序中因遺漏路徑而出錯(cuò)。 白盒測試的工具 白盒測試目前主要用在具有高可靠性要求的軟件領(lǐng)域，例如：軍工軟件、航天航空軟件、工業(yè)控制軟件等等。 對開發(fā)語言的支持：白盒測試工具是對源代碼進(jìn)行的測試，測試的主要內(nèi)容包括詞法分析與語法分析、靜態(tài)錯(cuò)誤分析、動(dòng)態(tài)檢測等。目前測試工具主要 第二章 軟件測試基本技術(shù) 7 支持