白盒測試的方法研究.pdf

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

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