Protocol Specification, Testing and Verification, XII. Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22–25 June, 1992

✍ Scribed by R.J. Linn and M.Ü. Uyar (Eds.)

• Publisher: North Holland
• Year: 1992
• Tongue: English
• Leaves: 381
• Category: Library

✦ Synopsis

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

✦ Table of Contents

Content:
IFIP Transactions C: Communication Systems, Page ii
Front Matter, Page iii
Copyright, Page iv
Preface, Pages v-vi, R.J. (Jerry) Linn, M. Ümit Uyar
Organizing Committee, Page vii
Referees, Page viii
Formal Methods Applied to Software Production, Pages 3-9, A.G. Fraser
Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols, Pages 13-27, Raymond E. Miller, Sanjoy Paul
A test suite generation method for extended finite state machines using axiomatic semantics approach, Pages 29-43, Chang-Jia Wang, Ming T. Liu
Testing Probabilistic and Nondeterministic Processes, Pages 47-61, Wang Yi, Kim G. Larsen
Testability of Formal Specifications, Pages 63-77, S.P. van de Burgt, J. Kroon, A.M. Peeters
Structuring Protocols using Exceptions in a LOTOS Extension, Pages 81-96, J. Quemada, A. Azcorra
Formal Model of a High Speed Transport Protocol, Pages 97-111, G.M. Lundy, R.C. McArthur
On Modelling and Reasoning About Hybrid Systems, Pages 115-129, R.C. Sekar, Yow-Jian Lin, Sanjai Narain
A Queue Model Relating Synchronous and Asynchronous Communication, Pages 131-145, Jan Tretmans, Louis Verhaard
Protocol development success stories: Part I, Pages 149-160, Harry Rudin
From service specification to protocol entity implementation - An exercise in formal protocol development, Pages 163-177, Claus Dendorfer, Rainer Weber
Development of Satellite Communication Networks based on LOTOS, Pages 179-192, A. Fernández, C. Miguel, L. Vidaller, J. Quemada
A test derivation method based on exploiting structure information, Pages 195-209, R.J. Velthuys, J.M. Schneider, G. Zörntlein
Automatic test generation for protocol data aspects, Pages 211-226, Erik Kwast
Test suite generation for a FSM with a given type of implementation errors, Pages 229-243, Alexandre Petrenko, Nina Yevtushenko
Improvements on UIO Sequence Generation and Partial UIO Sequences, Pages 245-260, Woojik Chun, Paul D. Amer
Computing Diagnostic Tests for Incorrect Processes, Pages 263-277, Ufuk Celikkan, Rance Cleaveland
Automated Validation of TTCN Test Suites, Pages 279-295, U. Bär, J.M. Schneider
Formal Methods in Conformance testing: Status and Expectations, Pages 299-316, Jean-Philippe Favreau, Dieter Hogrefe, Jan Kroon
Testability in the context of SDL, Pages 319-333, Jan Ellsberger, Finn Kristoffersen
A common semantics representation for SDL and TTCN, Pages 335-346, Thomas Walter, Jan Ellsberger, Finn Kristoffersen, Paul van den Merkhof
Coverage Preserving Reduction Strategies for Reachability Analysis, Pages 349-363, Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin
The Two-Dimensional Window Protocol, Pages 365-379, Mohamed G. Gouda
Module Composition and Refinement with Applications to Protocol Conversion, Pages 383-397, Kenneth L. Calvert
Stepwise Assertional Design of Distance–Vector Routing Algorithms, Pages 399-413, Cengiz Alaettinoğlu, A. Udaya Shankar
Author Index, Page 415
IFIP, Pages ibc1-ibc5