A Research on Automatic Generation of Basis Path Set in Path Test

This paper provides an effective and automatic method of generating basis path set,which is significant in improving the efficiency of software testing.Firstly,a basis path set of the program is generated by visiting all nodes of the program's control flow graph;secondly,infeasible paths are detected according to the dependent analysis among blocks and are deleted from the basis path set at the same time;then,some feasible independent paths which contain the edges which are not covered by the path set are added into the path set;finally,some infeasible independent paths which contain the edges which are not covered by the path set or are needed by linear operations.The author applies the proposed method in some typical programs,and the result shows that the proposed method can generate a basis path set which contains as many feasible paths as possible efficiently.