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.
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.
