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

Improved Generation Method of Feasible Basis Path in Program

作　　者：王庆坛[1] 姜淑娟[1] 张艳梅[1] 

机构地区：[1]中国矿业大学计算机科学与技术学院,江苏徐州221l16,江苏徐州221116

出　　处：《计算机工程》2012年第9期40-42,共3页Computer Engineering

基　　金：国家自然科学基金资助项目(60970032);江苏省自然科学基金资助项目(BK2008124);江苏省研究生培养创新工程基金资助项目(CX10B_157Z);江苏省"青蓝工程"基金资助项目

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

关 键 词：分支冲突 异常处理 可达基路径 控制流图 基路径测试 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]