Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Computer and Information Sciences

ISCIS 2004: Computer and Information Sciences - ISCIS 2004 pp 887–896Cite as

A Static Approach to Automated Test Data Generation in the Presence of Pointers

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3280))

Abstract

The shape problem in the context of program testing refers to the problem of figuring out a shape of the input data structure required to cause the traversal of a given path. In this paper, we introduce a static approach to the shape problem. The approach converts the selected path into Static Single Assignment (SSA) form without pointer dereferences. This allows us to consider each program point in the selected path as a constraint involving equality or inequality. A simple, but illustrative example is given to explain our approach.

This is a preview of subscription content, 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   129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently Computing Static Single Assignment Form and the Control Dependence Graph. ACM Trans. on Programming Languages and Systems 13(4), 451–490 (1991)

    Article  Google Scholar 

  2. Gallagher, M.J., Narasimhan, V.L.: ADTEST: A Test Data Generation Suite for Ada Software Systems. IEEE Trans. on Software Eng. 23(8), 473–484 (1997)

    Article  Google Scholar 

  3. Gotlieb, A., Botella, B., Rueher, M.: Automatic Test Data Generation using Constraint Solving Techniques. In: Proc. ACM ISSTA, pp. 53–62 (1998)

    Google Scholar 

  4. Gupta, N., Mathur, A., Soffa, M.L.: Generating Test Data for Branch Coverage. In: Proceedings of 15th IEEE Int. Conf. on Automated Software Eng. (2000)

    Google Scholar 

  5. Korel, B.: Automated Software Test Data Generation. IEEE Trans. on Software Eng. 16(8), 870–879 (1990)

    Article  Google Scholar 

  6. Meudec, C.: ATGen: Automatic Test Data Generation using Constraint Logic Programming and Symbolic Execution. In: Proc. IEEE/ACM Int. Workshop on Automated Program Analysis Testing and Verfication, pp. 22–31 (2000)

    Google Scholar 

  7. Visvanathan, S., Gupta, N.: Generating Test Data for Functions with Pointer Inputs. In: Proc. 17th IEEE International Conference on Automated Software Engineering, pp. 149–160 (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Engineering, Hansung University, 389-2 Ga, SamsunDong, Sungbuk-Gu, Seoul, 136-792, S. Korea

    Insang Chung

Authors
  1. Insang Chung
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Engineering, Bilkent University, TR-06800, Bilkent, Ankara, Turkey

    Cevdet Aykanat

  2. No Affiliation,  

    Tuǧrul Dayar

  3. Department of Computer Engineering, Bilkent University, 06800, Bilkent, Ankara, Turkey

    İbrahim Körpeoğlu

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chung, I. (2004). A Static Approach to Automated Test Data Generation in the Presence of Pointers. In: Aykanat, C., Dayar, T., Körpeoğlu, İ. (eds) Computer and Information Sciences - ISCIS 2004. ISCIS 2004. Lecture Notes in Computer Science, vol 3280. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30182-0_89

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30182-0_89

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23526-2

  • Online ISBN: 978-3-540-30182-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation