+612 9045 4394
 
CHECKOUT
Testing of Communicating Systems : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings - Roland Groz

Testing of Communicating Systems

16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings

By: Roland Groz (Editor), Robert M. Hierons (Editor)

Paperback

Published: 2nd March 2004
Ships: 5 to 9 business days
5 to 9 business days
$125.05
or 4 easy payments of $31.26 with Learn more
if ordered within

This volume contains the proceedings of the 16th IFIP TC6/WG6.1 Inter- tional Conference on Testing of Communicating Systems (TestCom 2004). This conference was held at St Anne's College, Oxford, UK, from March 17 to March 19, 2004. TestCom 2004 was the sixteenth in a series of IFIP-sponsored events that started in 1988. The previous events were held in Vancouver, Canada (1988); B- lin, Germany (1989); McLean, USA (1990); Leidschendam, Netherlands (1991); Montreal, Canada (1992); Pau, France (1993); Tokyo, Japan (1994); Evry, France (1995); Darmstadt, Germany (1996); Cheju Island, Korea (1997); Tomsk, R- sia (1998); Budapest, Hungary (1999); Ottawa, Canada (2000); Berlin, Germany (2002); and Sophia Antipolis, France (2003). TestCom was not held in 2001 since at this point the conference moved from autumn to spring. TestCom 2004 was organized by Brunel University, UK and LSR-IMAG, France and was sponsored by IFIP. Support was also provided by the Engineering and Physical Sciences Research Council (EPSRC). We are grateful to the keynote speaker, Prof. Sir Tony Hoare, FRS, and our invited speakers for agreeing to address TestCom 2004.

Implementation of an open source toolset for CCM components and systems testingp. 1
A multi-service and multi-protocol validation platform - experimentation resultsp. 17
From design to test with UML (applied to a roaming algorithm for bluetooth devices)p. 33
BCMP performance test with TTCN-3 mobile node emulatorp. 50
FSM based interoperability testing methods for multi stimuli modelp. 60
On testing partially specified IOTS through lossless queuesp. 76
Testing multi input/output transition system with all-observerp. 95
Soip over satellite testing - TIM experiencep. 112
Generation of optimized testsuites for UML statecharts with timep. 128
Communication patterns for expressing real-time requirements using MSC and their application to testingp. 144
From safety verification to safety testingp. 160
Derivation of abstract protocol type definitions for the conformance testing of text-based protocolsp. 177
Mutation testing applied to validate SDL specificationsp. 193
Execution of external applications using TTCN-3p. 209
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540212195
ISBN-10: 3540212191
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 226
Published: 2nd March 2004
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.3 x 15.5  x 1.3
Weight (kg): 0.77