Abstract
This paper presents a new parallel algorithm for backward symbolic execution. We use a program modeling allowing an easy distributed symbolic execution and a scalable program testing. A program is divided into several parts assigned to different nodes. A particular node: the Coordinator allocates tasks to workers and collects final results.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Sen, K., Marinov, D., Agha, G.: CUTE: A concolic unit testing engine for C. In: European Software Engineering Conference/Foundations of Software Engineering (2005)
Tillmann, N., Schulte, W.: Parameterized unit tests. In: European Software Engineering Conference/Foundations of Software Engineering (2005)
Godefroid, P., Levin, M.Y., Molnar, D.: Automated whitebox fuzz testing. In: Network and Distributed Systems Security (2008)
Kim, M., Kim, Y.: Concolic testing of the multi-sector read operation for flash memory file system. In: Oliveira, M.V.M., Woodcock, J. (eds.) SBMF 2009. LNCS, vol. 5902, pp. 251–265. Springer, Heidelberg (2009)
Kim, Y., Kim, M.: SCORE: a scalable concolic testing tool for reliable embedded software. In: European Software Engineering Conference/Foundations of Software Engineering, Szeged, Hungary, September 5-9, pp. 420–423 (2011), tool demonstration track
Dijkstra, E.: A discipline of programming. Prentice Hall (1976)
Pasareanu, C., Visser, W.: A survey of new trends in symbolic execution for software testing and analysis. Software Tools for Technology Transfer 11(4), 339–353 (2009)
Lattner, C., Adve, V.: LLVM: A compilation framework for lifelong program analysis & transformation. In: Intl. Symp. on Code Generation and Optimization (2004)
Jayaraman, K., Harvison, D., Ganesh, V., Kiezun, A.: jFuzz: A concolic whitebox fuzzer for Java. In: NASA Formal Methods Symposium (2009)
Visser, W., Havelund, K., Brat, G., Park, S.: Model checking programs. In: Automated Software Engineering (September 2000)
Pasareanu, C., Mehlitz, P., Bushnell, D., Gundy-burlet, K., Lowry, M., Person, S., Pape, M.: Combining unit-level symbolic execution and system-level concrete execution for testing nasa software. In: International Symposium on Software Testing and Analysis (2008)
Godefroid, P., Klarlund, N., Sen, K.: DART: Directed automated random testing. In: Programming Language Design and Implementation (2005)
Burnim, J., Sen, K.: Heuristics for scalable dynamic test generation. EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-123 (September 2008)
Sen, K., Agha, G.: CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 419–423. Springer, Heidelberg (2006)
Staats, M., Pasareanu, C.: Parallel symbolic execution for structural test generation. In: International Symposium on Software Testing and Analysis (2010)
King, A.: Distributed parallel symbolic execution. Kansas State University, Tech. Rep., MS thesis (2009)
Siddiqui, J.H., Khurshid, S.: ParSym: Parallel Symbolic Execution. In: International Conference on Software Technology and Engineering (2010)
Bucur, S., Ureche, V., Zamfir, C., Candea, G.: Parallel symbolic execution for automated real-world software testing. In: 6th ACM SIGOPS/EuroSys (2011)
Deng, X., Lee, J., Robby: Bogor/kiasan: A k-bounded symbolic execution for checking strong heap properties of open systems. In: Automated Software Engineering (2006)
Kim, M., Kim, Y., Rothermel, G.: Distributed concolic algorithm of the SCORE framework. KAIST, Tech. Rep. (2011), http://pswlab.kaist.ac.kr/publications/2012/Whitepaper-score.pdf
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)
Hutchins, M., Foster, H., Goradia, T., Ostrand, T.: Experiments of the effectiveness of dataflow- and control flow based test adequacy criteria. In: International Conference on Software Engineering, pp. 191–200 (1994)
National Security Agency (NSA), FIPS 180-3: Secure hash standard (SHS) (2008)
Wilcoxon, F.: Individual comparisons by ranking methods. Biometrics Bulletin 1(6), 80–83 (1945)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aleb, N., Kechid, S. (2013). A New Approach for Distributed Symbolic Software Testing. In: Murgante, B., et al. Computational Science and Its Applications – ICCSA 2013. ICCSA 2013. Lecture Notes in Computer Science, vol 7972. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39643-4_35
Download citation
DOI: https://doi.org/10.1007/978-3-642-39643-4_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39642-7
Online ISBN: 978-3-642-39643-4
eBook Packages: Computer ScienceComputer Science (R0)