Type Analysis and Automatic Static Detection of Infeasible Paths
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.
KeywordsSoftware testing Infeasible paths Type analysis Checking tool
- 2.Chen, R., Zhang, G., Xiaowei, L.I.: Detection of infeasible path in procedure. Comput. Eng. 32(16), 86–88 (2006)Google Scholar
- 5.Hedley, D., Hennell, M.A.: The Causes and Effects of Infeasible Paths in Computer Programs, pp. 259–267 (1985)Google Scholar
- 6.Wang, H.Y., Jiang, S.J., Wang, X.Y., Ju, X.L., Zhang, Y.M.: An approach for detecting infeasible paths based on sub-path expansion. Tien Tzu Hsueh Pao/Acta Electronica Sin. 43(8), 1555–1560 (2015)Google Scholar
- 7.Yu, Q.-Y., Luo, Y., Yang, H.: Improved static approach of infeasible paths in program. J. Univ. South China (Sci. Technol.) 4, 68–73 (2014)Google Scholar