白盒測試用例設(shè)之靜態(tài)結(jié)構(gòu)分析法
程序的結(jié)構(gòu)形式是白盒測試的主要依據(jù)。研究表明程序員38%的時(shí)間花費(fèi)在理解軟件系統(tǒng)上，因?yàn)榇a以文本格式被寫入多重文件中，這是很難閱讀理解的，需要其它一些東西來幫助人們閱讀理解，如各種圖表等，而靜態(tài)結(jié)構(gòu)分析滿足了這樣的需求。
在靜態(tài)結(jié)構(gòu)分析中，測試者通過使用測試工具分析程序源代碼的系統(tǒng)結(jié)構(gòu)、數(shù)據(jù)結(jié)構(gòu)、內(nèi)部控制邏輯等內(nèi)部結(jié)構(gòu)，生成函數(shù)調(diào)用關(guān)系圖、模塊控制流圖、內(nèi)部文件調(diào)用關(guān)系圖、子程序表、宏和函數(shù)參數(shù)表等各類圖形圖標(biāo)，可以清晰地標(biāo)識整個(gè)軟件系統(tǒng)的組成結(jié)構(gòu)，使其便于閱讀和理解，然后可以通過分析這些圖標(biāo)，檢查軟件有沒有存在缺陷或錯(cuò)誤。
其中函數(shù)調(diào)用關(guān)系圖通過應(yīng)用程序中各函數(shù)之間的調(diào)用關(guān)系展示了系統(tǒng)的結(jié)構(gòu)。通過查看函數(shù)調(diào)用關(guān)系圖，可以檢查函數(shù)之間的調(diào)用關(guān)系是否符合要求，是否存在遞歸調(diào)用，函數(shù)的調(diào)用曾是是否過深，有沒有存在獨(dú)立的沒有被調(diào)用的函數(shù)。從而可以發(fā)現(xiàn)系統(tǒng)是否存在結(jié)構(gòu)缺陷，發(fā)現(xiàn)哪些函數(shù)是重要的，哪些是次要的，需要使用什么級別的覆蓋要求......
模塊控制流圖是與程序流程圖相類似的由許多節(jié)點(diǎn)和連接節(jié)點(diǎn)的邊組成的一種圖形，其中一個(gè)節(jié)點(diǎn)代表一條語句或數(shù)條語句，邊代表節(jié)點(diǎn)間控制流向，它顯示了一個(gè)函數(shù)的內(nèi)部邏輯結(jié)構(gòu)。模塊控制流圖可以直觀地反映出一個(gè)函數(shù)的內(nèi)部邏輯結(jié)構(gòu)，通過檢查這些模塊控制流圖，能夠很快發(fā)現(xiàn)軟件的錯(cuò)誤與缺陷。
推薦閱讀：
本文內(nèi)容不用于商業(yè)目的，如涉及知識產(chǎn)權(quán)問題，請權(quán)利人聯(lián)系SPASVO小編(021-60725088-8054)，我們將立即處理，馬上刪除。
sales@spasvo.com
