Testing of Communicating Systems: Methods and ApplicationsGyula Csopaki, Margit Dibuz, Katalin Tarnay Springer Science & Business Media, 1999 M07 31 - 397 páginas 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. |
Contenido
Different Approaches to Protocol and Service Testing | 3 |
Towards the Third Edition of TTCN | 19 |
New Directions in ASN1 Towards a Formal Notation for Transfer Syntax | 31 |
Testability with Unbounded Testing Strategies | 43 |
Configuration and Execution Support for Distributed Tests | 61 |
Principles and Tools for Testing Open Distributed Systems | 77 |
Architectures for Testing Distributed Systems | 93 |
Decision of Tester Configuration for Multiparty Testing | 109 |
Test Suite Minimization for Embedded Nondeterministic Finite State Machines | 237 |
Automated Test Case Selection Based on Subpurposes | 251 |
Conformance Testing of Multiprotocol IUTs | 267 |
The Challenge of QoS Verification | 287 |
Fast Functional Test Generation Using an SDL Model | 299 |
Performance Testing at Early Design Phases | 317 |
Development and Application of ATM Protocol Conformance Test System | 331 |
Automatic Test Case Generation From the Industrual Point of View Conformance Testing in Iskaratel | 347 |
ProtocolInspired Hardware Testing | 131 |
Automated Test of TCP Congestion Control Algorithms | 149 |
Test Templates for Test Generation | 167 |
Formal Test Automation A Simple Experiment | 179 |
Generating Test Cases for a Time IO Automaton Model | 197 |
Test Generation Driven By UserDefined Fault Models | 215 |
External Conformance Requirements Concepts Methods and Tools | 363 |
Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems | 379 |
Otras ediciones - Ver todas
Testing of Communicating Systems: Methods and Applications Gyula Csopaki,Margit Dibuz,Katalin Tarnay Vista previa limitada - 2013 |
Testing of Communicating Systems Gyula Csopaki,Margit Dibuz,Katalin Tarnay Sin vista previa disponible - 2014 |
Términos y frases comunes
Abstract Abstract Test Suite algorithm application approach ATM Forum automatically automaton behaviour communication protocols complete w.r.t. Computer conformance testing context CORBA coverage defined described detect deterministic distinguishing automaton distributed systems distributed test embedded test encoding rules environment ETSI example executable test fail fault domain Figure Finite State Machines formal function global implementation initial input sequence interface internal ISDN IskraTEL ITU-T Korea Telecom language layer LOTOS module notation paper path PCO3 PCOS PDUs Petrenko problem protocol testing queue requirements SDL specification Section signal simulation spec subpurposes synchronization syntax system under test techniques test architecture test components test derivation test events test execution test method test sequence test suite test system test template tester timer tool TORX trace transition TTCN TTCN test verdict verification VHDL w.r.t. the fault