Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)

Description

Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems.

This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 3210
2. Computational Discrete Mathematics: Advanced Lectures (Lecture Notes in Computer Science)
3. Algorithms for Memory Hierarchies: Advanced Lectures (Lecture Notes in Computer Science)
4. Algorithms for Memory Hierarchies: Advanced Lectures (Lecture Notes in Computer Science)
5. Digital and Image Geometry: Advanced Lectures (Lecture Notes in Computer Science)
6. Lectures on the Complexity of Bilinear Problems (Lecture Notes in Computer Science)
7. Model Generation for Natural Language Interpretation and Analysis (Lecture Notes in Computer Science
8. Topics in Case-Based Reasoning (Lecture Notes in Computer Science)
9. Component-Based Software Quality: Methods and Techniques (Lecture Notes in Computer Science)
10. Lecture Notes in Computer Science - DNA Computing: 9th International Workshop on DNA Based Computers (2004)
11. Anticipatory Behavior in Adaptive Learning Systems: Foundations, Theories, and Systems (Lecture Notes in Computer Science)
12. Architecting Dependable Systems (Lecture Notes in Computer Science)
13. Architecting Dependable Systems (Lecture Notes in Computer Science)
14. Fuzzy Systems and Knowledge Discovery (Lecture Notes in Computer Science)
15. Reactive Flow Modeling of Hydrothermal Systems (Lecture Notes in Earth Sciences)
16. Cognitive Systems: Revised Selected Papers (Lecture Notes in Computer Science)