【正文】 上午 4時 8分 白盒測試 Whitebox testing 任課老師：黃武 上午 4時 8分 提綱 ?白盒測試概述 ?靜態(tài)白盒測試 ?動態(tài)白盒測試 上午 4時 8分 1. 白盒測試概述 ? 白盒測試概念 ? 白盒測試過程 ? 白盒測試的應用范圍 ? 白盒測試的優(yōu)點 ? 白盒測試的缺點 ? 白盒測試的發(fā)展歷程 上午 4時 8分 白盒測試概念 ?白盒測試 是一種基于軟件內(nèi)部路徑，結(jié)構(gòu)和代碼實現(xiàn)基礎(chǔ)上的軟件測試策略，該測試方法通常需要詳細的編程技巧 ?例：請找出下面代碼的錯誤 void main ( ) { int x。 if( x 0 ) x = x。 /// 翻轉(zhuǎn)負數(shù) } 上午 4時 8分 白盒測試過程 ? 通用的白盒測試過程如下： 1. 分析測試軟件的內(nèi)部實現(xiàn) 2. 識別被測軟件的工作路徑 3. 選擇輸入，執(zhí)行被測路徑，并確定期望的測試結(jié)果 4. 運行測試 5. 比較真實輸出和期望輸出的異同 6. 作出被測軟件功能正確性的判斷 上午 4時 8分 白盒測試的應用范圍 ? 白盒測試能夠應用到所有的系統(tǒng)開發(fā)階段，包括單元測試，集成測試和系統(tǒng)測試 ? 白盒測試通常進行路徑測試，我們可以通過這種方法測試單元內(nèi)部，單元之間，子系統(tǒng)之間以及系統(tǒng)內(nèi)部的各種執(zhí)行路徑 ? 路徑（測試路徑） ：從開始到結(jié)束執(zhí)行之間運行的語句序列 Unit Integration System 白盒測試的應用 x x( ) y( ) x( ) y( ) main( ) … 上午 4時 8分 白盒測試的優(yōu)點 ?迫使測試人員去思考軟件的實現(xiàn) ?可以識別和測試代碼中的每條分支路徑，對代碼的測試比較徹底 ?揭示隱藏在代碼中的錯誤或缺陷 ?根據(jù)內(nèi)部結(jié)果進行最優(yōu) 化測試 上午 4時 8分 白盒測試的缺點 1. 執(zhí)行路徑可能非常多造成無法進行完全測試 2. 白盒測試假設(shè)控制流是正確的，因此測試人員只基于存在的路徑進行測試，而對于不存在的路徑則無法測試 3. 測試員必須具備編程知識，可能有很多測試員不具備這種知識，將無法進行白盒測試，比如財會人員無法對財務軟件進行白盒測試 上午 4時 8分 白盒測試的發(fā)展歷程 項目 代數(shù) 是否評估測試效果 是否自動測試 是否持續(xù)測試 是否調(diào)測一體 第一代 否 否 否 否 第二代 是 是 否 否 第三代 是 是 是 否 第四代 是 是 是 是 第 1代到第 4代白盒測試方法的主要差別 上午 4時 8分 ? 第 1代白盒測試方法屬于無組織、無約束的測試方法，典型情況是拿調(diào)試當測試，或者簡單的在被測代碼中加入 print、 assert等語句 ? 第 2代白盒測試方法主要克服第 1代方法的兩大缺陷：一是沒有測試評估（比如覆蓋率），二是未對測試操作進行重用，重用測試操作必然以某種形式化語言描述測試過程 。常見的第 2代白盒測試工具有： Rational的 RTRT、Parasoft的 CppTest、 IPL的 Cantata++等 上午 4時 8分 幾代白盒測試的差異說明 ?第 3代白盒測試方法區(qū)別第 2代方法最主要特點是：它支持持續(xù)集成的操作模式，這在理念上有了一次飛躍。第 3代白盒方法主要代表是 xUnit系列測試工具，如JUnit、 NUnit、 DUnit等 ?第 4代白盒測試方法相對第 3代方法，主要是引入了調(diào)測一體的理念。遵循第 4代白盒測試方法的測試工具主要以VcTester為代表 上午 4時 8分 2 靜態(tài)白盒測試 ? 靜態(tài)白盒測試概述 ? 正式審查 ? 編碼標準和規(guī)范 ? 通用代碼審查清單 上午 4時 8分 靜態(tài)白盒測試概述 ?靜態(tài)白盒測試 是指在不執(zhí)行軟件的條件下有條理地仔細審查軟件設(shè)計、體系結(jié)構(gòu)和代碼，從而找出軟件缺陷的過程，有時又稱為 結(jié)構(gòu)分析 ?對于要求嚴格的代碼，比如軍隊，金融，工業(yè)控制，醫(yī)藥類軟件，通常會自覺組織靜態(tài)白盒測試 上午 4時 8分 靜態(tài)白盒測試的原因 ?靜態(tài)白盒測試可以從整體上把握軟件代碼的質(zhì)量，比如可以輕易找到代碼不合規(guī)范的地方 ?進行靜態(tài)白盒測試可以盡早發(fā)現(xiàn)軟件缺陷，便于及時改進 ?靜態(tài)白盒測試為動態(tài)測試準備的案例提供思路 上午 4時 8分 靜態(tài)白盒測試的原因 上午 4時 8分 靜態(tài)白盒測試的困難 ? 由于靜態(tài)白盒測試投入高，耗時多，而且沒有直接的產(chǎn)出，很多公司難于接受，往往不能善始善終 ? 靜態(tài)白盒測試要求公司具有對編程標準和規(guī)范了解深刻的程序員，但很多公司不具備這種程序員，造成執(zhí)行困難 ? 靜態(tài)白盒測試可能會減緩軟件開發(fā)的進度 上午 4時 8分 正式審查 ? 正式審查 是進行靜態(tài)白盒測試的過程，其含義廣泛，從兩個程序員之間的交談，到代碼的嚴格檢查均屬于此 ? 正式審查是一個逐步建立的過程。如果正確進行正式審查，這將是早期發(fā)現(xiàn)軟件缺陷的好方法 上午 4時 8分 正式審查的 4個要素 1. 審查準備 每一個合作者都要精心準備，他們在審查中扮演不同角色，比如程序員，測試員，管理員等，明確自己的責任和義務。很多問題是在準備階段發(fā)現(xiàn)的 2. 遵守規(guī)則 審查要遵守一套固定的規(guī)則，比如設(shè)定要評審的代碼量，花費的時間，審查的形式，哪些需要備注等 上午 4時 8分 正式審查的 4個要素 3. 確定問題 審查的目標是找出軟件的問題，包括錯誤和遺漏。在審查時，只針對代碼而不要針對程序員，避免相互指責 4. 編寫審查報告 審查小組必須做出總結(jié)審查結(jié)果的書面報告，并使報告便于開發(fā)小組的成員使用 上午 4時 8分 正式審查的間接效果 1. 交流 ——審查成員之間加強了交流，從而相互理解，相互學習 2. 質(zhì)量 ——程序員的代碼通過逐行審查，不僅提高審查代碼的質(zhì)量，同時也對程序員起到促進作用 上午 4時 8分 同事審查 ? 同事審查 是指在編寫代碼的程序員和充當審查員的程序員或測試員之間進行的小范圍正式審查，這是最簡單的正式審查，又被稱為 伙伴審查 ? 為了避免同事審查流于形式，同事審查也要保證正式審查的 4個關(guān)鍵要素：審查準備，遵守規(guī)則，確定問題以及編寫審查報告 上午 4時 8分 公開陳述 ? 公開陳述 是使同事審查正規(guī)化的下一步。編程人員需要向?qū)ｉT組成的審查小組公開陳述代碼，包括逐行的解釋代碼，說明代碼的工作原理等，審查人員則需要提出問題 ? 在進行公開陳述之前，程序員要向?qū)彶槿藛T提供代碼