Abstract
In this paper we propose a framework to compute MC/DC percentage for distributed test case generation. MC/DC stands for Modified Condition/Decison Coverage [1]. This approach uses several client nodes to generate the non-redundant test cases in a distributed and scalable manner. To achieve an increase in MC/DC, we transform the input C program, P, into its transformed version, P ′, using Ex-NCT. A coverage analyzer accepts P along with the generated test cases as input from SCORE framework and outputs the MC/DC percentage. The experimental studies show that SMCDCT approach achieves 6.5 % (approx.) of average increase in MC/DC. This increase in MC/DC percentage is achieved in an average computation time of 7.1622715 seconds.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Hayhurst, K.J., Veerhusen, D.S., Chilenski, J.J., Rierson, L.K.: practical tutorial on modified condition/decision coverage, Tech. rep. (2001)
Godboley, S.: Improved modified condition/ decision coverage using code transformation techniques, M. tech thesis. NIT Rourkela (2013)
Kim, Y., Kim, M.: Score: A scalable concolic testing tool for reliable embedded software. In: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, pp. 420–423. ACM (2011)
Kim, M., Kim, Y., Rothermel, G.: A scalable distributed concolic testing approach: An empirical evaluation. In: Software 2012 IEEE Fifth International Conference on Testing, Verification and Validation (ICST), pp. 340–349 (2012)
de Moura, L., Bjørner, N.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337–340. Springer, Heidelberg (2008)
Godboley, S., Mohapatra, D.P.: Time analysis of evaluating coverage percentage for c program using advanced program code transformer. In: Computer Society of India, 7 th CSI International Conference on Software Engineering, pp. 91–97 (2013)
Do, H., Elbaum, S., Rothermel, G.: Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact. Empirical Softw. Engg. 10(4), 405–435 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Godboley, S., Panda, S., Mohapatra, D.P. (2015). SMCDCT: A Framework for Automated MC/DC Test Case Generation Using Distributed Concolic Testing. In: Natarajan, R., Barua, G., Patra, M.R. (eds) Distributed Computing and Internet Technology. ICDCIT 2015. Lecture Notes in Computer Science, vol 8956. Springer, Cham. https://doi.org/10.1007/978-3-319-14977-6_15
Download citation
DOI: https://doi.org/10.1007/978-3-319-14977-6_15
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-14976-9
Online ISBN: 978-3-319-14977-6
eBook Packages: Computer ScienceComputer Science (R0)