关键词: 不可达路径, 异常处理, 数据流信息, 分支冲突, 别名分析

Abstract: Infeasible paths increase the complexity and redundancy to programs. It is a key problem of structural testing to detect the infeasible paths. The paper proposes a static approach to detecting infeasible basis path of programs with exception-handling constructs. Firstly, it determines the branch conflict according to dataflow information, and detects the infeasible paths according to these conflicting branches. The novelty of the dataflow information lies in the fact that it takes account of exception-handling constructs and pointer alias analysis. Finally, the results of case research show that the proposed method can further enhance the accuracy of feasibility for the detected basis paths.

Key words: infeasible path, exception-handling, dataflow information, branch conflict, alias analysis