Skip to main content
SpringerLink
Log in

Automatic construction of test sets: Practical approach

  • Automatic Test Case Generation
  • Conference paper
  • First Online:
Baltic Computer Science (BCS 1991)

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

Included in the following conference series:

Abstract

The problem of symbolic execution and test generation is considered both for sequential and concurrent programs. Practical methods for test construction for the given program path are presented.

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. Sauder R.L. General Test Data Generator for COBOL. — AFIPS Conference Proceedings, SJCC, 1962, pp. 317–323.

    Google Scholar 

  2. Hanford K.V. Automatic Generation of Test Cases. — IBM Systems Journal, 1970, vol. 9, No. 4, pp. 242–257.

    Google Scholar 

  3. Balzer R.M. EXDAMS — Extendable Debugging and Monitoring System. — In: Proc. 1969 SJCC, Montvale, N.Y., 1969, pp. 567–580.

    Google Scholar 

  4. Bārzdiņš J.M., Bičevskis J.J., Kalniņš A.A. Construction of Complete Sample Systems for Correctness Testing. — In: Mathematical Foundations of Computer Science, Berlin: Springer, 1975, pp. 1–12.

    Google Scholar 

  5. Howden W.E. Methodology for the Generation of Program Test Data. — IEEE Trans. Comput., vol C-24, pp. 554–559.

    Google Scholar 

  6. Clarke L.A. A System to Generate Test Data and Symbolically Execute Programs. — IEEE Trans. Software Eng., 1976, vol. SE-2, No. 3, pp. 215–222.

    Google Scholar 

  7. King J.C. Symbolic Execution and Program Testing. — CACM, 1976, vol. 19, No. 7, pp. 385–394.

    Google Scholar 

  8. Ramamoorthy C.V., Ho S.B.F., Chen W.T. On the Automated Generation of Program Test Data. — IEEE Trans. Software Eng., 1976, vol. SE-2, No. 4, pp. 293–300.

    Google Scholar 

  9. Pravilschikov P.A. Test Generation for Programs. — Avtomatika i Telemekhanika, 1977, No. 5, pp. 147–160 (In Russian).

    Google Scholar 

  10. Bičevskis J., Borzovs J., Straujums U., Zariņš A., Miller E.F. Jr. SMOTL — a System to Construct Samples for Data Processing Program Debugging. — IEEE Trans. Software Eng., 1979, vol. SE-5, No. 1, pp. 60–66.

    Google Scholar 

  11. Pozin B.A. A Method of Structural Test Generation for Programs. — Programmirovanie, 1980, No. 2, pp. 62–69 (In Russian).

    Google Scholar 

  12. Hogrefe D. Automatic Generation of Test Cases from SDL Specifications. — In: SDL Newsletter, 1988, No. 12, pp. 34–52.

    Google Scholar 

  13. Kristoffersen F. Conformance Testing Based on SDL Specifications. — In: SDL'89: The Language at Work, North-Holland, 1989, pp. 257–266.

    Google Scholar 

  14. Bromstrup L., Hogrefe D. TESDL — Experience with Generating Test Cases from SDL Specifications. — In: SDL'89: The Language at Work, North-Holland, 1989, pp. 267–280.

    Google Scholar 

  15. CCITT: Specification and Description Language (SDL). Recommendations Z.100. — CCITT Blue Book, 1988, 199 p.

    Google Scholar 

  16. Saracco R., Smith J.R.W., Reed R. Telecommunication Systems Engineering Using SDL. — North-Holland, 1989, 633 p.

    Google Scholar 

  17. Auziņš A., Bārzdiņš J., Bičevskis J., Čerāns K., Kalniņš A. Automatic Construction of Test Sets: Theoretical Approach. — This volume.

    Google Scholar 

  18. Wirth N. Systematic Programming. — Prentice-Hall, 1973.

    Google Scholar 

  19. Hoare C.A.R. Algorithms 65; FIND. — CACM, 1961, vol 4, No. 1, p. 321.

    Google Scholar 

  20. Hoare C.A.R. Proof of Programm FIND. — CACM, 1971, vol. 14, No. 1, pp. 39–45.

    Google Scholar 

  21. Borzovs J.V., Urtāns G.B., Shimarov V.A. Program Path Selection for Test Generation. — Upravlayuschie Sistemi i Mashini, 1989, No. 6, pp. 29–36 (In Russian).

    Google Scholar 

  22. Borzovs J.V., Medvedis I.E., Urtans G.B. The Segment Method for the Solution of Systems of Equalities and Inequalities at Test Generation for Program Validation. — Upravlayuschie Sistemi i Mashini, 1990, No. 2, pp. 49–58 (In Russian).

    Google Scholar 

  23. Huet G., Oppen D. Equations and Rewrite Rules: a Survey. — In: Formal Languages: Perspectives and Open Problems, Academic Press, N.Y., 1980.

    Google Scholar 

  24. Futatsugi K., Goguen J.A., Jouannaud J.P., Meseguer J. Principles of OBJ'2. — In: Proceedings of Principles of Programming Languages, ACM, 1985.

    Google Scholar 

  25. Guidelines for the Application of Estelle, Lotos and SDL, Draft Manual. — CCITT, Geneva, 1988, 347 p.

    Google Scholar 

  26. Stenning N.V. A Data Transfer Protocol. — Computer Networks, 1976, No. 1, pp. 99–110.

    Google Scholar 

  27. Bergstra J.A., Heering J., Klint P. (ed.) Algebraic Specification. — ACM Press, N.Y., 1989, 397 p..

    Google Scholar 

  28. Sato F., Katseryama K., Mizuno T. TENT: Test Sequence Generation Tool for Communication Systems. — In: FORTE'89, Proceedings of 2nd Int. Conf. on Formal Description Techniques, North Holland, 1990, pp. 1–6.

    Google Scholar 

  29. Chan W.Y.L., Vuong S.T., Ito M.R. On Test Sequence Generation for Protocols. — In: Proceedings of the IFIP WG 6.1 Nineth Int. Workshop on Protocol Specification, Testing and Verification, 1989, North Holland, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics and Computer Science, The University of Latvia, Raiņa Bulv. 29, 226250, Riga, Latvia

    Juris Borzovs, Audris Kalniņš & Inga Medvedis

Authors
  1. Juris Borzovs
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Audris Kalniņš
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Inga Medvedis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Janis Bārzdinš Dines Bjørner

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Borzovs, J., Kalniņš, A., Medvedis, I. (1991). Automatic construction of test sets: Practical approach. In: Bārzdinš, J., Bjørner, D. (eds) Baltic Computer Science. BCS 1991. Lecture Notes in Computer Science, vol 502. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019363

Download citation

  • DOI: https://doi.org/10.1007/BFb0019363

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54131-8

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation