Protocol Test Systems: 2nd
International Workshop Proceedings
Published in May 1990
Book
Hardback
382 pages
978-0-444-88563-0 (ISBN)
Description
With the widespread use of open systems, more and more attention is being devoted to methods and tools for testing correct interworking in a heterogeneous environment. Many technical solutions have been developed by researchers from academia, PTTs and industrial laboratories. These solutions have formed the basis for a standardized framework for OSI conformance testing. Existing techniques are being applied to practical testing. This in turn provides feedback and new ideas. Also there are many equally important political aspects in the testing area. The goal of the 2nd International workshop on Protocol Test Systems (IWPTS) 1989 was to bring together researchers and practitioners to discuss important issues in the area of protocol testing, review the state of the art and argue about trends and directions for the future.
With the widespread use of open systems, more and more attention is being devoted to methods and tools for testing correct interworking in a heterogeneous environment. Many technical solutions have been developed by researchers from academia, PTTs and industrial laboratories. These solutions have formed the basis for a standardized framework for OSI conformance testing. Existing techniques are being applied to practical testing. This in turn provides feedback and new ideas. Also there are many equally important political aspects in the testing area. The goal of the 2nd International workshop on Protocol Test Systems (IWPTS) 1989 was to bring together researchers and practitioners to discuss important issues in the area of protocol testing, review the state of the art and argue about trends and directions for the future.
With the widespread use of open systems, more and more attention is being devoted to methods and tools for testing correct interworking in a heterogeneous environment. Many technical solutions have been developed by researchers from academia, PTTs and industrial laboratories. These solutions have formed the basis for a standardized framework for OSI conformance testing. Existing techniques are being applied to practical testing. This in turn provides feedback and new ideas. Also there are many equally important political aspects in the testing area. The goal of the 2nd International workshop on Protocol Test Systems (IWPTS) 1989 was to bring together researchers and practitioners to discuss important issues in the area of protocol testing, review the state of the art and argue about trends and directions for the future.
More details
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-88563-0 (9780444885630)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Invited Papers. International Conformance Testing - Towards the Next Decade (I. Davidson). Progress in Conformance Testing Services? (D. Dwyer). TTCN: Status and Assessment (M. Doubet). Use and Applicability of ASN.1 (S. Kesti, K. Ronka). The Use of Protocol Conformance Testing - Throughout the Life Cycle of OSI/ISDN IT Products (W.B. Davis). Update on the Impact of ISO 9646 on Test System Design (D. Rayner). Test Methodologies. Testing Multipeer Protocols in the Presence of Faults (E. Martins et al.). Architecture and Design of VLSI Hardware for Design Protocol Testing (C. Anderson, R. Ito). Test Result Analysis with Respect to Formal Specifications (G. v. Bochmann, O.B. Bellal). Test Suite Development. Automatic Dynamic Behaviour Generation in TTCN Format from Estelle Specifications (B. Forghani, B. Sarikaya). Test Derivation from Net Models (B. Baumgarten, A. Giessler, R. Platten). The UIOv-Method for Protocol Test Sequence Generation (S.T. Vuong, W.Y.L. Chan, M.R. Ito). Test Sequence Derivation Based on External Behaviour Expression (J.-P. Wu, S.T. Chanson). Test Tools. Automated Implementation and Testing of SDL Protocol Specifications (W. Grassl, H. Kossmann). KATE - A Test System for OSI-Protocols (W. Stoll). Protocol Conformance Testing with Communicating Rule Systems (R.J. Velthuys, J. Schneider, L. Mackert). Remote ISDN Vendor Conformance Testing Approach (W.-M. Chan, M. Hornbeek, Q. Tu). OSI-X.400 Inter-Operation Verification Services (G. Bonnes). The RNL Conformance Kit (S.P. van de Burgt et al.). Testing Based on FDTs. About Using Process Algebras to Write Protocol Test Suites (G. T'Hooft). Phase-Directed Testing of Estelle Specifications (T.T. Boyce, R. Probert). Open Systems Testing: A Method, a Test Language and a Tool (R. Ahooja et al.). A Formal Approach to Conformance Testing (E. Brinksma et al.). Panel Discussions and Tool Demonstrations.