《檢查產品說明書》PPT課件.ppt

《《檢查產品說明書》PPT課件.ppt》由會員分享，可在線閱讀，更多相關《《檢查產品說明書》PPT課件.ppt（30頁珍藏版）》請在裝配圖網上搜索。

2020 3 30 1 第三講測試產品說明書 軟件測試的一般理論黑盒測試白盒測試靜態(tài)測試和動態(tài)測試測試產品說明書使用檢查表 2020 3 30 2 測試的基本理論 2020 3 30 3 軟件測試的目標 測試是一個執(zhí)行一個程序或者文件 去發(fā)現缺陷和錯誤的過程 好的測試是盡可能發(fā)現迄今為止尚未發(fā)現的錯誤的測試方案成功的測試是發(fā)現了至今為止尚未發(fā)現的錯誤 所以 設計測試的目標是系統地發(fā)現各種等級的缺陷和錯誤 同時花費最少的時間和成本 并且做到 證明軟件的功能是按照說明書的要求實現的性能的要求也達到了測試中收集的數據足以指明了軟件的可靠性 在某種程度上表明了軟件的質量 但是 測試不能展示潛在的缺陷 只能展示表現出來的缺陷 2020 3 30 4 軟件測試的流程 測試 軟件配置 測試配置 評價 測試結果 預期結果 調試 可靠性模型 錯誤 錯誤率數據 正確 可靠性預測 2020 3 30 5 測試用例設計 開始是比較難的能夠測試組件是否符合規(guī)格說明書 BlackBoxTesting 能夠測試組件是否符合設計 Whiteboxtesting 如果沒有對所有的路徑測試 則不能證明程序的正確性 2020 3 30 6 測試方案 設計測試方案設計測試方案是測試階段的關鍵技術問題 測試方案包括要測試的功能 應該輸入的測試數據和預期的結果 設計技術主要有兩種方法 黑盒法與白盒法 一般用黑盒法設計基本的測試方案 再用白盒法補充一些方案 2020 3 30 7 測試方案技術 黑盒和白盒測試 1 黑盒法測試人員將程序看成是一個 黑盒 即不關心程序內部是什么 只要檢查程序是否符合它的 功能說明 黑盒法可分為下列幾種方法 關鍵在于確定測試數據 輸入 輸出 2020 3 30 8 測試方案技術 黑盒 1 等價分類法等價分類法是將輸入數據的可能值分成若干 等價類 每一類以一個代表性的測試數據進行測試 這個數據就等價于這一類中的其它數據 該法的關鍵在于如何將輸入數據分類 例如 輸入的數據范圍是1 999 我們可以劃分三類 x 999 2020 3 30 9 測試方案技術 黑盒 2 邊緣值分析法用邊緣特殊值測試 經驗表明 程序往往在邊緣情況時犯錯誤 故測試邊緣情況比較有效 例如 輸入數據的值的范圍是 1 0至1 0 則可選 1 0 1 0 1 001 1 001等數據作為測試數據 2020 3 30 10 測試方案技術 黑盒 3 因果圖法等價類法與邊緣值分析法的缺點是沒有檢查各種輸入條件的組合 因果圖法則著重分析輸入條件的各種組合 每種組合條件就是 因 它必然有一個輸出的結果 這就是 果 2020 3 30 11 測試方案技術 黑盒 4 錯誤推測法通過經驗或直覺推測程序中可能存在的各種錯誤 從而有針對性設計測試用例 使用常見錯誤清單 判定表等 2020 3 30 12 測試方案技術 白盒測試 2 白盒法白盒法需要了解程序的功能與結構 測試用例必須根據程序內部的邏輯來設計 如果想用白盒法發(fā)現程序中的所有錯誤 則至少必須使程序中每種可能的路徑都執(zhí)行一次 徹底地測試 是不可能的 故策略是 在一定的研制時間 研制經費的限制下 通過執(zhí)行有限的測試用例 盡可能多地發(fā)現一些錯誤 白盒法又稱為邏輯覆蓋法 目前常用的覆蓋法有 輸入 輸出 2020 3 30 13 測試方案技術 白盒測試 1 語句覆蓋即每個語句至少能執(zhí)行一次 問題 若AND錯寫為OR 或X 1錯寫為X 1 則錯誤無法由上例測出 Testcase A 2 B 0 X 4 2020 3 30 14 測試方案技術 白盒測試 2 判定覆蓋判定覆蓋又叫分支覆蓋 含義是 每個判定的分支至少執(zhí)行一次 Testcases A 3 B 0 X 3 A 2 B 1 X 1 問題 若X 1錯寫為X 1 仍然無法被測出 2020 3 30 15 測試方案技術 白盒測試 3 條件覆蓋即一個判斷語句中往往包含了若干條件 通過給出測試用例 使判斷中的每個條件都獲得各種可能的結果 Testcases A 2 B 0 X 4 滿足A 1 B 0 A 2 X 1 A 1 B 1 X 1 滿足A 1 B 0 A 2 X 1 問 條件覆蓋 判定覆蓋 答 不一定 反例 A 2 B 0 X 1 A 1 B 1 X 2 2020 3 30 16 測試方案技術 白盒測試 4 判斷 條件覆蓋選取足夠多的測試數據 使判斷中每個條件都取得各種可能值 并使每個判斷表達式也取到各種可能的結果 Testcases A 2 B 0 X 4 滿足A 1 B 0 A 2 X 1 A 1 B 1 X 1 滿足A 1 B 0 A 2 X 1 2020 3 30 17 測試方案技術 白盒測試 5 條件組合覆蓋使得每個判斷中條件的各種可能組合都至少出現一次 全部可能的條件組合為 A 1 B 0 A 1 B 0 A 1 B 0 A 1 B 0 A 2 X 1 A 2 X 1 A 2 X 1 A 2 X 1 Testcases A 2 B 0 X 4 TT A 2 B 1 X 1 FT A 1 B 0 X 2 FT A 1 B 1 X 1 FF 問題 沒有測試到 TF 的情形 2020 3 30 18 測試方案技術 測試策略 實用測試策略 1 在任何情況下都使用邊界值分析的方法 2 必要時用等價劃分法補充測試方案 3 必要時再用錯誤推測法補充測試方案 4 對照程序邏輯 檢查已經設計出的測試方案 可以根據對程序可靠性的要求采用不同的邏輯覆蓋標準 如果現有測試方案的邏輯覆蓋程度沒達到要求的覆蓋標準 則應再補充一些測試方案 注意 即使采用綜合策略設計方案 仍不能保證測試將發(fā)現一切程序錯誤 2020 3 30 19 靜態(tài)測試和動態(tài)測試 靜態(tài)測試 statictesting 測試不運行的部分 只是檢查和審閱動態(tài)測試 dynamictesting 運行和使用軟件 測試軟件的缺陷 2020 3 30 20 產品說明書 產品說明書 對產品最終需要實現的功能的描述 這些功能是最終確定的需要滿足的客戶需求 也包括是一些軟件必須具備的能力 在規(guī)范的軟件生成的流程中 產品功能說明書應在用戶需求評審會議召開后確定 2020 3 30 21 測試軟件產品說明書 靜態(tài)黑盒 特點是書面文檔 不是軟件是軟件需求和功能的說明描述形成的符號是 文字 圖表根據細致 準確地描述 測試缺陷使用的測試方法靜態(tài)黑盒SB測試先總體測試 在詳細測試 2020 3 30 22 總體測試 審查 在總體上 審查文檔是否有原則上的重大問題 疏忽或遺漏選擇的測試人員需要有一定的系統經驗 或者軟件應用領域的背景知識 也可以請其他的需求定義和系統分析人員幫助審查的原則站在客戶角度 從總體上看需求是否滿足盡可能多的了解應用領域的背景知識對照現有的標準和規(guī)范去審查 比如習慣用語和約定 行業(yè)要求 國家標準 圖形用戶界面需求 硬件和網絡標準借鑒類似的成熟軟件 確定測試的標準 比如規(guī)模 復雜性 測試性 質量和可靠性等 2020 3 30 23 詳細測試 追根問底 產品需求說明書的根本要求完整 說明要完全 不能有遺漏和丟失準確 說明是否正確 有沒有錯誤精確 清晰 描述是否清楚 容易看懂和理解一致 描述是否自相矛盾 與其他功能有沒有沖突貼切 功能是否符合客戶的要求 信息描述是否多余合理 資源的使用與預算和進度是否相配代碼無關 只寫說明 與實現無關可測 功能和性能是否可測 2020 3 30 24 詳細測試 用語檢查 文檔中的用語需要規(guī)范有些用語會造成誤解和理解困難 有些是個人的習慣需要重點審查帶有如下用詞的描述 是否確切表達不確切 不可測的說法 比如 良好 迅速 廉價 高效 穩(wěn)定等缺乏必要考證 而下結論的描述 比如 因此 顯然 當然等極端的描述 比如 總是 所有 沒有 從不等沒有說明的描述 比如 已處理 已忽略 已消除等條件的假設缺陷 比如條件中缺少 否則 不可測的模糊信息 比如 有時 通常 幾乎 諸如此類 依此類推 2020 3 30 25 使用檢查表 檢查表是測試文檔缺陷最有效的手段之一檢查表的建立是需要深思熟濾的提問 針對不同類型的文檔建立的潛在缺陷的查找清單檢查表需要不斷的維護如何使用檢查表獲取需要測試的文檔獲取相關的檢查表 閱讀檢查表中的每一項審查文檔 對照檢查表中的每一項測試說明描述的符合程度記錄不符合項 作出合適的說明和解決措施 2020 3 30 26 檢查表舉例 見文件CheckList requirement xls 2020 3 30 27 不符合項 缺陷 的處理 反映產品的缺陷 不需要也不能修正產品 發(fā)現產品說明書的缺陷后 應該把它們如實并詳細的記錄下來 呈報給此軟件的最終負責人 對并此缺陷的處理情況進行跟蹤缺陷列表應該呈報給軟件的最終負責人 而不是給相關技術人員或技術主管 因為技術人員可能會以在技術的實現上有難度為推托 拒絕對缺陷的修改 測試一個軟件最首要也是最重要的是測試其產品說明書 在產品說明書明確后 再制定具體的測試案例 2020 3 30 28 軟件文檔測試舉例 1 COPY功能是將數值復制到剪貼板中2 PASTE功能是將剪貼板中的數值粘帖回來3 SQRT按鈕是將輸入框中的數字開平方 并將結果顯示在數字輸入框中 2020 3 30 29 軟件文檔測試舉例 4 當用戶選擇CompactMemory選項時 程序將郵件列表數據壓縮到可能與Huffman解析矩陣方法同樣大小的尺寸5 盡管使用的模擬連接通常不超過一百萬個 但是該軟件最多允許一億個 沒有量化 不精確沒有作到與代碼無關 涉及到了算法 不可測 2020 3 30 30 小結 黑盒和白盒測試產品描述文檔的測試