Skip to main content
SpringerLink
Log in

Logic programming for software testing

  • Data And Software Engineering
  • Conference paper
  • First Online:
Advances in Computing and Information — ICCI '90 (ICCI 1990)

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

Included in the following conference series:

  • 140 Accesses

Abstract

We propose a methodology for using logic programming to software testing. The methodology is based on logic programming applications for the formation of decision-to-decision graph, path predicate evaluation and symbolic evaluation of output variables. We mention an efficient software testing scheme which utilizes multiple theories in logic, organized as a tree structure. An Algol-like language is used to present our approach.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. L.A. Clarke, ”A system to generate test data and symbolically execute programs”, IEEE Trans. Software Eng., vol SE-2, pp 215–222, Sept. 1976.

    Google Scholar 

  2. W. F. Clocksin and C.S. Mellish, ”Programming in Prolog”, Springer-Verlag, 1981.

    Google Scholar 

  3. William Howden, ”Reliability of the path analysis testing strategy”, IEEE Transactions on Software Engineering, pp 208–215, September 1976, vol. SE-2, No. 3

    Google Scholar 

  4. William Howden, ”Symbolic Testing and the DISSECT Symbolic Evaluation System”, IEEE Transactions on Software Engineering, pp 266–278, July 1977, vol. SE-3, No. 4.

    Google Scholar 

  5. J.C. King, ”Symbolic execution and program testing”, Comm. of the ACM, vol 19, pp 385–394, July 1976.

    Google Scholar 

  6. L. Sterling and E. Shapiro, ”The Art of Prolog”, Chapter 16, MIT Press, 1986.

    Google Scholar 

  7. E.J. Weyuker and T.J. Ostrand, ”Theories of program testing and the applications of revealing subdomains”, IEEE Transactions on Software Engineering, pp 236–246, May 1980, vol. SE-6, No. 3.

    Google Scholar 

  8. L.J. White and E.I. Cohen, ”A Domain Strategy for Computer Program Testing”, IEEE Trans. on Software Engineering, pp 247–257, May 1980.

    Google Scholar 

  9. Clark and McCabe, ”Prolog: A language for implementing Expert Systems”, Machine Intelligence 10, John-Wiley and Sons Publishers, New York. 1980.

    Google Scholar 

  10. D. H. D. Warren, ”Logic Programming and Compiler Writing”, Software — Practice and Experience 10, Number II, 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Electrical and Computer Engineering, Syracuse University, P.O. Box 574, 13210, Syracuse, NY, USA

    Sanjay Khanna

Authors
  1. Sanjay Khanna
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

S. G. Akl F. Fiala W. W. Koczkodaj

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Khanna, S. (1991). Logic programming for software testing. In: Akl, S.G., Fiala, F., Koczkodaj, W.W. (eds) Advances in Computing and Information — ICCI '90. ICCI 1990. Lecture Notes in Computer Science, vol 468. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53504-7_79

Download citation

  • DOI: https://doi.org/10.1007/3-540-53504-7_79

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53504-1

  • Online ISBN: 978-3-540-46677-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation