軟件測試15軟件測試充分性和測試停止課件

軟件測試充分性和測試停止標準軟件測試充分性和測試停止標準101軟件測試充分性問題02軟件測試原理03測試停止準則目錄CONTENTS01軟件測試充分性問題02軟件測試原理03測試停止準2軟件測試充分性問題01軟件測試充分性問題013軟件測試充分性問題測試充分性問題是軟件測試的另一個重要問題。一位有經驗的軟件開發(fā)管理人員在談到軟件測試是曾這樣說過：“不充分的測試是愚蠢的，而過度的測試則是一種罪孽?！逼湓蛟谟冢翰怀浞值臏y試勢必使軟件帶著一些未揭露的隱藏故障投入運行，這可能使用戶承擔更大的危險；過度測試則會浪費許多寶貴的資源。測試的一個合理目標就是：開發(fā)出足夠的測試用例，以保證軟件在典型應用和關鍵系統(tǒng)中不會存在什么問題。軟件測試充分性問題測試充分性問題是軟件測試的另一個重要問題。4軟件測試充分性問題——充分性準則測試充分性準則是在測試之前，由相關各方根據質量、成本和進度等因素規(guī)定的，表現為對測試的要求與軟件需求和軟件現實有關，具有以下的一些基本性質：空測試對于任何軟件測試都是不充分的。對任何軟件都存在有限的充分測試數據集，這一性質稱為有限性。如果一個測試數據集對一個軟件系統(tǒng)的測試是充分的，那么在增加一些測試用例也是充分的，這一性質稱為單調性。軟件越復雜，需要的測試用例就越多，這一性質稱為復雜性。測試得越多，進一步測試所能得到的充分性增長就越少，這一性質稱為回報遞減律。軟件測試充分性問題——充分性準則測試充分性準則是在測試之前，5軟件測試充分性問題——測試數據充分性公理Weyuker將公理系統(tǒng)應用到軟件測試的研究中，給出了幾條基于程序的測試數據集充分性公理。非外延性公理：如果有兩個功能相同而實現不同的程序，對其中一個是充分的測試數據集對另一個不一定是充分的。多重修改公理：如果兩個程序具有相同的語法結構，對一個是充分的測試數據集對另一個不一定是充分的。不可分解公理：對一個程序進行了充分的測試，并不表示對其中的成分都進行了充分的測試。非復合性公理：對程序各單元是充分的測試數據集并不一定對整個程序（集成后）是充分的。軟件測試充分性問題——測試數據充分性公理Weyuker將公理6軟件測試原則02軟件測試原則027軟件測試原則從不同的角度出發(fā)，軟件測試會派生出兩種不同的測試原則：用戶希望通過軟件測試能充分暴露軟件中存在的問題和故障；開發(fā)者希望測試能表明軟件產品已經正確地實現了用戶的需求，沒有軟件故障存在。軟件測試原則從不同的角度出發(fā)，軟件測試會派生出兩種不同的測試8軟件測試原則完全測試程序是不可能的例如，一個程序若有輸入量X和Y及輸出量Z，在字長為32的計算機上進行。如果X,Y為整數，按功能測試法窮舉，測試數據有：2^32×2^32=2^64個。如果測試一組數據需要1ms,一年工作365×24h,完成所有測試需5億年。不可行的原因主要有以下幾個方面：程序輸入量太大；程序輸出量太多；軟件實現途徑太多。軟件測試原則完全測試程序是不可能的例如，一個程序若有輸入量X9軟件測試原則軟件測試是有風險的不能做到完全測試，不測試又會漏掉一些軟件故障。我們的目標應該是使有限的測試投資獲得最大的收益，即以有限的測試用例檢查出盡可能多的軟件故障。測試無法顯示隱藏的軟件故障通過測試可以查找并報告發(fā)現軟件故障，但是不能保證軟件故障全部被找到，也無法報告隱藏的軟件故障。繼續(xù)測試，可能還會發(fā)現一些。軟件測試原則軟件測試是有風險的不能做到完全測試，不測試又會漏10軟件測試原則原因可能有以下幾種：在典型程序中，某些程序段看來比其他程序段更容易出錯，例如，在IBM/370操作系統(tǒng)中，人們注意到一個現象：47%的軟件故障（由用戶發(fā)現的）只與系統(tǒng)中4%的程序模塊有關。存在的故障數量與發(fā)現的故障數成正比程序員怠倦。程序員編寫一天代碼或許情緒還不錯，第二天、第三天可能就會煩躁不安了。一個軟件故障很可能是暴露附近更多軟件故障的信號。程序員往往犯同樣的錯誤。每個人都有自己的偏好，一個程序員總是反復犯自己容易犯的錯誤。某些軟件故障可能是冰山之巔。某些看似無關的軟件故障可能是由一個極其嚴重的原因造成。軟件測試原則原因可能有以下幾種：在典型程序中，某些程序段看來11軟件測試原則殺蟲劑現象1990年BorisBeizer在其《軟件測試技術》（第二版）一書中引用了“殺蟲劑現象”一詞，用于描述軟件測試進行的越多，其程序免疫力越強的現象。為了避免殺蟲劑現象的發(fā)生，應該根據不同的測試方法開發(fā)測試用例，對程序的不同部分進行測試，以找出更多的軟件故障。并非所有軟件故障都能修復不修復軟件故障的原因可能有以下幾種。沒有足夠的時間。修復風險太大。不值得修復。不算真正的軟件故障。軟件測試原則殺蟲劑現象1990年BorisBeizer在12軟件測試原則不要丟棄測試用例除非確實沒有用，一般不要丟棄測試用例。應避免測試自己編寫的程序并不是說程序員不可能測試自己的程序。只是相比之下，如果由他人來進行測試，可能會更有效，更成功。軟件測試是一項復雜的，具有創(chuàng)造性的和需要高度智慧的挑戰(zhàn)性任務隨著軟件規(guī)模和復雜性的增加，測試一個大型軟件所要求的創(chuàng)造力，可能超過設計那個軟件所要求的創(chuàng)造力?，F在，生產低質軟件的代價太高了，軟件行業(yè)也發(fā)展到強制使用軟件測試人員的時代。軟件測試原則不要丟棄測試用例除非確實沒有用，一般不要丟棄測試13測試停止準則03測試停止準則0314測試停止準則在實際工作中，常用的停止測試的標準有五類。第一類標準：測試超過了預定的時間，停止測試。第二類標準：執(zhí)行了所有測試用例但沒有發(fā)現故障，停止測試。第三類標準：使用特定的測試用例方法作為判斷測試停止的基礎。第四類標準：正面指出測試完成的要求，如發(fā)現并修改70個軟件故障。第五類標準：根據單位時間內查出故障的數量決定是否停止測試。測試停止準則在實際工作中，常用的停止測試的標準有五類。第一類15謝謝謝謝16軟件測試充分性和測試停止標準軟件測試充分性和測試停止標準1701軟件測試充分性問題02軟件測試原理03測試停止準則目錄CONTENTS01軟件測試充分性問題02軟件測試原理03測試停止準18軟件測試充分性問題01軟件測試充分性問題0119軟件測試充分性問題測試充分性問題是軟件測試的另一個重要問題。一位有經驗的軟件開發(fā)管理人員在談到軟件測試是曾這樣說過：“不充分的測試是愚蠢的，而過度的測試則是一種罪孽。”其原因在于：不充分的測試勢必使軟件帶著一些未揭露的隱藏故障投入運行，這可能使用戶承擔更大的危險；過度測試則會浪費許多寶貴的資源。測試的一個合理目標就是：開發(fā)出足夠的測試用例，以保證軟件在典型應用和關鍵系統(tǒng)中不會存在什么問題。軟件測試充分性問題測試充分性問題是軟件測試的另一個重要問題。20軟件測試充分性問題——充分性準則測試充分性準則是在測試之前，由相關各方根據質量、成本和進度等因素規(guī)定的，表現為對測試的要求與軟件需求和軟件現實有關，具有以下的一些基本性質：空測試對于任何軟件測試都是不充分的。對任何軟件都存在有限的充分測試數據集，這一性質稱為有限性。如果一個測試數據集對一個軟件系統(tǒng)的測試是充分的，那么在增加一些測試用例也是充分的，這一性質稱為單調性。軟件越復雜，需要的測試用例就越多，這一性質稱為復雜性。測試得越多，進一步測試所能得到的充分性增長就越少，這一性質稱為回報遞減律。軟件測試充分性問題——充分性準則測試充分性準則是在測試之前，21軟件測試充分性問題——測試數據充分性公理Weyuker將公理系統(tǒng)應用到軟件測試的研究中，給出了幾條基于程序的測試數據集充分性公理。非外延性公理：如果有兩個功能相同而實現不同的程序，對其中一個是充分的測試數據集對另一個不一定是充分的。多重修改公理：如果兩個程序具有相同的語法結構，對一個是充分的測試數據集對另一個不一定是充分的。不可分解公理：對一個程序進行了充分的測試，并不表示對其中的成分都進行了充分的測試。非復合性公理：對程序各單元是充分的測試數據集并不一定對整個程序（集成后）是充分的。軟件測試充分性問題——測試數據充分性公理Weyuker將公理22軟件測試原則02軟件測試原則0223軟件測試原則從不同的角度出發(fā)，軟件測試會派生出兩種不同的測試原則：用戶希望通過軟件測試能充分暴露軟件中存在的問題和故障；開發(fā)者希望測試能表明軟件產品已經正確地實現了用戶的需求，沒有軟件故障存在。軟件測試原則從不同的角度出發(fā)，軟件測試會派生出兩種不同的測試24軟件測試原則完全測試程序是不可能的例如，一個程序若有輸入量X和Y及輸出量Z，在字長為32的計算機上進行。如果X,Y為整數，按功能測試法窮舉，測試數據有：2^32×2^32=2^64個。如果測試一組數據需要1ms,一年工作365×24h,完成所有測試需5億年。不可行的原因主要有以下幾個方面：程序輸入量太大；程序輸出量太多；軟件實現途徑太多。軟件測試原則完全測試程序是不可能的例如，一個程序若有輸入量X25軟件測試原則軟件測試是有風險的不能做到完全測試，不測試又會漏掉一些軟件故障。我們的目標應該是使有限的測試投資獲得最大的收益，即以有限的測試用例檢查出盡可能多的軟件故障。測試無法顯示隱藏的軟件故障通過測試可以查找并報告發(fā)現軟件故障，但是不能保證軟件故障全部被找到，也無法報告隱藏的軟件故障。繼續(xù)測試，可能還會發(fā)現一些。軟件測試原則軟件測試是有風險的不能做到完全測試，不測試又會漏26軟件測試原則原因可能有以下幾種：在典型程序中，某些程序段看來比其他程序段更容易出錯，例如，在IBM/370操作系統(tǒng)中，人們注意到一個現象：47%的軟件故障（由用戶發(fā)現的）只與系統(tǒng)中4%的程序模塊有關。存在的故障數量與發(fā)現的故障數成正比程序員怠倦。程序員編寫一天代碼或許情緒還不錯，第二天、第三天可能就會煩躁不安了。一個軟件故障很可能是暴露附近更多軟件故障的信號。程序員往往犯同樣的錯誤。每個人都有自己的偏好，一個程序員總是反復犯自己容易犯的錯誤。某些軟件故障可能是冰山之巔。某些看似無關的軟件故障可能是由一個極其嚴重的原因造成。軟件測試原則原因可能有以下幾種：在典型程序中，某些程序段看來27軟件測試原則殺蟲劑現象1990年BorisBeizer在其《軟件測試技術》（第二版）一書中引用了“殺蟲劑現象”一詞，用于描述軟件測試進行的越多，其程序免疫力越強的現象。為了避免殺蟲劑現象的發(fā)生，應該根據不同的測試方法開發(fā)測試用例，對程序的不同部分進行測試，以找出更多的軟件故障。并非所有軟件故障都能修復不修復軟件故障的原因可能有以下幾種。沒有足夠的時間。修復風險太大。不值得修復。不算真正的軟件故障。軟件測試原則殺蟲劑現象1990年BorisBeizer在28軟件測試原則不要丟棄測試用例除非確實沒有用，一般不要丟棄測試用例。應避免測試自己編寫的程序并不是說程序員不可能測試自己的程序。只是相比之下，如果由他人來進行測試，可能會更有效，更成功。軟件測試是一項復雜的，具有創(chuàng)造性的和需要高度智慧的挑戰(zhàn)性任務隨著軟件規(guī)模和復雜性的增加，測試一個大型軟件所要求的創(chuàng)造力，可能超過設計那個軟件所要求的創(chuàng)造力?，F在，生產低質軟件的代價太高了，軟件行業(yè)也發(fā)展到強制使用軟件測試人員的時代。軟件測試原則不要丟棄測試用例除非確實