+612 9045 4394
 
CHECKOUT
Testing of Communicating Systems : IFIP Advances in Information and Communication Technology - Myungchul Kim

Testing of Communicating Systems

IFIP Advances in Information and Communication Technology

Hardcover

Published: December 2009
Ships: 7 to 10 business days
7 to 10 business days
RRP $692.99
$479.90
31%
OFF
or 4 easy payments of $119.98 with Learn more

Other Available Formats (Hide)

  • Paperback View Product Published: 25th February 2013
    $349.95

Testing of Communicating Systems presents the latest world-wide results in both theory and practice. This volume provides a forum in which the substantial volume of research on the testing of communicating systems, spanning from conformance testing through interoperability testing, to performance and QoS testing, is brought together. The following topics are discussed in detail: Types of testing; Phases of the testing process; Classes of systems to be tested; and Theory and practice of testing. This book contains the selected proceedings of the 11th International Workshop on the Testing of Communicating Systems, formerly the International Workshop on Protocol Test Systems, sponsored by the International Federation for Information Processing (IFIP), and held in Tomsk, Russia, in August/September 1998. Testing of Communicating Systems will be essential reading for engineers, IT managers and research personnel working in computer sciences and telecommunications.

Preface
Future directions for protocol testing, learning the lessons from the pastp. 3
PerfTTCN, a TTCN language extension for performance testingp. 21
Real-time TTCN for testing real-time and multimedia systemsp. 37
Integration of test procedures and trials for DECT handsetsp. 57
Development of an ETSI standard for Phase-2 GSM/DCS mobile terminal conformance testingp. 65
Automatic executable test case generation for extended finite state machine protocolsp. 75
A method to derive a single-EFSM from communicating multi-EFSM for data part testingp. 91
Basing test coverage on a formalization of test hypothesesp. 109
Design for testability: a step-wise approach to protocol testingp. 125
Developments in testing transition systemsp. 143
Checking experiments with labeled transition systems for trace equivalencep. 167
An approach to dynamic protocol testingp. 183
Sensitivity analysis of the metric based test selectionp. 200
Analyzing performance bottlenecks in protocols based on finite state specificationsp. 220
A conformance testing for communication protocols modeled as a set of DFSMs with common inputsp. 239
On test case generation from asynchronously communicating state machinesp. 255
Fault detection in embedded componentsp. 272
A pragmatic approach to generating test sequences for embedded systemsp. 288
The European initiative for the development of infrastructural tools: the INTOOL programmep. 311
HARPO: testing tools developmentp. 318
Application of a TTCN based conformance test environment on the Internet email protocolp. 324
The INTOOL/CATG European project: development of an industrial tool in the field of computer aided test generationp. 330
Modeling and testing of protocol systemsp. 339
A pragmatic approach to test generationp. 365
Towards abstract test methods for relay system testingp. 381
Applying SaMsTaG to the B-ISDN protocol SSCOPp. 397
Design of protocol monitor emulating behaviors of TCP/IP protocolsp. 416
A two-level approach to automated conformance testing of VHDL designsp. 432
Index of contributorsp. 449
Keyword indexp. 451
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9780412817304
ISBN-10: 0412817306
Series: IFIP Advances in Information and Communication Technology : Book 10
Audience: General
Format: Hardcover
Language: English
Number Of Pages: 452
Published: December 2009
Publisher: Chapman and Hall
Country of Publication: GB
Dimensions (cm): 23.5 x 15.5  x 2.54
Weight (kg): 1.83