Protocol test systems : proceedings of the IFIP TC 6 Second International Workshop on Protocol Test Systems, organized by GMD-FOKUS and IBM-ENC, Berlin, F.R.G., 3-6 October 1989
Author(s)
Bibliographic Information
Protocol test systems : proceedings of the IFIP TC 6 Second International Workshop on Protocol Test Systems, organized by GMD-FOKUS and IBM-ENC, Berlin, F.R.G., 3-6 October 1989
North-Holland , Distributors for the U.S. and Canada, Elsevier Pub. Co., 1990
Available at / 3 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references
Description and Table of Contents
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.
Table of Contents
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.
by "Nielsen BookData"
