軟件質(zhì)量與測試第六次講課

1、軟件測試實(shí)用教程方法與實(shí)踐PartII 軟件測試技術(shù)1第5章 白盒測試技術(shù)內(nèi)容提要介紹白盒測試基本原理，圍繞最重要的5種測試方法展開討論靜態(tài)白盒測試、對(duì)變量的測試主要采用靜態(tài)方法進(jìn)行測試，一般不需要設(shè)計(jì)測試用例對(duì)判定的測試、對(duì)路徑的測試和對(duì)循環(huán)的測試主要是動(dòng)態(tài)測試的方法，需要設(shè)計(jì)測試用例在對(duì)判定的測試中，需結(jié)合邊界值的思想設(shè)計(jì)測試用例，而對(duì)路徑的測試方法的思想可以用于對(duì)整個(gè)系統(tǒng)功能的業(yè)務(wù)流程進(jìn)行測試2第5章 白盒測試技術(shù)本章重點(diǎn)靜態(tài)白盒測試對(duì)判定測試對(duì)路徑的測試對(duì)循環(huán)的測試對(duì)變量的測試35.1 概述基本原理45.1 概述白盒測試關(guān)注的對(duì)象源代碼：直接查看源代碼，查看代碼的規(guī)范性，并對(duì)照函數(shù)功能

2、查找代碼的邏輯缺陷、內(nèi)存管理缺陷、數(shù)據(jù)定義和使用缺陷等程序結(jié)構(gòu)：通過函數(shù)調(diào)用圖、算法流程圖等反映程序設(shè)計(jì)的相關(guān)圖表，找到程序設(shè)計(jì)的缺陷，或評(píng)價(jià)程序的執(zhí)行效率，以利于程序的結(jié)構(gòu)優(yōu)化55.1 概述優(yōu)勢針對(duì)性強(qiáng)，測試效率高，通過不同的白盒覆蓋指標(biāo)有助于衡量對(duì)被測對(duì)象的測試覆蓋程度在函數(shù)級(jí)別開始測試工作，缺陷修復(fù)的成本低局限性對(duì)測試人員的技術(shù)要求高，沒有一定編程經(jīng)驗(yàn)的人是無法做白盒測試的65.1 概述適用階段當(dāng)被測對(duì)象為函數(shù)時(shí)完成對(duì)函數(shù)代碼和結(jié)構(gòu)的測試主要關(guān)注的是函數(shù)源代碼的邏輯是否符合該函數(shù)的功能要求，查看源代碼中是否存在典型的編程缺陷，或從設(shè)計(jì)優(yōu)化的角度觀察源代碼結(jié)構(gòu)是否合理、是否過于復(fù)雜等對(duì)應(yīng)的

3、是單元測試階段，主要由開發(fā)人員自己來完成測試工作75.1 概述適用階段當(dāng)被測對(duì)象為功能時(shí)白盒測試不再對(duì)源代碼進(jìn)行檢查，此時(shí)更多的是借鑒白盒測試方法的思想，完成對(duì)業(yè)務(wù)流程的覆蓋測試對(duì)應(yīng)的是集成測試甚至系統(tǒng)測試階段，主要由測試人員來完成測試工作85.1 概述測試方法的評(píng)價(jià)通過重點(diǎn)關(guān)注源代碼中不同類型的結(jié)構(gòu)，如判定表達(dá)式、執(zhí)行路徑、循環(huán)結(jié)構(gòu)、數(shù)據(jù)變量等，引入不同的白盒覆蓋指標(biāo)，從而得到不同的白盒測試方法，這些方法的側(cè)重點(diǎn)不同，對(duì)應(yīng)源代碼結(jié)構(gòu)的覆蓋程度也不同通過引入白盒測試覆蓋指標(biāo)來評(píng)估黑盒測試方法的測試覆蓋率95.2 靜態(tài)白盒測試代碼檢查方法分類評(píng)審流程評(píng)審結(jié)果注意事項(xiàng)105.2 靜態(tài)白盒測試代碼檢

4、查方法分類評(píng)審流程評(píng)審結(jié)果注意事項(xiàng)115.2 靜態(tài)白盒測試代碼檢查方法分類評(píng)審流程評(píng)審結(jié)果注意事項(xiàng)125.2 靜態(tài)白盒測試3類評(píng)審結(jié)果正常：評(píng)審專家做好了評(píng)審準(zhǔn)備，評(píng)審會(huì)議順利進(jìn)行，達(dá)到了預(yù)期目的，達(dá)成明確的評(píng)審結(jié)論，不需要再次評(píng)審。延期：30%以上的評(píng)審專家并未做好評(píng)審準(zhǔn)備，會(huì)議無法正常進(jìn)行，需要重新安排評(píng)審日程。取消：初審階段就發(fā)現(xiàn)工作產(chǎn)品中存在太多問題，需要作者進(jìn)行修復(fù)，然后再進(jìn)行第二次同行評(píng)審。135.2 靜態(tài)白盒測試代碼檢查方法分類評(píng)審流程評(píng)審結(jié)果注意事項(xiàng)145.2 靜態(tài)白盒測試1、計(jì)劃和準(zhǔn)備階段管理層的問題：不重視，無計(jì)劃，無培訓(xùn)主持人的問題：評(píng)審員不合理，評(píng)審員搭配不合理，讓管理

5、者參與評(píng)審，制訂日程不合理，無檢查表作者的問題：不認(rèn)真檢查工作產(chǎn)品155.2 靜態(tài)白盒測試2、評(píng)審會(huì)進(jìn)行階段主持人的問題：過分注重會(huì)議時(shí)間，不控制進(jìn)度，針對(duì)某個(gè)技術(shù)問題討論時(shí)間過長評(píng)審員的問題：無評(píng)審重點(diǎn)，不考慮數(shù)據(jù)間、業(yè)務(wù)間及系統(tǒng)間相關(guān)性，過分依賴檢查表，在會(huì)議中措辭刻薄，不重視評(píng)審會(huì)，過多討論缺陷的修復(fù)，擔(dān)心得罪人拒絕評(píng)審他人工作，現(xiàn)場修改缺陷，評(píng)審會(huì)變成個(gè)人批斗會(huì)，測試用例太多太復(fù)雜165.2 靜態(tài)白盒測試3、評(píng)審會(huì)后階段主持人的問題：對(duì)發(fā)現(xiàn)的缺陷缺乏有效跟蹤，評(píng)審中僅僅是收集數(shù)據(jù)，卻不注重上報(bào)和改進(jìn)175.2 靜態(tài)白盒測試靜態(tài)結(jié)構(gòu)分析基本原理函數(shù)調(diào)用關(guān)系圖函數(shù)控制流圖185.2 靜態(tài)白

6、盒測試基本原理通過引入多種形式的圖表(如函數(shù)調(diào)用關(guān)系圖、模塊控制流圖等)，幫助人們快速了解程序設(shè)計(jì)和結(jié)構(gòu)，更好地理解源代碼，以及找到程序設(shè)計(jì)缺陷和代碼優(yōu)化的方向195.2 靜態(tài)白盒測試靜態(tài)結(jié)構(gòu)分析基本原理函數(shù)調(diào)用關(guān)系圖函數(shù)控制流圖205.2 靜態(tài)白盒測試測試重點(diǎn)函數(shù)之間的調(diào)用關(guān)系是否符合要求是否存在遞歸調(diào)用函數(shù)調(diào)用層次是否太深是否存在孤立的函數(shù)215.2 靜態(tài)白盒測試一般原則優(yōu)先測試根節(jié)點(diǎn)優(yōu)先測試葉子節(jié)點(diǎn)接口數(shù)量多的節(jié)點(diǎn)是需要優(yōu)先測試225.2 靜態(tài)白盒測試靜態(tài)結(jié)構(gòu)分析基本原理函數(shù)調(diào)用關(guān)系圖函數(shù)控制流圖235.2 靜態(tài)白盒測試測試重點(diǎn)是否存在多出口情況是否存在孤立的語句環(huán)復(fù)雜度是否太大是否存在

7、非結(jié)構(gòu)化的設(shè)計(jì)245.2 靜態(tài)白盒測試代碼質(zhì)量度量軟件質(zhì)量模型代碼質(zhì)量度量模型代碼質(zhì)量自動(dòng)度量255.2 靜態(tài)白盒測試代碼質(zhì)量度量軟件質(zhì)量模型代碼質(zhì)量度量模型代碼質(zhì)量自動(dòng)度量265.2 靜態(tài)白盒測試代碼質(zhì)量度量軟件質(zhì)量模型代碼質(zhì)量度量模型代碼質(zhì)量自動(dòng)度量275.2 靜態(tài)白盒測試捉蟲實(shí)踐1：自動(dòng)柜員機(jī)問題函數(shù)調(diào)用圖測試分析285.2 靜態(tài)白盒測試函數(shù)調(diào)用圖295.2 靜態(tài)白盒測試測試分析測試重點(diǎn)為：節(jié)點(diǎn)1, 14, 15, 26, 27305.2 靜態(tài)白盒測試捉蟲實(shí)踐2：第二日問題代碼說明函數(shù)控制流圖測試分析靜態(tài)結(jié)構(gòu)分析的局限315.2 靜態(tài)白盒測試函數(shù)控制流圖325.2 靜態(tài)白盒測試測試分析3

8、35.2 靜態(tài)白盒測試測試分析345.2 靜態(tài)白盒測試測試分析355.2 靜態(tài)白盒測試該函數(shù)的主要結(jié)構(gòu)特點(diǎn)多出口環(huán)復(fù)雜度高存在非結(jié)構(gòu)化設(shè)計(jì)365.2 靜態(tài)白盒測試改進(jìn)策略盡量避免在同一個(gè)函數(shù)中多次使用return語句，降低函數(shù)出口數(shù)目；將有效性校驗(yàn)前置，放到函數(shù)外部處理，避免極短執(zhí)行路徑的函數(shù)退出節(jié)點(diǎn)；盡量不使用強(qiáng)制跳轉(zhuǎn)或強(qiáng)制結(jié)束語句，如goto、break等語句，避免非結(jié)構(gòu)化的設(shè)計(jì)；將完成單一功能的語句塊改為函數(shù)調(diào)用的方式，降低單個(gè)函數(shù)的環(huán)復(fù)雜度375.2 靜態(tài)白盒測試靜態(tài)結(jié)構(gòu)分析局限性在遠(yuǎn)離代碼的條件下對(duì)程序進(jìn)行分析需要通過源代碼評(píng)審、后續(xù)的動(dòng)態(tài)白盒測試來進(jìn)一步對(duì)源代碼進(jìn)行測試覆蓋，以期找到更多潛伏的軟件缺陷385.2 靜態(tài)白盒測試