Runtime Verification: A Hands-On Approach in Java

This book provides a hands-on introduction to runtime verification, guiding readers from zero to practical knowledge required to consider and apply it in industry. It covers basic programming skills, object-oriented paradigm, aspect-oriented programming, automata, regular expressions, and linear time temporal logic, and is written for graduate students and industry professionals.

Format: Paperback / softback
Length: 205 pages
Publication date: 13 July 2022
Publisher: Springer International Publishing AG

This comprehensive guide offers a hands-on introduction to runtime verification, empowering readers to acquire the practical knowledge necessary to consider and apply this critical technology in the industry. Starting with a minimal assumption on the reader's prior knowledge, the book employs a series of exercises to facilitate the development of a runtime verification tool. All that is required is a solid foundation in programming and a thorough understanding of the object-oriented paradigm, preferably in Java. Drawing from the authors' extensive real-world experience, the reader progresses from manually writing runtime verification code to instrumenting monitoring through aspect-oriented programming. Subsequently, they delve into increasing levels of specification abstraction, exploring automata, regular expressions, and linear time temporal logic. Additionally, the book addresses a range of other relevant topics, such as real-time properties, efficiency and persistence concerns, integration with testing, and architectural considerations.

Designed for graduate students specializing in software engineering and industry professionals seeking an entry point into runtime verification, this book strikes a balance between fundamental foundations and practical techniques. Each chapter includes an appendix with a reading list, allowing interested readers to delve deeper into specific areas of interest.

By embracing this book, readers will gain the skills and insights needed to ensure the reliability and correctness of their software systems during runtime, ultimately enhancing their competitive advantage in the fast-paced technology landscape.

Weight: 346g
Dimension: 155 x 234 x 15 (mm)
ISBN-13: 9783031092664
Edition number: 1st ed. 2022