0 Item

Testing of Communicating Systems : Tools and Techniques

Tools and Techniques: 13th International Conference on Testing of Communicating Systems (Testcom 2000), August 29-September 1, 2000, Ottawa, Canada

By: Gregor Bochmann, Ifip Tc6/Wg6 1 International Conference, Hasan Ural (Editor)

Write A Review

Hardcover | 1 December 2009

At a Glance

Hardcover
340 Pages

Dimensions(cm)
23.39 x 15.6 x 2.06

Hardcover

$410.22

or 4 interest-free payments of $102.56 with

Aims to ship in 7 to 10 business days

When will this arrive by?
Enter delivery postcode to estimate

Testing of Communicating Systems presents the latest international results in both the theory and industrial practice of the testing of communicating systems. The topics discussed range 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 of communications software, Internet protocols and applications, and multimedia and distributed systems in general, such as systems for electronic commerce.
This volume contains the extensively refereed proceedings of the 13th International Conference on Testing of Communicating Systems (TestCom 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Ottawa, Ontario, Canada in early September 2000.
Testing of Communicating Systems 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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Engineering & Technology Electronics & Communications Engineering Communications Engineering & Telecommunications Computing & I.T.Computer Networking & Communications Medicine Medicine in General Industrial Chemistry & Manufacturing Technologies Computer Hardware Network Hardware

Preface	p. ix
Committee Members and Reviewers	p. xi
Test Suite Coverage and Verification
Verification of Test Suites	p. 3
Structural Coverage For LOTOS--a Probe Insertion Technique	p. 19
Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs	p. 35
Testability and Test Feasibility
Determination of Test Configurations for Pair-Wise Interaction Coverage	p. 59
Incremental Testing at System Reference Points	p. 75
Generation of Feasible Test Sequences for EFSM Models	p. 91
Interoperability Testing of Internet Protocols
Experiments on IPv6 Testing	p. 113
Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques	p. 127
Interoperability Testing System of TCP/IP Based Communication Systems in Operational Environment	p. 143
TTCN Evolution and Application
On the Design of the New Testing Language TTCN-3	p. 161
HTTP Performance Evaluation with TTCN	p. 177
Conformance Testing of CORBA Services Using TTCN	p. 193
Test Automation and Industrial Testing Experience
Formal Test Automation: the Conference Protocol with PHACT	p. 211
Formal Test Automation: the Conference Protocol with TGV/TORX	p. 221
Functional Testing GPRS Support Nodes using TTCN	p. 229
The Test Sub Group (TSG): A Cooperative Approach to Improve the Release Quality before Type Acceptance	p. 239
Real-Time Testing
Verification and Testing of Concurrent Systems with Action Races	p. 261
An Approach for Testing Real Time Protocol Entities	p. 281
Test Generation in the Presence of Conflicting Timers	p. 301
Author Index	p. 321
Table of Contents provided by Syndetics. All Rights Reserved.

Testing of Communicating Systems : Tools and Techniques

Tools and Techniques: 13th International Conference on Testing of Communicating Systems (Testcom 2000), August 29-September 1, 2000, Ottawa, Canada

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Networking & Communications

The E-Myth Revisited

Why Most Small Businesses Don't Work and What to Do About It

Fundamentals of Software Architecture

A Modern Engineering Approach

Ambient Assisted Living (AAL) Technologies

Transitioning from Healthcare 4.0 to Healthcare 5.0

Password Logbook (Hip Floral)

Keep Track of Usernames, Passwords, Web Addresses in One Easy and Organized Location

Learning Git

A Hands-On and Visual Guide to the Basics of Git

Microsoft 365 For Dummies

For Dummies (Computer/Tech)

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Cybersecurity For Dummies

2nd edition

Data Science from Scratch

First Principles with Python

Dark Wire

The Incredible True Story of the Largest Sting Operation Ever

Learning Opentelemetry

Setting Up and Operating a Modern Observability System

Cybersecurity All-in-One For Dummies

For Dummies

Business Data Communications and Networking

14th Edition

Linux All-In-One For Dummies

For Dummies (Computer/Tech)

Networking All-in-One For Dummies

8th edition

Cryptography and Network Security

8th Edition - Principles and Practice, Global Edition

Cloud Computing

2nd Edition - Concepts, Technology, Security, and Architecture

Intelligence-Driven Incident Response

Outwitting the Adversary

Network Security Assessment

Know Your Network : 3rd Edition

Accounting for Decision Makers ACFI1001 (Custom Edition)

3rd edition

REST API Design Rulebook

OREILLY AND ASSOCIATE

Learning Microsoft Power Automate

Improving Productivity for Business Processes and Workflows

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

Cloud Native Data-Center Networking

Architecture, Protocols, and Tools

This product is categorised by