product iamge

Testing of Communicating Systems: 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26–28, 2003 Proceedings

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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.

Author(s): Elaine J. Weyuker (auth.), Dieter Hogrefe, Anthony Wiles (eds.)
Series: Lecture Notes in Computer Science 2644
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003

Language: English
Pages: 312
Tags: Software Engineering; Computer Communication Networks; Communications Engineering, Networks

Prediction = Power....Pages 1-9
UMTS Terminal Testing: A Practical Perspective....Pages 10-19
Testing of 3G 1xEV-DV Stack — A Case Study....Pages 20-32
Testing SIP Call Flows Using XML Protocol Templates....Pages 33-48
Towards Modeling and Testing of IP Routing Protocols....Pages 49-62
An Intuitive TTCN-3 Data Presentation Format....Pages 63-78
The UML 2.0 Testing Profile and Its Relation to TTCN-3....Pages 79-94
Realizing Distributed TTCN-3 Test Systems with TCI....Pages 95-109
Timed TTCN-3 Based Graphical Real-Time Test Specification....Pages 110-127
Interoperabolity Events Complementing Conformance Testing Activities....Pages 128-128
Testing Transition Systems with Input and Output Testers....Pages 129-145
Generating Checking Sequences for a Distributed Test Architecture....Pages 146-162
Conformance of Distributed Systems....Pages 163-179
An Automata-Based Approach to Property Testing in Event Traces....Pages 180-196
Fault Diagnosis in Extended Finite State Machines....Pages 197-210
A Guided Method for Testing Timed Input Output Automata....Pages 211-225
Interoperability Testing Based on a Fault Model for a System of Communicating FSMs....Pages 226-242
Framework and Model for Automated Interoperability Test and Its Application to ROHC....Pages 243-257
TestNet: Let’s Test Together!....Pages 258-264
An Open Framework for Managed Regression Testing....Pages 265-278
TUB-TCI An Architecture for Dynamic Deployment of Test Components....Pages 279-294
Fast Testing of Critical Properties through Passive Testing....Pages 295-310