Discover the secrets of successful debugging and improve the quality of your code

Why Programs Fail is an indispensable guide for anyone who wants to effectively predict, detect, and prevent errors in their programs. If you want to increase the reliability of your software and eliminate issues that slow down development, this book shows you how.

This publication offers a comprehensive look at techniques and tools for verifying code, including practical applications such as FindBUGS and AGITAR. You will learn how to use integrated development environments like Jazz.net and discover methods based on static analysis, such as ESC/Java and Spec#. The book also demonstrates working with Eclipse and Mozilla, which greatly helps to apply the theory in practice.

With a clear and pragmatic approach, Why Programs Fail is a complete tool for any programmer who wants to understand why errors occur and how to prevent them effectively so that programs run more reliably and without unnecessary complications.

Why you will love this book

• Comprehensive coverage of code verification and bug detection.
• Practical guides to tools like FindBUGS and AGITAR.
• Examples and demos from popular development environments such as Eclipse and Mozilla.
• Error prevention and software quality improvement.
• Clear and practical style that is easy to understand even for intermediate programmers.

Main features of the book

• Contains chapters on verifying code, predicting errors, and preventing errors.
• Includes tools for static analysis and integrated development environments.
• Presents demo versions of tools such as ESC/Java and Spec#.
• Provides a comprehensive and pragmatic overview of debugging techniques.
• Suitable for programmers who want to increase the reliability of their applications.