Skip to main content
SpringerLink
Log in

Detection of Redundant Condition Expression for Large Scale Source Code

  • Conference paper
  • First Online:
Geo-Spatial Knowledge and Intelligence (GSKI 2017)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 848))

Included in the following conference series:

  • 1147 Accesses

Abstract

Redundant condition expression not only causes noise in code debugging which confuses developers, but also correlates with the presence of traditional severe software errors. In this paper, an approach is proposed to detect the redundant condition expression, and the detailed algorithm is provided. The experiments on large scale open source software systems show that our approach can find redundant condition expression efficiently. It is very convenient for developers to detect and correct the defects by our approach, and thereby to further guarantee the software quality.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Jin, J.W., Ma, F.F., Zhang, J.: Brief introduction to SMT solving. J. Front. Comput. Sci. Technol. 9(7), 769–780 (2015)

    Google Scholar 

  2. Li, J., Liu, W.W.: A survey on theoretical combination techniques of SMT solvers. Comput. Eng. Sci. 33(10), 111–119 (2011)

    Google Scholar 

  3. Baluda, M., Denaro, G., Pezze, M.: Bidirectional symbolic analysis for effective branch testing. IEEE Trans. Softw. Eng. 42(5), 403–426 (2016)

    Article  Google Scholar 

  4. Cadar, C., Sen, K.: Symbolic execution for software testing: three decades later. Commun. ACM 56(2), 82–90 (2013)

    Article  Google Scholar 

  5. Guo, X., Wang, P., Wang, J.Y., Zhang, H.G.: Program multiple execution paths verification based on k proximity weakest precondition. Chin. J. Comput. 11, 2203–2214 (2015)

    MathSciNet  Google Scholar 

  6. Xiao, X., Zhang, X.S., Li, X.D.: New approach to path explosion problem of symbolic execution. In: 2010 First International Conference on Pervasive Computing, Signal Processing and Applications, pp. 301–304 (2010)

    Google Scholar 

  7. Wang, Y.W., Gong, Y.Z., Xiao, Q., Yang, Z.H.: Variable range analysis based on interval computation. J. Beijing Univ. Posts Telecommun. 32, 36–41 (2009)

    Google Scholar 

  8. Dandan, G., Xiaohong, S., Tiantian, W., Peijun, M., Yu, W.: State dependency probabilistic model for fault localization. Inf. Softw. Technol. 57, 430–445 (2015)

    Article  Google Scholar 

  9. Baah, G.K., Podgurski, A., Harrold, M.J.: The probabilistic program dependence graph and its application to fault diagnosis. IEEE Trans. Softw. Eng. 36(4), 528–545 (2010)

    Article  Google Scholar 

Download references

Acknowledgments

This research is supported by the Natural Science Foundation of Shanghai (Grant No. 15ZR1421400).

Author information

Authors and Affiliations

  1. Shanghai Institute of Aerospace Information, Shanghai Academy of Spaceflight Technology, Shanghai, 201109, China

    Dandan Gong, Wensheng Xu, Chunfang Qiu & Libei Zhou

Authors
  1. Dandan Gong
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wensheng Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Chunfang Qiu
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Libei Zhou
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Dandan Gong .

Editor information

Editors and Affiliations

  1. Beijing Institute of Technology, Beijing, China

    Hanning Yuan

  2. Beijing Institute of Technology, Beijing, China

    Jing Geng

  3. Beijing Institute of Technology, Beijing, China

    Chuanlu Liu

  4. Wuhan University, Wuhan, China

    Fuling Bian

  5. Beijing Institute of Technology, Beijing, China

    Tisinee Surapunt

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Singapore Pte Ltd.

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Gong, D., Xu, W., Qiu, C., Zhou, L. (2018). Detection of Redundant Condition Expression for Large Scale Source Code. 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 848. Springer, Singapore. https://doi.org/10.1007/978-981-13-0893-2_33

Download citation

  • DOI: https://doi.org/10.1007/978-981-13-0893-2_33

  • Published:

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-13-0892-5

  • Online ISBN: 978-981-13-0893-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation