Protocol Test Systems Iii

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, XII

For more than a decade, researchers and engineers have been addressing the problem of the application of formal description techniques to protocol specification, implementation, testing and verification. This book identifies the many successes that have been achieved within the industrial framework and the difficulties encountered in applying theoretical methods to practical situations. Issues discussed include: testing and certification; verification; validation; environments and automated tools; formal specifications; protocol conversion; implementation; specification languages and models. Consideration is also given to the concerns surrounding education available to students and the need to upgrade and develop this through sponsorship of a study of an appropriate curriculum at both undergraduate and graduate levels. It is hoped this publication will stimulate such support and inspire further research in this important arena.

Conference Record