Skip to main content
SpringerLink
Log in

A New Approach for Distributed Symbolic Software Testing

  • Conference paper
Book cover Computational Science and Its Applications – ICCSA 2013 (ICCSA 2013)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7972))

Included in the following conference series:

  • 2065 Accesses

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.

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 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Sen, K., Marinov, D., Agha, G.: CUTE: A concolic unit testing engine for C. In: European Software Engineering Conference/Foundations of Software Engineering (2005)

    Google Scholar 

  2. Tillmann, N., Schulte, W.: Parameterized unit tests. In: European Software Engineering Conference/Foundations of Software Engineering (2005)

    Google Scholar 

  3. Godefroid, P., Levin, M.Y., Molnar, D.: Automated whitebox fuzz testing. In: Network and Distributed Systems Security (2008)

    Google Scholar 

  4. 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)

    Chapter  Google Scholar 

  5. 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

    Google Scholar 

  6. Dijkstra, E.: A discipline of programming. Prentice Hall (1976)

    Google Scholar 

  7. 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)

    Article  Google Scholar 

  8. Lattner, C., Adve, V.: LLVM: A compilation framework for lifelong program analysis & transformation. In: Intl. Symp. on Code Generation and Optimization (2004)

    Google Scholar 

  9. Jayaraman, K., Harvison, D., Ganesh, V., Kiezun, A.: jFuzz: A concolic whitebox fuzzer for Java. In: NASA Formal Methods Symposium (2009)

    Google Scholar 

  10. Visser, W., Havelund, K., Brat, G., Park, S.: Model checking programs. In: Automated Software Engineering (September 2000)

    Google Scholar 

  11. 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)

    Google Scholar 

  12. Godefroid, P., Klarlund, N., Sen, K.: DART: Directed automated random testing. In: Programming Language Design and Implementation (2005)

    Google Scholar 

  13. Burnim, J., Sen, K.: Heuristics for scalable dynamic test generation. EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-123 (September 2008)

    Google Scholar 

  14. 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)

    Chapter  Google Scholar 

  15. Staats, M., Pasareanu, C.: Parallel symbolic execution for structural test generation. In: International Symposium on Software Testing and Analysis (2010)

    Google Scholar 

  16. King, A.: Distributed parallel symbolic execution. Kansas State University, Tech. Rep., MS thesis (2009)

    Google Scholar 

  17. Siddiqui, J.H., Khurshid, S.: ParSym: Parallel Symbolic Execution. In: International Conference on Software Technology and Engineering (2010)

    Google Scholar 

  18. Bucur, S., Ureche, V., Zamfir, C., Candea, G.: Parallel symbolic execution for automated real-world software testing. In: 6th ACM SIGOPS/EuroSys (2011)

    Google Scholar 

  19. 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)

    Google Scholar 

  20. 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

  21. 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)

    Chapter  Google Scholar 

  22. 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)

    Google Scholar 

  23. National Security Agency (NSA), FIPS 180-3: Secure hash standard (SHS) (2008)

    Google Scholar 

  24. Wilcoxon, F.: Individual comparisons by ranking methods. Biometrics Bulletin 1(6), 80–83 (1945)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. USTHB-FEI, BP 32, Al Allia, 16111, Bab Ezzouar, Algiers, Algeria

    Nassima Aleb & Samir Kechid

Authors
  1. Nassima Aleb
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Samir Kechid
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. L-I.S.U.T. - D.A.P.I.t. Facoltà Ingegneria, Università degli Studi della Basilicata, Viale dell’Ateneo Lucano, 10, 85100, Potenza, Italy

    Beniamino Murgante

  2. Covenant University, Canaanland, OTA, Nigeria

    Sanjay Misra

  3. Partimento di Scienze e Tecnologie per LAgricoltura, le Foreste, la Natura e lEnergia, Università degli Studi della Tuscia, Via S. Camillo de Lellis, snc, 01100, Viterbo, Italy

    Maurizio Carlini

  4. Dipartimento di Scienze dell’Ingegneria Civile e dell’Architecttura, Politecnico di Bari, Via Orabona, 4, 70125, Bari, Italy

    Carmelo M. Torre

  5. International University VNU-HCM, Quarter 6, Linh Trung, Thu Duc, Ho Chi Minh City, Vietnam

    Hong-Quang Nguyen

  6. School of Business Systems, Monash University, 3800, Clayton, VIC, Australia

    David Taniar

  7. Department of Intelligent Informatics, Kyushu Sangyo University, 2-3-1 Matsukadai, Higashi-ku, 813-8503, Fukuoka, Japan

    Bernady O. Apduhan

  8. Department of Mathematics and Computer Science, University of Perugia, Via Vanvitelli, 1, 06123, Perugia, Italy

    Osvaldo Gervasi

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation