一种改进的程序可达基路径生成方法

Improved Generation Method of Feasible Basis Path in Program

考虑程序中分支冲突和异常处理结构对控制流信息的影响,提出一种改进的程序可达基路径生成方法。分析不可达路径产生的原因及其判定方法,构建异常控制流图。在此基础上计算相关分支之间的关系,利用深度优先遍历方法得到程序的可达基路径集。实例分析结果表明,该方法能准确生成可达基路径集,满足基路径测试的要求。

This paper proposes an improved method to generate the feasible basis paths, taking into account the influence of branch correlation and exception-handling constructs on the feasibility of paths. It analyzes the causes of generation for infeasible paths and gives its detecting method, constructs exceptional control flow graph which computes the branch correlations to determine the feasibility of paths, builds the feasible basis path set. Case analysis results show that the method can effectively avoid infeasible path in basis path set, and it meets the requirements of the basis path test.