基路径与业务逻辑结合的有效测试路径集算法

An Effective Path Set Algorithm Based on a Combination of Basis Paths and Business Logic

摘要:

在分析基路径覆盖测试技术及相关最新研究成果基础上，以被测程序及其程序图为依据，通过对变量依赖、非关联路径等的定义，推导出有效路径数量公式VE，进而提出了一种解决无效路径问题的算法模型.通过对算法模型的理论推导和验证，证明该算法模型是有效的.

Abstract:

Based on an analysis of the basis path test methods and the latest relevant research results, this paper defines variable dependence and non affiliated path according to the tested program and its program graph. Subsequently, the calculation formula VE of the set of effective path is devived. Furthermore, an algorithm model for solving infeasible paths is established. A theoretical derivation and an application prove the algorithm to be feasible and efficient.