Testing of Communicating Systems (eBook, PDF)

15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings
Redaktion: Hogrefe, Dieter; Wiles, Anthony

• Format: PDF

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 312
• Erscheinungstermin: 3. August 2003
• Englisch
• ISBN-13: 9783540448303
• Artikelnr.: 53097700

Autorenporträt

Dieter Hogrefe, University of Göttingen, Germany / Anthony Wiles, ETSI, Sophia Antipolis, France

Inhaltsangabe

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.