Publisher's Synopsis
In order to achieve the goal of communication architectures and protocols, which is the interworking of systems, several kinds of test are required: conformance testing, interoperability testing, performance testing and robustness testing. This volume contains contributions from internationally recognized experts working on the theory and practice of protocol testing. In addition to the discussion of important issues in the area, it also offers a review of the state of the art and consideration of trends and directions for the future. The papers cover different approaches, including: formal methods for conformance testing; test generation and coverage; testability and architecture; conformance relations and test derivation; interoperability and nondeterminism; industrial reports and tools.;The book will be an essential reference tool for students, engineers, researchers and designers in the field.
