程序分支覆蓋標(biāo)記方法的研究.pdf

1、在軟件動態(tài)測試過程中,通過執(zhí)行測試用例并分析其返回信息,可以找到更多的錯誤和缺陷。不僅如此,通過存儲這些執(zhí)行覆蓋信息,特別是在程序正確執(zhí)行時所覆蓋的信息,可以幫助我們建立用例與代碼之間的關(guān)聯(lián)以及追溯,甚至有助于測試人員對軟件的理解、軟件質(zhì)量的分析、軟件的回歸測試、測試用例的評價、軟件缺陷的預(yù)防,以及幫助軟件維護人員對軟件的優(yōu)化、軟件的更新等等。在判斷測試用例的分支覆蓋過程中,通常是從減少標(biāo)記點和采用不同的插裝策略來提高判斷過程的效率。其

2、中標(biāo)記點越少效率越高,而插裝策略通常是根據(jù)實際應(yīng)用需要來設(shè)計。本文通過分析程序中各分支之間在執(zhí)行上的依賴關(guān)系,提出一種關(guān)鍵分支的標(biāo)記方法,即通過在每個關(guān)鍵分支中插入探測器,使得程序執(zhí)行時可以獲得關(guān)鍵分支覆蓋信息,從而計算所有分支的覆蓋情況。其中,關(guān)鍵分支是指用于判斷程序分支覆蓋的最小分支子集。并且文中提出了相應(yīng)的關(guān)鍵分支尋找算法Find_KB以及分支覆蓋確認(rèn)算法Find_CB,該算法且有良好的時間復(fù)雜度。此外,本文還介紹分支覆蓋標(biāo)記在實