Advertisement

Type Analysis and Automatic Static Detection of Infeasible Paths

  • Fuping Zeng
  • Wenjing LiuEmail author
  • Xiaodong Gou
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 849)

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.

Keywords

Software testing Infeasible paths Type analysis Checking tool 

References

  1. 1.
    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_62CrossRefGoogle Scholar
  2. 2.
    Chen, R., Zhang, G., Xiaowei, L.I.: Detection of infeasible path in procedure. Comput. Eng. 32(16), 86–88 (2006)Google Scholar
  3. 3.
    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_5CrossRefGoogle Scholar
  4. 4.
    Gong, D., Yao, X.: Automatic detection of infeasible paths in software testing. Softw. IET 4(5), 361–370 (2010)CrossRefGoogle Scholar
  5. 5.
    Hedley, D., Hennell, M.A.: The Causes and Effects of Infeasible Paths in Computer Programs, pp. 259–267 (1985)Google Scholar
  6. 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. 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

Copyright information

© Springer Nature Singapore Pte Ltd. 2018

Authors and Affiliations

  1. 1.School of Reliability and Systems EngineeringBeihang UniversityBeijingChina

Personalised recommendations