Dieter Hogrefe Ordine dei libri

Die Einführung in die Spezifikationssprachen Estelle, LOTOS und SDL bietet einen klaren Überblick über deren Anwendung zur Spezifikation von Diensten und Protokollen in Kommunikationssystemen, insbesondere im Kontext der OSI-Konzepte. Durch die Verwendung identischer Beispiele wird ein direkter Vergleich der drei Sprachen ermöglicht, während auf komplexe Formalismen verzichtet wird, um die Verständlichkeit zu erhöhen. Das Buch dient als nützliches Nachschlagewerk und ergänzt die offiziellen ISO- und CCITT-Dokumente, indem es einen kompakten und leicht zugänglichen Einblick in die Materie bietet.

InhaltsverzeichnisKeynote Speech I.Prediction = Power.Next Generation Networks, IP and UMTS.UMTS Terminal Testing: A Practical Perspective.Testing of 3G 1xEV-DV Stack — A Case Study.Testing SIP Call Flows Using XML Protocol Templates.Towards Modeling and Testing of IP Routing Protocols.TTCN-3.An Intuitive TTCN-3 Data Presentation Format.The UML 2.0 Testing Profile and Its Relation to TTCN-3.Realizing Distributed TTCN-3 Test Systems with TCI.TimedTTCN-3 Based Graphical Real-Time Test Specification.Keynote Speech II.Interoperabolity Events Complementing Conformance Testing Activities.Automata-Based Methodology.Testing Transition Systems with Input and Output Testers.Generating Checking Sequences for a Distributed Test Architecture.Conformance of Distributed Systems.An Automata-Based Approach to Property Testing in Event Traces.Fault Diagnosis in Extended Finite State Machines.A Guided Method for Testing Timed Input Output Automata.Interoperability Testing.Interoperability Testing Based on a Fault Model for a System of Communicating FSMs.Framework and Model for Automated Interoperability Test and Its Application to ROHC.Keynote Speech III.TestNet: Let’s Test Together!.Test Design, Tools and Methodology.An Open Framework for Managed Regression Testing.TUB-TCI An Architecture for Dynamic Deployment of Test Components.Fast Testing of Critical Properties through Passive Testing.