Many books have been written about software testing, but most of them discuss the general framework of testing from a traditional perspective. Unfortunately, traditional test design techniques are often ineffective and unreliable for revealing the various kinds of faults that may occur. This book introduces three new software testing techniques: Two-Phase Model-Based Testing, the Action-State Testing, and the General Predicate Testing, all of which work best when applied with efficient fault revealing capabilities.

You’ll start with a short recap of software testing, focusing on why risk analysis is obligatory, how to classify bugs practically, and how fault-based testing can be used for improving test design. You’ll then see how action-state testing merges the benefits of state transition testing and use case testing into a unified approach. Moving on you’ll look at general predicate testing and how it serves as an extension of boundary value analysis, encompassing morecomplex predicates.

What You'll Learn

• Apply efficient test design techniques for detecting domain faults
• Work with modeling techniques that combine all the advantages of state transition testing and uses case testing
• Grasp the two-phase model-based testing technique
• Use test design efficiently to find almost all the bugs in an application

Who This Book Is For

Software developers, QA engineers, and, business analysts