Skip to main content
SpringerLink
Log in

A test environment using symbolic program trace

Eine Testumgebung basierend auf symbolischer Programmspur

  • Published:
Computing Aims and scope Submit manuscript

Abstract

In this work aspects of testing numeric programs for automatic result verification will be discussed. An outline of a test environment for analysing numeric programs based on symbolic program trace will be introduced, which supports soure, code inspection, test data generation and input data set classification. Applying the test tool during the whole software life cycle a data base of input/output relations will be created, which allows to guarantee functionality of a product related to the tested data. In this way, the effort invested for testing and analysing of numeric software can be saved and its reliability can be improved.

Zusammenfassung

In dieser Arbeit werden Aspekte des Testens numerischer Programme zur automatischen Ergebnisverifikation diskutiert. Dabei wird ein Grundgerüst für eine Testumgebung zur Analyse numerischer Programme vorgestellt, welche symbolische Programmausgabe verwendet. Diese unterstützt die Inspektion von Programmtexten, die Ermittlung von Testdaten und die Klassifizierung von Eingabedaten. Wird das Testwerkzeug während der gesamten Lebensdauer eines Programmes eingesetzt, entsteht eine Datenbank aus Ein-/Ausgaberelationen, welche es erlaubt die Funktionalität eines Produktes bezüglich der getesteten Daten zu garantieren. Auf diese Art kann der investierte Aufwand für das Prüfen und das Analysieren von numerischer Software gesichert werden und deren Zuverlässigkeit kann verbessert werden.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Boehm, B. W.: Software engineering: R & D trends and defense needs. Research Directions in Software Technology, MIT Press Cambridge, 1979.

    Google Scholar 

  2. Clarke, L. A., Richardson, D. J.: Symbolic valuation—an aid to testing and verification. In: Symposium on Software Validation Darmstadt, Germany 1983 (Hausen, H. L., ed.). Amsterdam: Elsevier 1984.

    Google Scholar 

  3. Howden, W. E.: Reliability of the path analysis testing strategy. IEEE Trans. on Software Engineering, SE-2 (3), 208–214 (1976).

    MATH  MathSciNet  Google Scholar 

  4. Howden, W. E.: Errors, design properties and functional program tests. Computer Program Testing (Chandrasekaran, B., Radicchi, S., eds.). Amsterdam: North-Holland 1981.

    Google Scholar 

  5. Huang, J. C.: State constraints and pathwise decomposition of programs, pp. 880–896. IEEE Trans. Software Eng.16, no. 8, 641-656 (1990).

    Google Scholar 

  6. Ibara, O. H., Leiniger, B. S.: On the simplification and equivalence problems for straight-line programs. J. ACM.30 (1983).

  7. International Standardization Organization: ISO 9000: standard for quality assurance and management concepts. ISO Press section, Geneva, Switzerland, 1990.

    Google Scholar 

  8. Karpinski, R.: Testing computer arithmetic. BYTE Mag2 (1985).

  9. Kulisch, U., Miranker, W. C.: Computer arithmetic in theory and practice. New York: Academic Press 1981.

    Google Scholar 

  10. Lawo, C.: CXSC—Eine objekt-orientierte Programmierumgebung für verifiziertes wissenschaftliches Rechnen. Dissertation, Universität Karlsruhe, 1992.

  11. Liggesmeyer, P., Seed, H. M., Spillner, A.: Testen, Analysieren und Verifizieren von Software. Berlin Heidelberg New York Tokyo: Springer 1992.

    Google Scholar 

  12. Myers, G. J.: The art of software testing. New York: J. Wiley 1979.

    Google Scholar 

  13. Ploedereder, E.: Symbolic evaluation as a basis for integrated validation. In: Symposium on Software Validation, Darmstadt, Germany, 1983 (Hausen, H. L., ed.), pp. 167–185. Amsterdam: Elsevier 1984.

    Google Scholar 

  14. Klatte, R., Kulisch, U., Neaga, M., Ratz, D., Ullrich, Ch.: Pascal-XSC language references with examples. Berlin Heidelberg New York Tokyo: Springer 1992.

    Google Scholar 

  15. Rice, J. R.: Software for numerical computation. Research Directions in Software Technology (Wegner, P., ed.), pp. 689–708. Cambridge Mass.: MIT Press 1979.

    Google Scholar 

  16. Richardson, D.: Some undecidable problems involving elementary functions of a real variable. J. of Symb. Logic33, 514–520 (1968).

    MATH  Google Scholar 

  17. White, L. J., Cohen, E. I., Zeil, S. J.: A domain strategy for computer testing. Computer program testing (Chandrasekaran, B., Radicchi, S., eds.), pp. 247–257, Amsterdam: North-Holland 1981.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Angewandte Mathematik, Universität Karlsruhe, Postfach 6980, D-76128, Karlsruhe, Federal Republic of Germany

    H. M. E. Berlejung

Authors
  1. H. M. E. Berlejung
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Berlejung, H.M.E. A test environment using symbolic program trace. Computing 53, 289–299 (1994). https://doi.org/10.1007/BF02307380

Download citation

  • Received:

  • Revised:

  • Issue Date:

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

AMS Subject Classification

Key words

Search

Navigation