Skip to main content
SpringerLink
Log in
Book cover

Kommunikation in Verteilten Systemen pp 712–724Cite as

Testmodelle für Systeme Kommunizierender Prozesse

  • Conference paper

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

Zusammenfassung

Die Diskussion von Testmethoden für Systeme Kommunizierender Prozesse (SKP) anhand geeigneter Modelle bietet die Möglichkeit, das Wesen der Testmethoden unabhängig von Implementierungs-Details zu studieren. Für den praktischen Einsatz ergeben sich sowohl einheitliche Verfahren für die unterschiedlichsten Implementationen als auch die Möglichkeit, Testszenarien „abstract“ zu definieren.

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   74.99
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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. E. BRINKSMA, G. SCOLLO Universität Twente, NL Formal Notions of Implementation and Conformance in LOTOS.

    Google Scholar 

  2. CCITT Z.100 - Z.104 System Description Language

    Google Scholar 

  3. JAN DE MEER Hahn-Meitner-Institut Berlin GmbH Derivation and Validation of test scenarios based on the formal specification language LOTOS. 6. IFIP Workshop on Protocol Testing, Specification and Verification in Montreal, Canada

    Google Scholar 

  4. ISO Open Systems Interconnection Basic Reference Model

    Google Scholar 

  5. ISO Open Systems Interconnection LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour

    Google Scholar 

  6. ISO Open Systems Interconnection ESTELLE — A Formal Description Technique Based on an Extended State Transition Model.

    Google Scholar 

  7. CRIS STEENBERGEN Universität Twente, NL Conformance Testing of OSI Systems MSc Thesis

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Hahn-Meitner-Institut Berlin GmbH, Deutschland

    Jan de Meer

Authors
  1. Jan de Meer
    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

de Meer, J. (1987). Testmodelle für Systeme Kommunizierender Prozesse. 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_57

Download citation

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

  • 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

Search

Navigation