Succeeding with Use Cases: Working Smart to Deliver Quality

Testing plays a critical role in failure prevention, finding defects in the product that could potentially lead to costly failure after the product is released. In this chapter, you'll learn that not only does the model-based specification with its preconditions, postconditions, and invariants provide an integrated basis for use case failure analysis, it also provides just what is needed for test design.

In the first section of this chapter, you'll see why preconditions, postconditions, and invariants are ideal for design of test cases.

In the second section, you'll learn how to take the preconditions, postconditions, and invariants generated from failure analysis and design test cases using Robert Binder's Extended Use Case Test Design Pattern. And because the test cases are designed from the results of failure analysis, they will target defects that represent high-impact failures in the use case.