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
Başlık:
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
Yazar:
IFIP TC6 WG 6.1 International Symposium on Protocol Specification, Testing, and Verification 12th (1992nd : Lake Buena Vista, Florida)
ISBN:
9781483293349
Yayın Bilgileri:
Amsterdam ; New York : North-Holland, 1992.
Fiziksel Tanımlama:
1 online resource (xi, 415 pages) : illustrations
Seri:
IFIP transactions. C, Communication systems, C-8
IFIP transactions. C, Communication systems ; C-8.
İçerik:
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.
Özet:
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. C.
Konu Başlığı:
Elektronik Erişim:
ScienceDirect https://www.sciencedirect.com/science/book/9780444898746Mevcut:*
Yer Numarası | Demirbaş Numarası | Shelf Location | Lokasyon / Statüsü / İade Tarihi |
|---|---|---|---|
| TK5105.5 .I34264 1992 | 1181447-1001 | Elsevier E-Kitap Koleksiyonu | Arıyor... |
On Order
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
:
Select An Item
Data usage warning: You will receive one text message for each title you selected.
Standard text messaging rates apply.