在软件动态测试过程中,通过执行测试用例并分析其返回信息,可以找到更多的错误和缺陷。不仅如此,通过存储这些执行覆盖信息,特别是在程序正确执行时所覆盖的信息,可以帮助我们建立用例与代码之间的关联以及追溯,甚至有助于测试人员对软件的理解、软件质量的分析、软件的回归测试、测试用例的评价、软件缺陷的预防,以及帮助软件维护人员对软件的优化、软件的更新等等。在判断测试用例的分支覆盖过程中,通常是从减少标记点和采用不同的插装策略来提高判断过程的效率。其中标记点越少效率越高,而插装策略通常是根据实际应用需要来设计。本文通过分析程序中各分支之间在执行上的依赖关系,提出一种关键分支的标记方法,即通过在每个关键分支中插入探测器,使得程序执行时可以获得关键分支覆盖信息,从而计算所有分支的覆盖情况。其中,关键分支是指用于判断程序分支覆盖的最小分支子集。并且文中提出了相应的关键分支寻找算法Find_KB以及分支覆盖确认算法Find_CB,该算法且有良好的时间复杂度。此外,本文还介绍分支覆盖标记在实际中各种不同的应用,特别是提出了用关键分支覆盖来表示相应的程序分支覆盖,其二者具有一一对应的关系,这种表示方式平均可以减少70%左右的分支数,便于对分支覆盖信息的存储和分析。