Ebook: Testing of Communicating Systems: Methods and Applications
- Tags: Computer Communication Networks, Multimedia Information Systems, Electrical Engineering
- Series: IFIP — The International Federation for Information Processing 21
- Year: 1999
- Publisher: Springer US
- Edition: 1
- Language: English
- pdf
Testing of Communicating Systems presents the latest worldwide results in both the theory and practice of the testing of communicating systems. This volume provides a forum that brings together the substantial volume of research on the testing of communicating systems, ranging from conference testing through interoperability testing to performance and QoS testing. The following topics are discussed in detail:
This book contains the selected proceedings of the 12th 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 Budapest, Hungary, in September 1999.
The book contains not only interesting research on testing different communication technologies from telecom and datacom systems to distributed systems, but also presents reports on the application of these results in industry.
Testing of Communicating Systems will be essential reading for engineers, IT managers and research personnel working in computer science and telecommunications.
Content:
Front Matter....Pages i-xii
Front Matter....Pages 1-1
Different Approaches to Protocol and Service Testing....Pages 3-18
Towards the Third Edition of TTCN....Pages 19-29
New Directions in ASN.1: Towards a Formal Notation for Transfer Syntax....Pages 31-40
Front Matter....Pages 41-41
Testability with Unbounded Testing Strategies....Pages 43-58
Front Matter....Pages 59-59
Configuration and Execution Support for Distributed Tests....Pages 61-76
Principles and Tools for Testing Open Distributed Systems....Pages 77-92
Architectures for Testing Distributed Systems....Pages 93-108
Decision on Tester Configuration for Multiparty Testing....Pages 109-128
Front Matter....Pages 129-129
Protocol-Inspired Hardware Testing....Pages 131-147
Automated Test of TCP Congestion Control Algorithms....Pages 149-163
Front Matter....Pages 165-165
Test Templates for Test Generation....Pages 167-178
Formal Test Automation: A Simple Experiment....Pages 179-196
Generating Test Cases for a Timed I/O Automaton Model....Pages 197-214
Test Generation Driven by User-Defined Fault Models....Pages 215-233
Front Matter....Pages 235-235
Test Suite Minimization for Embedded Nondeterministic Finite State Machines....Pages 237-250
Automated Test Case Selection Based on Subpurposes....Pages 251-265
Conformance Testing of Multi-Protocol IUTs....Pages 267-284
Front Matter....Pages 285-285
The Challenge of QOS Verification....Pages 287-298
Fast Functional Test Generation Using an SDL Model....Pages 299-315
Performance Testing at Early Design Phases....Pages 317-328
Front Matter....Pages 329-329
Development and Application of ATM Protocol Conformance Test System....Pages 331-346
Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in Iskratel....Pages 347-362
External Conformance Requirements: Concepts, Methods and Tools....Pages 363-378
Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems....Pages 379-394
Back Matter....Pages 395-397
Content:
Front Matter....Pages i-xii
Front Matter....Pages 1-1
Different Approaches to Protocol and Service Testing....Pages 3-18
Towards the Third Edition of TTCN....Pages 19-29
New Directions in ASN.1: Towards a Formal Notation for Transfer Syntax....Pages 31-40
Front Matter....Pages 41-41
Testability with Unbounded Testing Strategies....Pages 43-58
Front Matter....Pages 59-59
Configuration and Execution Support for Distributed Tests....Pages 61-76
Principles and Tools for Testing Open Distributed Systems....Pages 77-92
Architectures for Testing Distributed Systems....Pages 93-108
Decision on Tester Configuration for Multiparty Testing....Pages 109-128
Front Matter....Pages 129-129
Protocol-Inspired Hardware Testing....Pages 131-147
Automated Test of TCP Congestion Control Algorithms....Pages 149-163
Front Matter....Pages 165-165
Test Templates for Test Generation....Pages 167-178
Formal Test Automation: A Simple Experiment....Pages 179-196
Generating Test Cases for a Timed I/O Automaton Model....Pages 197-214
Test Generation Driven by User-Defined Fault Models....Pages 215-233
Front Matter....Pages 235-235
Test Suite Minimization for Embedded Nondeterministic Finite State Machines....Pages 237-250
Automated Test Case Selection Based on Subpurposes....Pages 251-265
Conformance Testing of Multi-Protocol IUTs....Pages 267-284
Front Matter....Pages 285-285
The Challenge of QOS Verification....Pages 287-298
Fast Functional Test Generation Using an SDL Model....Pages 299-315
Performance Testing at Early Design Phases....Pages 317-328
Front Matter....Pages 329-329
Development and Application of ATM Protocol Conformance Test System....Pages 331-346
Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in Iskratel....Pages 347-362
External Conformance Requirements: Concepts, Methods and Tools....Pages 363-378
Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems....Pages 379-394
Back Matter....Pages 395-397
....
Download the book Testing of Communicating Systems: Methods and Applications for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)