cqsaaa第4章-基于缺陷模式的軟件測(cè)試-文庫(kù)吧資料
2024-08-06 09:21本頁(yè)面
【正文】 為 0或負(fù)數(shù)故障。 一旦非法計(jì)算類故障產(chǎn)生，系統(tǒng)將強(qiáng)行退出。 4．空指針使用故障（ NULL Pointer Dereference Fault NPDF） 定義：空指針使用故障：引用空指針或給空指針賦值的都是空指針使用故障。 （ 1）對(duì)程序中任何出現(xiàn) Array[i]的地方，都要判斷 i的范圍，可能有三種情況： 若 i是在數(shù)組定義的范圍內(nèi)，則是正確的； 若 i是在數(shù)組定義的范圍外，則是 OBAF； 若 i不確定，則 Array[i]是否是 OBAF則不確定； （ 2）字符串拷貝過程中存在的數(shù)組越界故障 。 故障模式 2. 數(shù)組越界故障的故障模式（ Out of Bounds Array Access Fault OBAF） 定義：數(shù)組越界故障：設(shè)某數(shù)組定義為 Array[min?max]，若引用 Array[i]且 imin或 imax都是數(shù)組越界故障。 ? 不匹配故障：是指申請(qǐng)函數(shù)和釋放函數(shù)不匹配。包括以下幾種故障模式： 故障模式 1. 存儲(chǔ)泄漏的故障模式（ Memory Leak Fault MLF） 定義：內(nèi)存泄漏故障（ Memory Leak Faults）：設(shè)在程序的某處申請(qǐng)了大小為 M的空間，凡在程序結(jié)束時(shí) M或者 M的一部分沒被釋放、或者多次釋放 M或M的一部分都是內(nèi)存泄漏故障。 ? 性能缺陷模式：此類缺陷會(huì)降低系統(tǒng)的性能 ? 疑問代碼模式：讓人費(fèi)解的代碼 缺陷模式概述 4. 規(guī)則模式：軟件開發(fā)總要遵循一定的規(guī)則，某個(gè)團(tuán)隊(duì)也有一些開發(fā)規(guī)則，違反這些規(guī)則也是不允許的。 ? 存儲(chǔ)器泄露模式 ? 資源泄漏模式 ? 指針使用錯(cuò)誤模式 ? 數(shù)組越界模式 ? 非法計(jì)算模式 ? 使用未初始化變量模式 ? 死循環(huán)結(jié)構(gòu)模式 ? 死鎖模式 缺陷模式概述 缺陷模式概述 2. 安全漏洞模式：此類缺陷會(huì)給系統(tǒng)留下安全隱患，為攻擊該系統(tǒng)開了綠燈。我們以 C++語言和 Java語言為背景來描述其缺陷模式，將軟件的缺陷模式分為四個(gè)層次，即故障模式、漏洞模式、缺陷模式和規(guī)則模式。因此，該技術(shù)有一個(gè)性價(jià)比的問題，在時(shí)間遍歷過程中，往往都有一定的限制，如在一個(gè)函數(shù)內(nèi)、一個(gè)類內(nèi)、一個(gè)文件內(nèi)等。漏報(bào)率定義為： 基于缺陷模式的軟
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1