Boris Beizer Ordine dei libri (cronologico)

Mission-critical and business-critical applications increasingly rely on object-oriented (OO) software, necessitating tailored testing techniques for high reliability and quality. This authoritative guide focuses on designing and automating test suites for OO applications, emphasizing the importance of model-based testing. It details techniques for developing testable models using state machines, combinational logic, and the Unified Modeling Language (UML). The book introduces the test design pattern and presents 37 patterns that guide the creation of responsibility-based test suites, integration, and regression testing for OO code, as well as effective testing of reusable components and frameworks. Automation is crucial, and the author explains how to design specification-based assertions to mitigate testability issues arising from inheritance and polymorphism. Fifteen micro-patterns offer practical oracle strategies for test design challenges, while seventeen design patterns illustrate how to automate test suites within a coherent OO test harness framework. Key topics include OO programming bug hazards, designing tests for classes and subsystems, supporting reuse through effective testing, integration strategies for iterative development, comprehensive system testing with use cases, regression test approaches, and automating testing with assertions and test frameworks. Real-world examples cover test design and automation for