Testing of Communicating Systems: 15th Ifip International Conference, Testcom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings

ISBN-13: 9783540401230 / Angielski / Miękka / 2003 / 312 str.

Dieter Ed Hogrefe; Dieter Hogrefe

Opis

the assessment of three referees for each paper. The p- ceedings also include the text of the invited talk by Elaine Weyuker, Philippe Cousin, and Ana Cavalli.

Spis treści

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.