[計(jì)算機(jī)]測試第4章(已修改)
2024-10-31 03:53 本頁面
【正文】 基于缺陷模式的軟件測試 簡介 ? 軟件缺陷模式與測試是 2021年后在美國誕生的一種新型軟件測試技術(shù) ? 主要面向軟件中的 非功能性缺陷 ,并以缺陷檢測效率高、定位準(zhǔn)確、自動(dòng)化程度高、易用等特點(diǎn)而受到廣泛關(guān)注 ? 國際上目前主流軟件測試技術(shù)之一，是 可信軟件系統(tǒng)中必須要做的一步測試，是美國政府指定，眾多大企業(yè)都普遍使用的測試技術(shù)。 基本概念 ? 軟件缺陷 ：與需求不一致的統(tǒng)稱為缺陷 ? 軟件缺陷分類 ：功能性缺陷和非功能性缺陷 ? 非功能性軟件缺陷模式 ： 能給出確切語法和語義定義，并在實(shí)踐中經(jīng)常發(fā)生或后果比較嚴(yán)重的缺陷的集合。 非功能性軟件缺陷測試的必要性 ? 從實(shí)踐來看 ：國際上大量的測試工具的應(yīng)用效果表明，大多數(shù)商用軟件和開源軟件其故障率可達(dá)12個(gè) /KLOC，安全漏洞密度可達(dá) 34個(gè) /KLOC，其他類型的缺陷密度更大。 ? 非功能性缺陷也會(huì)造成系統(tǒng)的 死機(jī)等安全問題 ? 非功能性軟件缺陷大多是由 開發(fā)者疏忽造成的，且眾多與路徑相關(guān) ，這種缺陷是不可避免的。 相關(guān)工具 ?Metal：斯坦福大學(xué) (C/C++) ?FindBugs：馬里蘭大學(xué) (Java) ?PMD：一款開源源碼靜態(tài)分析工具 (Java) ?Klocwork：美國 Klocwork 公司 (C/C++/Java) ?CodeSonar： GrammaTech 公司 (C/C++) ?Coverity Prevent:Coverity 公司(C/C++/Java) ?Inspector for C/C++:Reasoning 公司 相關(guān)工具 ? Klocwork：中國有 200多個(gè)用戶 ? Coverity：美國政府指定測試工具， 2021年測試代碼超過 100億行， 2021年上半年超過 115億行 ? DTS：北京郵電大學(xué)研發(fā)，已經(jīng)在航天、武器裝備、企業(yè) ERP、財(cái)務(wù)、鐵路、電信、電力中使用， 120多個(gè)試用戶，已經(jīng)測試了上千萬行代碼、數(shù)百個(gè)軟件 作用及意義 ? 軟件缺陷模式與測試是軟件測試領(lǐng)域中一種新型的軟件測試技術(shù) ? 主要面向軟件的非功能性缺陷，可以檢測一般軟件測試技術(shù)中難以檢測的軟件缺陷 ??? 與面向過程的軟件測試具有很好的互補(bǔ)性 ??? 基于缺陷模式的測試技術(shù)與已往的軟件測試有很大的不同，檢測精度與效率比較高，測試成本低 基于缺陷模式的軟件測試 ? 基于缺陷模式的軟件測試概述 ? 基于缺陷模式的軟件測試指標(biāo)分析 ? 缺陷模式 ? 基于缺陷模式的軟件測試系統(tǒng)（ DTS） 基于缺陷模式的軟件測試概述 ? 缺陷模式必須滿足下列幾個(gè)條件： 1. 該模式下的缺陷是符合實(shí)際的。 2. 基于該模式的缺陷數(shù)目是可以容忍的。 3. 該模式下的缺陷是可以測試的。 基于缺陷模式的軟件測試概述 ? 基于模式的軟件測試技術(shù)具有如下特點(diǎn)： 1. 針對(duì)性強(qiáng)：如果說某種模式的缺陷是經(jīng)常發(fā)生的，并且在被測軟件中是存在的，則面向缺陷的測試可以檢測出此類缺陷。 2. 基于缺陷模式的軟件測試技術(shù)往往能發(fā)現(xiàn)其他測試技術(shù)難以發(fā)現(xiàn)的故障，如內(nèi)存泄漏缺陷，空指針引用缺陷。 3. 工具自動(dòng)化程度高以及測試效率高。 4. 缺陷定位準(zhǔn)確：對(duì)測試所發(fā)現(xiàn)的缺陷能夠準(zhǔn)確定位。 5. 易學(xué)、易使用：對(duì)一般的 IT專業(yè)專科以上的畢業(yè)生，該測試方法一般經(jīng)過數(shù)天的培訓(xùn)即可掌握其使用方法。 ? 基于缺陷模式的軟件測試概述 ? 基于缺陷模式的軟件測試指標(biāo)分析 ? 缺陷模式 ? 基于缺陷模式的軟件測試系統(tǒng)（ DTS） 基于缺陷模式的軟件測試 基于缺陷模式的軟件測試指標(biāo)分析 ? 設(shè) P是待測程序，將缺陷模式 M分成類M={M1， M2， …M n}，每類分成種Mi={Mi1， Mi2， … ， MiL},從 P中計(jì)算出和 M相匹配的檢查點(diǎn)的集合IP={IP1,IP2,…,IP m},可以定義如下技術(shù)指標(biāo)： 1. 漏報(bào)率 (ER)：設(shè) P是程序， M是缺陷模式， A是算法， IP（ M， A， P）是 IP總的數(shù)目，考慮到測試算法實(shí)現(xiàn)過程中的不同假設(shè)，會(huì)導(dǎo)致 IP（ M， A， P）不同。漏報(bào)率定義為： 基于缺陷模式的軟件測試指標(biāo)分析 |),(||),(),(|PMIPPMIPPAMIPE r r o r R a t io ??? 理論上 IP(M,P)是確定的 ,但在實(shí)踐中很難得到 。 ? IP通常需要人工確定該 IP是否真的是缺陷 ,考慮程序的復(fù)雜性以及測試代價(jià)等因素 ,IP經(jīng)確認(rèn)后分 3中情況 :
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1