Testing of communicating systems

En savoir plus sur le livre

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.