Testing of Communicating Systems: 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings (Lecture Notes in Computer Science)

Various,

ISBN 10: 3540401237 / ISBN 13: 9783540401230

Editore: Springer Berlin Heidelberg, 2003

Riguardo questo articolo

Still mostly sealed in publishers wrap.Binding solid, pages crisp and clean, no markings found. Cover bright and shiny with a couple scratches and scuffs on front. Extremities lightly bumped with minimal tip wear.

Codice articolo SKU1008207

Dati bibliografici

• Titolo: Testing of Communicating Systems: 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings (Lecture Notes in Computer Science)
• Editore: Springer Berlin Heidelberg
• Data di pubblicazione: 2003
• Lingua: Inglese
• ISBN 10: 3540401237
• ISBN 13: 9783540401230
• Rilegatura: PAPERBACK
• Condizione: VG

Descrizione articolo

Riassunto

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.

Contenuti

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.