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

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