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.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Jin, J.W., Ma, F.F., Zhang, J.: Brief introduction to SMT solving. J. Front. Comput. Sci. Technol. 9(7), 769–780 (2015)
Li, J., Liu, W.W.: A survey on theoretical combination techniques of SMT solvers. Comput. Eng. Sci. 33(10), 111–119 (2011)
Baluda, M., Denaro, G., Pezze, M.: Bidirectional symbolic analysis for effective branch testing. IEEE Trans. Softw. Eng. 42(5), 403–426 (2016)
Cadar, C., Sen, K.: Symbolic execution for software testing: three decades later. Commun. ACM 56(2), 82–90 (2013)
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)
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)
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)
Dandan, G., Xiaohong, S., Tiantian, W., Peijun, M., Yu, W.: State dependency probabilistic model for fault localization. Inf. Softw. Technol. 57, 430–445 (2015)
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)
Acknowledgments
This research is supported by the Natural Science Foundation of Shanghai (Grant No. 15ZR1421400).
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
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)