Testing of Communicating Systems XIV: Application to Internet Technologies and Services : Ifip Tc6/Wg6.1 International Conference on Testing of Communicating Systems (Testcom 2002), March

by Ifip Tc6; Wg6.1 International Conference on Testing of Communicating sy; Konig, Hartmut; Wolisz, Adam

• ISBN13: 9780792376958
• ISBN10: 0792376951
• Edition: 1st
• Format: Hardcover
• Copyright: 2002-03-01
• Publisher: Kluwer Academic Pub

Summary

Testing of Communicating Systems XIV presents the latest international results in both the theory and industrial practice of the testing of communicating systems, ranging from tools and techniques for testing to test standards, frameworks, notations, algorithms, fundamentals of testing, and industrial experiences and issues. The tools and techniques discussed apply to conformance testing, interoperability testing, performance testing, Internet protocols and applications, and multimedia and distributed systems in general. The topics covered in this volume include: Testing TCP/IP; Testing Internet systems; Interoperability testing; Test automation; Test generation and selection; Testing distributed systems; FSM-based testing; Applications of TTCN-3; and Industrial sessions.This volume contains the papers presented at the 14th International Conference on Testing of Communicating Systems (TestCom 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Berlin, Germany, in March 2002. The conference program presents the state of the art in research concerning the testing of communicating systems. This is an important research area in the development of computer networks and distributed applications where much activity is currently in progress. The TestCom series of conferences is one of the main international forums where these important findings are reported. Testing of Communicating Systems XIV is essential reading for engineers, designers, managers of IT products and services, and all researchers interested in advancing the technology of engineering Internet frameworks, systems, services, and applications for reliability and quality.

Table of Contents

Preface	ix
Conference Committees	xi
Keynote Speech I - Abstract
Testing of IP Services & Applications in a Service Provider Environment	17	(4)
Andreas Gehring
Session I Testing TCP/IP
A TCP Test System Specifying only Exceptional Packet Sequences	21	(18)
Tomohiko Ogishi
Toru Hasegawa
Toshihiko Kato
Kenji Suzuki
Verifying IP Meters from Sampled Measurements	39	(16)
Carlos Veciana-Nogues
Albert Cabellos-Aparicio
Jordi Domingo-Pascual
Josep Sole-Pareta
Testing IP Differentiated Services Implementations	55	(20)
Carlos Parada
Jorge Carapinha
Francisco Fontes
Solange Lima
Paulo Carvalho
Invited Talk I - Abstract
Achieving High Reliability for Ubiquitous Information Technology	75	(4)
Robert V. Binder
Session II Testing Internet Systems
An Automated, Flexible Testing Environment for UMTS	79	(16)
Jan Bredereke
Bernd-Holger Schlingloff
Testing Mobile Agents	95	(16)
Mikael Marche
Yves-Marie Quemener
Roland Groz
Testing Access to External Information Sources in a Mediator Environment	111	(18)
Zoltan Adam Mann
Jacques Calmet
Peter Kullmann
Session III Industrial Session I
Compliance of Wireless Application Protocols	129	(10)
Ousmane Kone
A Flexible Traffic Generator for Testing PABX and Call Center Performance	139	(12)
Georg Roßler
Thomas Steinert
Session IV Interoperability Testing
Interoperability Test Generation for Communication Protocols based on Multiple Stimuli Principle	151	(18)
Soonuk Seol
Myungchul Kim
Samuel T. Chanson
Automated Generation of Interoperability Tests	169	(18)
Cedric Besse
Ana Cavalli
Myungchul Kim
Fatiha Zadi
Keynote Speech II -- Abstract
Applying Formal Methods in Mobile Protocol Testing	187	(4)
Ari Ahtiainen
Session V Industrial Session II
Experiences of TTCN-3 Test Executor Development	191	(10)
Janos Zoltan Szabo
Position Statement: Making TTCN-3 testing a success	201	(8)
Wolfgang Sachse
Position Statement: Testing Automation with Computer Aided Test Case Generation	209	(10)
Tapio Heikkila
Petri Tenno
Jarmo Vaananen
Session VI Test Automation
Automated Testing in Practice: The Highway Tolling System	219	(16)
Rene G. de Vries
Axel Belinfante
Jan Feenstra
Ad-hoc Protocol Modelling, Validation and Automated Test Suite Generation	235	(14)
Endre Horvath
Session VII Test Generation and Selection
Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis	249	(18)
Richard Castanet
Davy Rouillard
Test Selection, Trace Distance and Heuristics	267	(16)
Loe M. G. Feijs
Nicolae Goga
Sjouke Mauw
Jan Tretmans
Formulation of the Interaction Test Coverage Problem as an Integer Program	283	(18)
Alan W. Williams
Robert L. Probert
Session VIII Testing Distributed Systems
Principles of Distributed Test Synthesis based on True-concurrency Models	301	(16)
Claude Jard
Fault Detection within a Component of a System of Communicating FSMs	317	(18)
Ana Cavalli
Svetlana Prokopenko
Nina Yevtushenko
Invited Talk II
Hardware/Software Integration Testing for the new Airbus Aircraft Families	335	(20)
Jan Peleska
Session IX FSM-based Testing
Test Generation for CEFSM Combining Specification and Fault Coverage	355	(18)
Sergiy Boroday
Alex Petrenko
Roland Groz
Yves-Marie Quemener
FSM-based Re-Testing Methods	373	(18)
Khaled El-Fakih
Nina Yevtushenko
Gregor v. Bochmann
A New Approach To Checking Sequence Generation for Finite State Machines	391	(16)
Burak Serdar
Kuo-Chung Tai
Session X TTCN-3
Timed TTCN-3 - A Real-Time Extension for TTCN-3	407	(18)
Zhen Ru Dai
Jens Grabowski
Helmut Neukirchen
Implementation of TTCN-3 Test Systems using the TRI	425	(18)
Stephan Schulz
Theofanis Vassiliou-Gioles
A Definition and Utilisation of OMG IDL to TTCN-3 Mappings	443	(16)
Michael Ebner
Aihong Yin
Mang Li
Author Index	459	(2)
Partners of TestCom 2002	461