An improved method of acquiring basis path for software testing

Abstract

Basis path testing, as an important method of white box testing, uses cyclomatic complexity to define a basic set of feasible paths. But use this method to generate a set of linearly independent paths, when data dependence exists in variables involved in decision node before and after, many basis paths themselves are infeasible. This paper combines the baseline method with the dependence relationship analysis, can avoid selecting infeasible paths from the control flow graph. Example proves that it is effective.