cqsaaa第4章-基于缺陷模式的軟件測(cè)試(編輯修改稿)
2025-08-20 09:21 本頁面
【文章內(nèi)容簡(jiǎn)介】 ? 命名規(guī)則 ? 可移植性規(guī)則 ? 資源規(guī)則 缺陷模式 ? 缺陷模式概述 ? 故障模式 ? 安全漏洞模式 ? 缺陷模式 故障模式 ? 故障模式中給出的故障描述，是程序中可能存在的故障，這些故障一旦被激活，就會(huì)使系統(tǒng)發(fā)生錯(cuò)誤。包括以下幾種故障模式： 故障模式 1. 存儲(chǔ)泄漏的故障模式（ Memory Leak Fault MLF） 定義：內(nèi)存泄漏故障（ Memory Leak Faults）：設(shè)在程序的某處申請(qǐng)了大小為 M的空間，凡在程序結(jié)束時(shí) M或者 M的一部分沒被釋放、或者多次釋放 M或M的一部分都是內(nèi)存泄漏故障。 MLF有三種形式： ? 遺漏故障：是指申請(qǐng)的內(nèi)存沒有被釋放。 ? 不匹配故障：是指申請(qǐng)函數(shù)和釋放函數(shù)不匹配。 ? 不相等的釋放錯(cuò)誤：是指釋放的空間和申請(qǐng)的空間大小不一樣。 故障模式 2. 數(shù)組越界故障的故障模式（ Out of Bounds Array Access Fault OBAF） 定義：數(shù)組越界故障：設(shè)某數(shù)組定義為 Array[min?max]，若引用 Array[i]且 imin或 imax都是數(shù)組越界故障。在 C++中，若i0或 i?max是數(shù)組越界故障。 （ 1）對(duì)程序中任何出現(xiàn) Array[i]的地方，都要判斷 i的范圍，可能有三種情況： 若 i是在數(shù)組定義的范圍內(nèi)，則是正確的； 若 i是在數(shù)組定義的范圍外，則是 OBAF； 若 i不確定，則 Array[i]是否是 OBAF則不確定； （ 2）字符串拷貝過程中存在的數(shù)組越界故障 。 故障模式 3．使用未初始化變量故障模式（ Uninitialized Variable Fault， UVF） 定義：使用未初始化變量故障：存在一個(gè)路徑，在該路徑上使用前面沒有被賦初值的變量是使用未初始化變量故障。 4．空指針使用故障（ NULL Pointer Dereference Fault NPDF） 定義：空指針使用故障：引用空指針或給空指針賦值的都是空指針使用故障。 故障模式 5．非法計(jì)算類故障（ Illegal Computing Fault ILCF） 定義：非法計(jì)算類故障：是指計(jì)算機(jī)不允許的計(jì)算。 一
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1