cqsaaa第4章-基于缺陷模式的軟件測試(更新版)
【正文】 ?；谌毕菽Ｊ降能浖y試 基于缺陷模式的軟件測試 ? 基于缺陷模式的軟件測試概述 ? 基于缺陷模式的軟件測試指標(biāo)分析 ? 缺陷模式 基于缺陷模式的軟件測試概述 ? 缺陷模式必須滿足下列幾個(gè)條件： 1. 該模式下的缺陷是符合實(shí)際的。 5. 易學(xué)、易使用 ? 基于缺陷模式的軟件測試概述 ? 基于缺陷模式的軟件測試指標(biāo)分析 ? 缺陷模式 ? 基于缺陷模式的軟件測試系統(tǒng)（ DTS） 基于缺陷模式的軟件測試 基于缺陷模式的軟件測試指標(biāo)分析 ? 設(shè) P是待測程序，將缺陷模式 M分成類M={M1， M2， …Mn} ，每類分成種Mi={Mi1， Mi2， … ， MiL},從 P中計(jì)算出和 M相匹配的檢查點(diǎn)的集合IP={IP1,IP2,…,IPm}, 可以定義如下技術(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）不同。 ? 緩沖區(qū)溢出模式 ? 被感染的數(shù)據(jù)模式 ? 競爭條件模式 ? 風(fēng)險(xiǎn)操作模式 缺陷模式概述 3. 缺陷模式：此類缺陷是不應(yīng)該發(fā)生的，它未必會(huì)造成系統(tǒng)的錯(cuò)誤，但可能會(huì)隱含某些故障，或者是由初級軟件工程師不理解造成的。在 C++中，若i0或 i?max是數(shù)組越界故障。 ? 根號內(nèi)為負(fù)數(shù)的故障。 安全漏洞模式 1. 緩沖區(qū)溢出（ buffer overflow）漏洞模式 定義：當(dāng)程序要在一個(gè)緩沖區(qū)內(nèi)存儲(chǔ)比該緩沖區(qū)的大小還要多的數(shù)據(jù)時(shí)，即會(huì)產(chǎn)生緩沖區(qū)溢出漏洞。 安全漏洞模式 3. 競爭條件 (Race Condition) 定義 : 如果程序中有兩種不同的 I/O調(diào)用同一文件進(jìn)行操作，而且這兩種調(diào)用是通過絕對路徑或相對路徑引用文件的，那么就易出現(xiàn) Race Condition問題。 ? 思考： ? 研究軟件缺陷模式有何意義？與黑盒測試和白盒測試相比，基于缺陷模式的軟件測試方法有什么好處？ ? MLF有哪三種形式？ ? 什么是 OBAF？一般何種情況下產(chǎn)生？ ? 在 C++中，使用未初始化的靜態(tài)變量和全局變量是否會(huì)產(chǎn)生 UVF類故障？
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1