Protocol Test Systems: 6th
International Workshop Proceedings
Published on 23. December 1993
Book
Paperback/Softback
392 pages
978-0-444-81697-9 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Elsevier Science & Technology
Target group
College/higher education
Professional and scholarly
Illustrations
Illustrations
Dimensions
Height: 230 mm
ISBN-13
978-0-444-81697-9 (9780444816979)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Part 1 Invited paper I: formal methods for conformance testing - results and perspectives, A.R. Cavalli et al; test generation and coverage - fault coverage of UIO-based methods for protocol tesing, H. Motteler et al; executable testers, M. Phalippou; generating tests for control portion of SDL specifications, G. Luo et al; test suite generation for application layer protocols from formal specifications in Estelle, O. Henniger et al; tutorial - a framework for the design for testability of communication protocols, S.T. Vuong et al; testability and architecture - on evaluation of testability of protocol structures, A. Petrenko et al; ATM broadband network testing using the ferry principle, M.F. Witteman and R.C. van Wuijtswinkel; generating synchronizable test sequences based on finite state machine with distributed ports, G. Luo et al. Part 2 Invited paper II: conformance relations and test derivation, A. Petrenko et al; industrial reports and tools - experiences with computer aided test case generation, A. Ek et al; protocol test case vizualization, P. Kalyanasundaram and P.D. Amer; the UBC protocol testing environment, S.T. Chanson et al; experience with Octopus automated TTCN translation tools applied to GSM/SS7, A. Ahtiainen et al. Part 3 Invited paper III: a formal approach to conformance testing, J. Tretmans; test generation - test derivation from LOTOS using structure information, A. Ulrich and H. Konig. Part 4 Invited paper IV: the refusal graph - a tradeoff between verification and test, K. Drira; interoperability and nondeterminism - interoperability testing - basis for the acceptance of communication systems, G. Vermeer and H. Blik; deriving coordinated testers for interoperability, R. Castanet and O. Kone; adaptive testing of non-deterministic communication protocols, M. Ghriga and P.G. Frankl; nondeterministic state machines in protocol conformance testing, A. Petrenko et al.