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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Arlt, S., Schäf, M.: Joogie: infeasible code detection for Java. In: Madhusudan, P., Seshia, Sanjit A. (eds.) CAV 2012. LNCS, vol. 7358, pp. 767–773. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-31424-7_62
Chen, R., Zhang, G., Xiaowei, L.I.: Detection of infeasible path in procedure. Comput. Eng. 32(16), 86–88 (2006)
Ding, S., Tan, H.B.K.: Detection of infeasible paths: approaches and challenges. In: Maciaszek, L.A., Filipe, J. (eds.) ENASE 2012. CCIS, vol. 410, pp. 64–78. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-45422-6_5
Gong, D., Yao, X.: Automatic detection of infeasible paths in software testing. Softw. IET 4(5), 361–370 (2010)
Hedley, D., Hennell, M.A.: The Causes and Effects of Infeasible Paths in Computer Programs, pp. 259–267 (1985)
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)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Zeng, F., Liu, W., Gou, X. (2018). Type Analysis and Automatic Static Detection of Infeasible Paths. In: Yuan, H., Geng, J., Liu, C., Bian, F., Surapunt, T. (eds) Geo-Spatial Knowledge and Intelligence. GSKI 2017. Communications in Computer and Information Science, vol 849. Springer, Singapore. https://doi.org/10.1007/978-981-13-0896-3_29
Download citation
DOI: https://doi.org/10.1007/978-981-13-0896-3_29
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-13-0895-6
Online ISBN: 978-981-13-0896-3
eBook Packages: Computer ScienceComputer Science (R0)