Description
Book SynopsisMany 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 predicat
Table of ContentsModern Software Testing TechniquesChapter 1: Software testing basicsChapter 2: Test design automation by model-based testingChapter 3: Domain testingChapter 4: Developers and testers should constitute a successful teamChapter 5: Conclusion
