+612 9045 4394
 
CHECKOUT
Testing of Communicating Systems : Ifip International Federation for Information Processing - Nina Yevtushenko

Testing of Communicating Systems

Ifip International Federation for Information Processing

By: Nina Yevtushenko (Editor)

Hardcover Published: December 2009
ISBN: 9780412844300
Number Of Pages: 364

Share This Book:

Hardcover

RRP $717.99
$497.25
31%
OFF
or 4 easy payments of $124.31 with Learn more
Ships in 7 to 10 business days

Other Available Editions (Hide)

  • Paperback View Product Published: 11th January 2013
    $327.53

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
Committee Members and Reviewers
Testing of automata: from experiments to representations by means of fragmentsp. 3
TMN and telecommunication networks testingp. 17
Conformance testing methodology of Internet protocols Internet application-layer protocol testing - the hypertext transfer protocolp. 35
Intelligent protocol analyzer for WWW server accesses with exception handling functionp. 49
Factorized test generation for multi-input/output transition systemsp. 67
Test generation for specifications modeled by input/output automatap. 83
Distinguishing tests for nondeterministic finite state machinesp. 101
Evaluation of test coverage for embedded system testingp. 111
Test suite minimization for testing in contextp. 127
Test Architectures for distributed systems: state of the art and beyondp. 149
Using partial-orders for detecting faults in concurrent systemsp. 175
Conformance testing of a multimedia system using PHACTp. 193
An industrial experiment in automatic generation of executable test suites for a cache coherency protocolp. 211
Autolink - Putting SDL-based test generation into practicep. 227
Testing Temporal Logic Properties in Distributed Systemsp. 247
Programming service tests with TTCNp. 263
A guided incremental test case generation procedure for conformance testing for CEFSM specified protocolsp. 279
Testing and test generation: state of the art and future expectationsp. 297
Interoperability test suite derivation for the ATM/B-ISDN signaling protocolp. 313
Test suite migration experiences for B-ISUP and B-MTPp. 331
Qualitative notions of testabilityp. 349
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9780412844300
ISBN-10: 0412844303
Series: Ifip International Federation for Information Processing : Book 11
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 364
Published: December 2009
Publisher: SPRINGER VERLAG GMBH
Country of Publication: GB
Dimensions (cm): 23.39 x 15.6  x 2.24
Weight (kg): 0.71