Protocol Test Systems

Protocol Specification, Testing, and Verification, VII

Protocol Test Systems, III

As the deployment of open systems increases, conformance testing tools and methods become more prevalent. This underscores the need to bring together researchers from industrial laboratories, academia and PTTs to share with their colleagues their latest theories and findings. These findings contribute to the state-of-the-art in conformance testing and form the basis for a standardized framework for OSI conformance testing. The goal of this 3rd International Workshop was to provide such a forum for researchers and practitioners in the design, development and use of protocol test systems for OSI, ISDN, IBCN, and other environments. The present volume brings together twenty-six selected and three invited papers, as well as the input from more than 70 participants from industrial and scientific institutions in eleven countries.

Protocol Specification, Testing, and Verification, IV

Hardbound. This book covers research in protocol theory and analysis, specification and formal models of protocols, protocol validation and verification, performance analysis of protocols, and protocol design implementation and testing.Main Features: 1. Broad coverage of the research in the area of computer communication protocols. 2. A combination of theoretical and experimental research on protocol modelling, design, analysis, synthesis, verification and testing. 3. A description of international research activities conducted by leading researchers in the field from over 13 countries.