Skip to main content
Springer Nature Link
Log in

Automatische Generierung von Testdaten für den Protokolltest

  • Conference paper
Kommunikation in Verteilten Systemen

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 130))

Zusammenfassung

Im folgenden wird ein Verfahren zur automatischen Generierung von Testdaten vorgestellt, das ausgehend von einem endlichen Automaten die für einen Konformitätstest benötigten Testdaten erzeugt. Zusätzlich zu den Testdaten werden durch dieses Verfahren die für die Steuerung des Testablaufs erforderlichen Kommandos generiert.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

Similar content being viewed by others

Literatur

  1. Cowin G. W., Hale R.W.S., Rayner, D. Protocol product testing—some comparisons and lessons Rudin H., West C.H (eds) Protocol specification, testing and verification III Rüschiikon, Schweiz (1983)

    Google Scholar 

  2. Ural H., Probert R. User-guided test sequence generation Rudin H., West C.H. (eds) Protocol specification, testing and verification III Rüschiikon, Schweiz (1983)

    Google Scholar 

  3. Chow T.S. Testing software design modeled by finite state machines IEEE Trans, on Software Eng. 4, No. 3 Mai 1978

    Google Scholar 

  4. Gonenc G. A method for the design of fault detection experiments IEEE Trans, on Comp. Vol. C19, N. 6 Juni 1970

    Google Scholar 

  5. Sarikaya B., v. Bochmann G. Some experience with test sequence generation for protocols Sunshine C. (ed) Protocol specification, testing and verification II Idyllwild, California, USA (1982)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik III, Universität Karlsruhe, Deutschland

    Willi Stoll

Authors
  1. Willi Stoll
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Abt. D VMP 16, Siemens AG München, Otto-Hahn-Ring 6, 8000, München 83, Deutschland

    Nina Gerner

  2. Lehrstuhl Informatik IV, RWTH Aachen, Templergraben 64, 5100, Aachen, Deutschland

    Otto Spaniol

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Stoll, W. (1987). Automatische Generierung von Testdaten für den Protokolltest. In: Gerner, N., Spaniol, O. (eds) Kommunikation in Verteilten Systemen. Informatik-Fachberichte, vol 130. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71655-3_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-71655-3_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17213-0

  • Online ISBN: 978-3-642-71655-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics