白盒測(cè)試的方法研究.pdf

1、針對(duì)軟件測(cè)試中的白盒測(cè)試技術(shù)，分析了當(dāng)前白盒測(cè)試的主要方法及存在的測(cè)試用例繁多，測(cè)試不充分，效率低下等問題。為了解決這些問題，重點(diǎn)介紹了DD圖、流程圖等概念，并以構(gòu)造DD圖無約束邊集合和程序流程樹為基礎(chǔ)，給出了一個(gè)基于程序流程樹的測(cè)試模型，該模型通過五個(gè)步驟來對(duì)程序代碼進(jìn)行測(cè)試。第一個(gè)步驟是提取程序片段，包括重要度評(píng)價(jià)與程序切分。如果是在集成測(cè)試階段，需要分析模塊復(fù)雜度，選取當(dāng)前最重要的模塊進(jìn)行測(cè)試。如果是在單元測(cè)試階段，可認(rèn)為當(dāng)前的惟

2、一模塊就是最重要模塊。然后，將復(fù)雜程序代碼利用程序切片技術(shù)，截取為若干有邏輯意義的代碼片段。第二個(gè)步驟是程序流圖構(gòu)造。按照一定規(guī)則將程序流程圖轉(zhuǎn)換為程序流圖。第三個(gè)步驟是DD圖生成。在生成的DD圖中提取無約束邊集合，用于精簡(jiǎn)測(cè)試路徑。第四個(gè)步驟是流程樹獲取，按照保持程序流圖邏輯意義不變的原則，將程序流圖轉(zhuǎn)換為流程樹，目的是為了化解程序流圖回路，構(gòu)造清晰的可測(cè)試路徑。每一條從樹根節(jié)點(diǎn)出發(fā)到葉子節(jié)點(diǎn)為止的路徑都是一條可測(cè)試的獨(dú)立路徑。所有這