Abstract

Infeasible paths are a common type of defect in software testing, which can cause failure of software system and lead to problems about software reliability and safety. In this paper, infeasible paths are divided into three types, which are control infeasible paths, logic infeasible paths, constraint infeasible paths. For each type, details and examples are given to find out the defects of infeasible paths during software testing. In order to improve the detection efficiency, automatic static detection method is given based on three types of infeasible paths. The experimental results show that the proposed method can detect the infeasible paths of code accurately and effectively.