Cargando…

Protocol specification, testing, and verification, XII : proceedings of the IFIP TC6 WG 6.1, twelfth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992 /

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: IFIP TC6 WG 6.1 International Symposium on Protocol Specification, Testing, and Verification Lake Buena Vista, Florida
Otros Autores: Linn, R. J., Uyar, M. �U
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : North-Holland, 1992.
Colección:IFIP transactions. Communication systems ; C-8.
Temas:
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Front Cover; Protocol Specification, Testing and Verification, XII; Copyright Page; Organizing Committee; Referees; Table of Contents; PART 1: KEYNOTE SPEECH; Chapter 1. Formal Methods Applied to Software Production; ABSTRACT; RESEARCH ON PRODUCTION PROCESSES; THE NEWCORE PROJECT; SOFTWARE IN THE LARGE; SOME HOPES FOR THE FUTURE; Session 1.A: TESTING THEORY; Chapter 2. Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols; Abstract; 1 Introduction; 2 Objective of our Testing Method; 3 The Model; 4 Generation of test paths and a test sequence.
  • 5 Fault Coverage6 Comparison with related work; 7 Conclusion; References; Chapter 3. A test suite generation method for extended finitestate machines using axiomatic semantics approach; Abstract; 1 Introduction; 2 Extended Finite State Machines; 3 Axiomatic Semantics Approach; 4 Test Cases Generation; 5 Composition of a Test Suite from Test Cases; 6 Conclusion; References; Session I.B: TESTABILITY; Chapter 4. Testing Probabilistic and Nondeterministic Processes; Abstract; 1 Introduction; 2 CCS with Probability; 3 Testing; 4 A Simple Protocol; 5 Conclusion and Future Work; Acknowlegdements.
  • Chapter 7. Formal Model of a High Speed Transport Protocol1. Introduction; 2. System of Communicating Machines (SCM); 3. Problems with Existing Transport Protocols; 4. Specification of a High-Speed TVansport Protocol; 5. Analysis; 6. Conclusion; References; Session I.D: SPECIFICATION; Chapter 8. On Modelling and Reasoning About Hybrid Systems; Abstract; 1 Introduction; 2 A Model of Real-Time Systems; 3 Simulation Algorithm; 4 Reasoning in TRACE(H); 5 Discussion; Acknowledgements; References; Chapter 9. A Queue Model Relating Synchronous and Asynchronous Communication; 1 Introduction.
  • 2 Queue Contexts3 Queue Equivalence; 4 Traces of Queue Contexts; 5 Output Deadlocks of Queue Contexts; 6 Queue Implementation Relations; 7 Concluding Remarks; References; PART 2: INVITED PAPER; Chapter 10. Protocol development success stories: Part I; 1. INTRODUCTION; 2. SPECIFICATION; 3. FINDING ERRORS IN PROTOCOL SPECIFICATIONS: VALIDATION; 4. FINDING ERRORS IN PROTOCOL SPECIFICATIONS: VERIFICATION; 5. AUTOMATIC PROTOCOL IMPLEMENTATION; 6. TESTING IMPLEMENTATIONS; 7. A PREDICTION; 8. CONCLUSIONS; 9. ACKNOWLEDGEMENT; 10. REFERENCES; Session II. A: IMPLEMENTATION.