Testing of Communicating Systems
15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings
Published on 3. August 2003
XII, 312 pages
978-3-540-44830-3 (ISBN)
Description
This book constitutes the refereed proceedings of the 15 IFIP International Conference on Testing of Communicating Systems, TestCom 2003, held in Sophia Antipolis, France in May 2003.
The 19 revised full papers presented together with three invited contributions were carefully reviewed and selected from 53 submissions. The papers are organized in topical section on next generation networks, IP and UMTS; TTCN-3; automata-based test methodology; and test design, tools, and methodology.
More details
Other editions
Additional editions
Dieter Hogrefe | Anthony Wiles
Testing of Communicating Systems
15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings
Book
05/2003
Springer
€53.49
Shipment within 10-15 days
Content
Keynote 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.
