軟件質(zhì)量保證與測(cè)試綜述（44頁(yè))ppt課件

1、軟件質(zhì)量保證與測(cè)試郭俊恩計(jì)算機(jī)與信息工程系2022年7月14日第1頁(yè).2目錄一、相關(guān)知識(shí)及意義二、軟件質(zhì)量保證管理三、軟件測(cè)試四、軟件質(zhì)量保證與測(cè)試人才的特點(diǎn).3一、相關(guān)知識(shí)及意義 1、軟件開發(fā)過(guò)程.42、硬件、軟件失效曲線圖 .53、軟件質(zhì)量要求包括6個(gè)主要特征功能性：軟件實(shí)現(xiàn)的功能到達(dá)要求的和隱含的用戶需求以及設(shè)計(jì)規(guī)范的程度，可靠性：軟件在指定條件和特定時(shí)間段內(nèi)維持性能的才干程度，易運(yùn)用性：用戶運(yùn)用該軟件所付出的學(xué)習(xí)精神，效率：在指定條件下，軟件功能與所占用資源之間的比值，可維護(hù)性：當(dāng)發(fā)現(xiàn)錯(cuò)誤、運(yùn)轉(zhuǎn)環(huán)境改動(dòng)或客戶需求改動(dòng)時(shí)，程序能修正的容易程度，可移植性：將軟件從一種環(huán)境移入另一種環(huán)境的容

2、易程度。.64軟件缺陷的修復(fù)費(fèi)用.75意義迪斯尼獅子王缺陷人造隕石坑缺陷程序員的千年蟲問(wèn)題愛國(guó)者導(dǎo)彈缺陷.8二、軟件質(zhì)量保證與管理1、軟件質(zhì)量控制的根本方法軟件質(zhì)量控制是一組由開發(fā)組織運(yùn)用的程序和方法，運(yùn)用它可在規(guī)定的資金投入和時(shí)間限制的條件下，提供滿足客戶質(zhì)量要求的軟件產(chǎn)品并繼續(xù)不斷地改善開發(fā)過(guò)程和開發(fā)組織本身，以提高未來(lái)消費(fèi)高質(zhì)量軟件產(chǎn)品的才干。.1.1目的問(wèn)題度量法對(duì)一個(gè)工程的各個(gè)方面產(chǎn)品、過(guò)程和資源規(guī)定詳細(xì)的目的，這些目的的表達(dá)應(yīng)非常明確。對(duì)每一個(gè)目的，要引出一系列能反映出這個(gè)目的能否到達(dá)要求的問(wèn)題，并要求對(duì)這些問(wèn)題進(jìn)展回答。這些問(wèn)題的答案將有助于使目的定量化。將回答這些問(wèn)題的答案映射

3、到對(duì)軟件質(zhì)量等級(jí)的度量上，根據(jù)這種度量得出軟件目的能否到達(dá)的結(jié)論，或確認(rèn)哪些做好了，哪些仍需改善。搜集數(shù)據(jù)。要為搜集和分析數(shù)據(jù)做出方案。.1.2風(fēng)險(xiǎn)管理法 根據(jù)閱歷識(shí)別工程要素的有關(guān)風(fēng)險(xiǎn)；評(píng)價(jià)風(fēng)險(xiǎn)發(fā)生的概率和發(fā)生的代價(jià)；按發(fā)生概率和代價(jià)劃分風(fēng)險(xiǎn)等級(jí)并排序；在工程限定條件下選擇控制風(fēng)險(xiǎn)的技術(shù)并制定方案；執(zhí)行方案并監(jiān)視進(jìn)程；繼續(xù)評(píng)價(jià)風(fēng)險(xiǎn)形狀并采取正確的措施。.1.3 PDCA法戴明循環(huán)確定質(zhì)量目的提高質(zhì)量開發(fā)質(zhì)量評(píng)價(jià)質(zhì)量質(zhì)量控制參數(shù)產(chǎn)品、過(guò)程、資源定義改善估計(jì)度量方案Plan改良Action實(shí)施Do檢查Check.2 軟件配置管理軟件配置管理是在貫穿整個(gè)軟件生命周期中建立和維護(hù)工程產(chǎn)品的完好性。它

4、的根本目的包括：軟件配置管理的各項(xiàng)任務(wù)是有方案進(jìn)展的。被選擇的工程產(chǎn)品得到識(shí)別，控制并且可以被相關(guān)人員獲取。已識(shí)別出的工程產(chǎn)品的更改得到控制。使相關(guān)組別和個(gè)人及時(shí)了解軟件基準(zhǔn)的形狀和內(nèi)容。.常用的軟件配置管理工具VisualSVN ServerTortoiseSVN.3 軟件評(píng)審的內(nèi)容3.1 管理評(píng)審一個(gè)組織之所以需求管理，是為了能更好的提高和開展。為了到達(dá)這個(gè)目的，通常需求對(duì)原來(lái)的開展情況進(jìn)展回想，分析并總結(jié)出存在的問(wèn)題和改良的措施。這也就是為什么進(jìn)展管理評(píng)審的緣由。管理評(píng)審就是最高管理者為評(píng)價(jià)管理體系的適宜性、充分性和有效性所進(jìn)展的活動(dòng)。管理評(píng)審的主要內(nèi)容是組織的最高管理者就管理體系的現(xiàn)狀

5、、適宜性、充分性和有效性以及方針和目的的貫徹落實(shí)及實(shí)現(xiàn)情況進(jìn)展正式的評(píng)價(jià)，其目的就是經(jīng)過(guò)這種評(píng)價(jià)活動(dòng)來(lái)總結(jié)管理體系的業(yè)績(jī)，并從當(dāng)前業(yè)績(jī)上思索找出與預(yù)期目的的差距，同時(shí)還應(yīng)思索任何能夠改良的時(shí)機(jī)，并在研討分析的根底上，對(duì)組織在市場(chǎng)中所處位置及競(jìng)爭(zhēng)對(duì)手的業(yè)績(jī)予以評(píng)價(jià)，從而找出本身的改良方向。.3.2 技術(shù)評(píng)審 技術(shù)評(píng)審的目的發(fā)現(xiàn)軟件在功能、邏輯、實(shí)現(xiàn)上的錯(cuò)誤；驗(yàn)證軟件符合它的需求規(guī)格；確認(rèn)軟件符合預(yù)先定義的開發(fā)規(guī)范和規(guī)范；保證軟件在一致的方式下進(jìn)展開發(fā)；便于工程管理。技術(shù)評(píng)審的輸入評(píng)審的目的是闡明為什么要進(jìn)展該評(píng)審，該評(píng)審的實(shí)施目的是什么；評(píng)審的內(nèi)容包括需求文檔、源代碼、測(cè)試用例等；評(píng)審檢查單檢查

6、項(xiàng)；其他必需的文檔，如對(duì)設(shè)計(jì)文檔進(jìn)展評(píng)審，那么需求文檔可以作為相關(guān)文檔帶入技術(shù)評(píng)審會(huì)。技術(shù)評(píng)審的輸出技術(shù)評(píng)審報(bào)告會(huì)議的根本信息；存在的問(wèn)題和建議措施；評(píng)審結(jié)論和意見；問(wèn)題跟蹤表；技術(shù)評(píng)審問(wèn)答記錄通常作為附錄出如今報(bào)告中。.3.3 文檔評(píng)審文檔評(píng)審的目的文檔評(píng)審的內(nèi)容在軟件開發(fā)過(guò)程中，需求進(jìn)展評(píng)審的文檔很多，主要包括如下內(nèi)容：需求評(píng)審，對(duì)、等進(jìn)展評(píng)審。設(shè)計(jì)評(píng)審，對(duì)、等進(jìn)展評(píng)審。代碼評(píng)審，對(duì)代碼進(jìn)展審核。質(zhì)量驗(yàn)證評(píng)審，對(duì)、等進(jìn)展評(píng)審。.3.4 過(guò)程評(píng)審 過(guò)程評(píng)審的作用如下：評(píng)價(jià)主要的質(zhì)量保證流程。思索如何處置和處理評(píng)審過(guò)程中發(fā)現(xiàn)的不符合問(wèn)題。總結(jié)和共享好的閱歷。指出需求進(jìn)一步完善和改良的部分。.過(guò)

7、程評(píng)審流程 .193.5代碼審查代碼審查的主要任務(wù)代碼審查的主要任務(wù)：發(fā)現(xiàn)代碼中的bug；從代碼的易維護(hù)性、可擴(kuò)展性角度調(diào)查代碼的質(zhì)量，提出修正建議。代碼編寫者，代碼審核者共同對(duì)代碼的質(zhì)量承當(dāng)責(zé)任。這樣才干保證Code Review不是走過(guò)場(chǎng)，其中代碼編寫者承當(dāng)主要責(zé)任，代碼審核者承當(dāng)次要責(zé)任。.20三、軟件測(cè)試方法1. 黑盒測(cè)試2. 白盒測(cè)試3. 灰盒測(cè)試4. 集成測(cè)試5. 系統(tǒng)測(cè)試6. 壓力測(cè)試.211黑盒測(cè)試的根本概念 黑盒測(cè)試試圖發(fā)現(xiàn)以下類型的錯(cuò)誤：功能錯(cuò)誤或脫漏；界面錯(cuò)誤；數(shù)據(jù)構(gòu)造或外部數(shù)據(jù)庫(kù)訪問(wèn)錯(cuò)誤；性能錯(cuò)誤；初始化和終止錯(cuò)誤。.221.1等價(jià)類劃分等價(jià)類劃分法是一種黒盒測(cè)試的技術(shù)

8、，不思索程序的內(nèi)部構(gòu)造，是把一切能夠的輸入數(shù)據(jù)，即程序的輸入域劃分成假設(shè)干部分子集，然后從每一個(gè)子集中選取少數(shù)具有代表性的數(shù)據(jù)作為測(cè)試用例。.231.2.1劃分等價(jià)類等價(jià)類劃分可有兩種不同的情況:有效等價(jià)類和無(wú)效等價(jià)類。有效等價(jià)類:是指對(duì)于程序的規(guī)格闡明來(lái)說(shuō)是合理的，有意義的輸入數(shù)據(jù)構(gòu)成的集合。利用有效等價(jià)類可檢驗(yàn)程序能否實(shí)現(xiàn)了規(guī)格闡明中所規(guī)定的功能和性能。無(wú)效等價(jià)類:與有效等價(jià)類的定義恰巧相反，不符合需求規(guī)格闡明書。.241.2.2等價(jià)類表例如 輸入條件有效等價(jià)類無(wú)效等價(jià)類輸入條件有效等價(jià)類無(wú)效等價(jià)類1001.無(wú)效等價(jià)類2.有效等價(jià)類3.無(wú)效等價(jià)類.251.2.3設(shè)計(jì)測(cè)試用例 先根據(jù)輸入條件

9、確定有效等價(jià)類和無(wú)效等價(jià)類，然后從劃分出的等價(jià)類中按以下三個(gè)原那么設(shè)計(jì)測(cè)試用例。每一個(gè)等價(jià)類規(guī)定一個(gè)獨(dú)一的編號(hào)。設(shè)計(jì)一個(gè)新的測(cè)試用例，使其盡能夠多地覆蓋尚未被覆蓋地有效等價(jià)類，反復(fù)這一步。直到一切的有效等價(jià)類都被覆蓋為止。設(shè)計(jì)一個(gè)新的測(cè)試用例，使其僅覆蓋一個(gè)尚未被覆蓋的無(wú)效等價(jià)類，反復(fù)這一步，直到一切的無(wú)效等價(jià)類都被覆蓋為止。用例編號(hào)所屬等價(jià)類乘數(shù)1乘數(shù)2乘積123206021-102提示“請(qǐng)輸入1100之間的整數(shù)”332003提示“請(qǐng)輸入1100之間的整數(shù)”.26三角形等價(jià)類劃分 輸入條件有效等價(jià)類無(wú)效等價(jià)類是否三角形的3條邊（A0）， （1）（B0）， （2）（C0）， （3）（A+BC）

10、， （4）（B+CA）， （5）（A+CB） （6）（A0）， （7）（B0）， （8）（C0）， （9）（A+BC）， （10）（B+CA）， （11）（A+CB） （12）是否等腰三角形（A=B）， （13）（B=C）， （14）（C=A）， （15）（AB）and（BC）and（CA），（16）是否等邊三角形（A=B）and（B=C）and（C=A），（17）（AB）， （18）（BC）， （19）（CA）， （20）.27三角形測(cè)試用例等價(jià)類劃分 用例編號(hào)【A，B，C】覆蓋等價(jià)類輸出1【3，4，5】（1），（2），（3），（4），（5），（6）一般三角形2【0，1，2】（7）不能構(gòu)成三

11、角形3【1，0，2】（8）4【1，2，0】（9）5【1，2，3】（10）6【1，3，2】（11）7【3，1，2】（12）8【3，3，4】（1），（2），（3），（4），（5），（6），（13）等腰三角形9【3，4，4】（1），（2），（3），（4），（5），（6），（14）10【3，4，3】（1），（2），（3），（4），（5），（6），（15）11【3，4，5】（1），（2），（3），（4），（5），（6），（16）非等腰三角形12【3，3，3】（1），（2），（3），（4），（5），（6），（17）是等邊三角形13【3，4，4】（1），（2），（3），（4），（5），（6），（14），（1

12、8）非等邊三角形14【3，4，3】（1），（2），（3），（4），（5），（6），（15），（19）15【3，3，4】（1），（2），（3），（4），（5），（6），（13），（20）.281.3邊境值分析法1.3.1 邊境條件我們可以想象一下，假設(shè)在懸崖峭壁邊可以自信地平安行走，平地就不在話下了。假設(shè)軟件在才干到達(dá)極限時(shí)可以運(yùn)轉(zhuǎn)，那么在正常情況下普通也就不會(huì)有什么問(wèn)題。邊境條件是特殊情況，由于編程從根本上說(shuō)不疑心邊境有問(wèn)題。奇異的是，程序在處置大量中間數(shù)值時(shí)都是對(duì)的，但是能夠在邊境處出現(xiàn)錯(cuò)誤。.291.3.2其他一些邊境條件另一種看起來(lái)很明顯的軟件缺陷來(lái)源是當(dāng)軟件要求輸入時(shí)比如在文本框中，不

13、是沒(méi)有輸入正確的信息，而是根本沒(méi)有輸入任何內(nèi)容，只按了Enter鍵。這種情況在產(chǎn)品闡明書中經(jīng)常被忽視，程序員也能夠經(jīng)常遺忘，但是在實(shí)踐運(yùn)用中卻時(shí)有發(fā)生。程序員總會(huì)習(xí)慣性地以為用戶要么輸入信息，不論是看起來(lái)合法的或非法的信息，要么就會(huì)選擇Cancel鍵放棄輸入，假設(shè)沒(méi)有對(duì)空值進(jìn)展好的處置的話，恐怕程序員本人都不知道程序會(huì)引向何方。正確的軟件通常應(yīng)該將輸入內(nèi)容默以為合法邊境內(nèi)的最小值，或者合法區(qū)間內(nèi)的某個(gè)合理值，否那么，前往錯(cuò)誤提示信息。由于這些值通常在軟件中進(jìn)展特殊處置，所以不要把它們與合法情況和非法情況混在一同，而要建立單獨(dú)的等價(jià)區(qū)間。.301.3.3邊境值的選擇方法對(duì)邊境值設(shè)計(jì)測(cè)試用例，應(yīng)遵

14、照以下幾條原那么：假設(shè)輸入條件規(guī)定了值的范圍，那么應(yīng)取剛到達(dá)這個(gè)范圍的邊境的值，以及剛剛超越這個(gè)范圍邊境的值作為測(cè)試輸入數(shù)據(jù)。假設(shè)輸入條件規(guī)定了值的個(gè)數(shù)，那么用最大個(gè)數(shù)、最小個(gè)數(shù)、比最小個(gè)數(shù)少1、比最大個(gè)數(shù)多1的數(shù)作為測(cè)試數(shù)據(jù)。根據(jù)規(guī)格闡明的每個(gè)輸出條件，運(yùn)用前面的原那么。根據(jù)規(guī)格闡明的每個(gè)輸出條件，運(yùn)用前面的原那么。假設(shè)程序的規(guī)格闡明給出的輸入域或輸出域是有序集合，那么應(yīng)選取集合的第一個(gè)元素和最后一個(gè)元素作為測(cè)試用例。假設(shè)程序中運(yùn)用了一個(gè)內(nèi)部數(shù)據(jù)構(gòu)造，那么應(yīng)中選擇這個(gè)內(nèi)部數(shù)據(jù)構(gòu)造邊境上的值作為測(cè)試用例。分析規(guī)格闡明，找出其他能夠的邊境條件。.312 白盒測(cè)試的概述軟件人員運(yùn)用白盒測(cè)試方法，主

15、要想對(duì)程序模塊進(jìn)展如下的檢查：對(duì)程序模塊的一切獨(dú)立的執(zhí)行途徑至少測(cè)試一次；對(duì)一切的邏輯斷定，取“真與取“假的兩種情況都至少測(cè)試一次；在循環(huán)的邊境和運(yùn)轉(zhuǎn)界限內(nèi)執(zhí)行循環(huán)體；測(cè)試內(nèi)部數(shù)據(jù)構(gòu)造的有效性等。.322.2 白盒測(cè)試的實(shí)施步驟：測(cè)試方案階段：根據(jù)需求闡明書，制定測(cè)試進(jìn)度。測(cè)試設(shè)計(jì)階段：根據(jù)程序設(shè)計(jì)闡明書，按照一定規(guī)范化的方法進(jìn)展軟件構(gòu)造劃分和設(shè)計(jì)測(cè)試用例。測(cè)試執(zhí)行階段：輸入測(cè)試用例，得到測(cè)試結(jié)果。測(cè)試總結(jié)階段：對(duì)比測(cè)試的結(jié)果和代碼的預(yù)期結(jié)果，分析錯(cuò)誤緣由，找到并處理錯(cuò)誤。.332.3控制流測(cè)試.342.4 算法流程 .352.5語(yǔ)句覆蓋語(yǔ)句覆蓋的含義是：在測(cè)試時(shí)首先設(shè)計(jì)假設(shè)干個(gè)測(cè)試用例，然后

16、運(yùn)轉(zhuǎn)被測(cè)程序，使程序中的每個(gè)可執(zhí)行語(yǔ)句至少執(zhí)行一次。這里所謂“假設(shè)干個(gè)，自然是越少越好。讓我們總結(jié)一下語(yǔ)句覆蓋的優(yōu)點(diǎn)和缺陷。優(yōu)點(diǎn)：很直觀地從代碼中得到測(cè)試用例，無(wú)需細(xì)分每條斷定表達(dá)式。缺陷:對(duì)于隱藏的條件和能夠到達(dá)的隱式分支是無(wú)法測(cè)試的。它只在乎運(yùn)轉(zhuǎn)一次，而不思索其他情況.362.6斷定覆蓋按斷定覆蓋準(zhǔn)那么進(jìn)展測(cè)試是指：設(shè)計(jì)假設(shè)干測(cè)試用例，運(yùn)轉(zhuǎn)被測(cè)程序，使得程序中每個(gè)判別的取真分支和取假分支至少閱歷一次，即判別的真假值均曾被滿足。下面總結(jié)一下分支覆蓋測(cè)試的優(yōu)點(diǎn)和缺陷。優(yōu)點(diǎn)：分支覆蓋是比語(yǔ)句覆蓋更強(qiáng)的測(cè)試才干，比語(yǔ)句覆蓋要多幾乎一倍的測(cè)試途徑。它無(wú)需細(xì)分每個(gè)斷定就可以得到測(cè)試用例。缺陷:往往大部

17、分的斷定語(yǔ)句是由多個(gè)邏輯條件組合而成，假設(shè)僅僅判別其最終結(jié)果，而忽略每個(gè)條件的取值必然會(huì)脫漏部分的測(cè)試途徑。.372.7條件覆蓋變量表達(dá)式的值類別a=2取真值記為T3a=2取假值記為t3X1取真值記為T4X1取假值記為t4測(cè)試用例abx路徑覆蓋條件CASE6203SABCDET1T2T3T4CASE7101SACEt1T2t3T4CASE8211SACDET1t2T3t4變量表達(dá)式的值類別a1取真值記為T1a1取假值記為t1b=0取真值記為T2b=0取假值記為t2測(cè)試用例abx路徑覆蓋條件CASE8211SACDET1t2T3t4CASE9103SACDEt1T2t3T4.38斷定-條件覆蓋測(cè)

18、試 賦值類別a1，b=0記為T1，T2a1，b!=0記為T1，t2a=1，b=0記為t1，T2a1記為T3，T4a=2，x1記為t3，T4a!=2，x=1記為t3，t4.39測(cè)試用例abx覆蓋組合路徑覆蓋條件CASE1203SABCDET1T2T3T4CASE8211SACDET1t2T3t4CASE9103SACDEt1T2t3T4CASE10111SACEt1t2t3t4.402.8途徑覆蓋按途徑覆蓋要求進(jìn)展測(cè)試是指，設(shè)計(jì)足夠多的測(cè)試用例要求覆蓋程序中一切能夠的途徑。下面總結(jié)一下途徑覆蓋測(cè)試的優(yōu)點(diǎn)和缺陷。優(yōu)點(diǎn)：途徑覆蓋是經(jīng)常要用到的測(cè)試覆蓋方法，它比普通的斷定覆蓋準(zhǔn)那么和條件覆蓋準(zhǔn)那么覆蓋率都要高。缺陷:途徑覆蓋不一定能保證條件的一切組合都覆蓋。a=1，b=0這個(gè)就沒(méi)有被測(cè)試到。：由于途徑覆蓋需求對(duì)一切能夠的途徑進(jìn)展測(cè)試包括循環(huán)、條件組合、分支選擇等，那么需求設(shè)計(jì)大量、復(fù)雜的測(cè)試用例，使得任務(wù)量呈指數(shù)級(jí)增長(zhǎng)。.41四、軟件質(zhì)量保證與測(cè)試人才的特點(diǎn)現(xiàn)代軟件研發(fā)對(duì)軟件人才的需求傳統(tǒng)軟件人才的特點(diǎn)創(chuàng)新軟件人才的特點(diǎn)敢冒風(fēng)險(xiǎn)敢冒風(fēng)險(xiǎn)有雄心壯志有雄心壯志能學(xué)習(xí)，適應(yīng)新環(huán)境能學(xué)習(xí)，適應(yīng)新環(huán)境實(shí)事求是的作風(fēng)創(chuàng)新精神有克服困難的毅力如果對(duì)問(wèn)題有興趣，則有熱情、有主動(dòng)性扎實(shí)的理論基礎(chǔ)，尤其是數(shù)學(xué)獨(dú)立