+612 9045 4394
 
CHECKOUT
Testing of Communicating Systems XIV : Application to Internet Technologies and Services - Ina Schieferdecker

Testing of Communicating Systems XIV

Application to Internet Technologies and Services

By: Ina Schieferdecker (Editor), Hartmut Konig (Editor), Adam Wolisz (Editor)

Hardcover Published: 31st March 2002
ISBN: 9780792376958
Number Of Pages: 452

Share This Book:

Hardcover

RRP $673.99
$466.80
31%
OFF
or 4 easy payments of $116.70 with Learn more
Ships in 7 to 10 business days

Earn 934 Qantas Points
on this Book

Other Available Editions (Hide)

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.

Preface
Conference
Committees
Keynote
Speech I: Abstract
Testing of IP Services & Applications in a Service Provider Environment
Testing TCP/IP
A TCP Test System Specifying only Exceptional Packet Sequences
Verifying IP Meters from Sampled Measurements
Testing IP Differentiated Services Implementations
Invited Talk I: Abstract
Achieving High Reliability for Ubiquitous Information Technology
Testing Internet Systems
An Automated, Flexible Testing Environment for UMTS
Testing Mobile Agents
Testing Access to External Information Sources in a Mediator Environment
Industrial
Compliance of Wireless Application Protocols
A Flexible Traffic Generator for Testing PABX and Call Center Performance
Interoperability Testing
Interoperability Test Generation for Communication Protocols based on Multiple Stimuli Principle
Automated Generation of Interoperability Tests
Keynote Speech II: Abstract
Applying Formal Methods in Mobile Protocol Testing
Industrial
Experiences of TTCN-3 Test Executor Development
Position Statement: Making TTCN-3 testing a success
Position Statement: Testing Automation with Computer Aided Test Case Generation
Test Automation
Automated Testing in Practice: The Highway Tolling System
Ad-hoc Protocol Modelling, Validation and Automated Test Suite Generation
Test Generation and Selection
Generate Certified Test Case by Combining Theorem Proving and Reachability Analysis
Test Selection, Trace Distance and Heuristics
Formulation of the Interaction Test Coverage Problem as an Integer Program
Testing Distributed Systems
Principles of Distributed Test Synthesis based on True-concurrency Models
Fault Detection within a Component of a System of Communicating FSMs
Invited Talk II. Hardware/Software Integration Testing for the new Airbus Aircraft Families
FSM-based Testing
Test Generation for CEFSM Combining Specification and Fault Coverage
FSM-based Re-Testing Methods
A New Approach to Checking Sequence Generation for Finite State Machines
TTCN-3. Timed TTCN-3 &endash; A Real-Time Extension for TTCN-3
Implementation of TTCN-3 Test Systems using the TRI
A Definition and Utilisation of OMG IDL to TTCN-3 Mappings
Author
Index
Partners of TestCom 2002
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9780792376958
ISBN-10: 0792376951
Series: IFIP Advances in Information and Communication Technology
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 452
Published: 31st March 2002
Publisher: Springer
Country of Publication: NL
Dimensions (cm): 23.5 x 15.5  x 2.74
Weight (kg): 1.44

Earn 934 Qantas Points
on this Book