Requires Definition

If A is true then B must also be True; it's a dependent relationship.  Requires is a uni-directional constraint.


A user may obtain a building loan only if he/she has a Corporate account.


Who are the actors for our story?

  • User:  The subject attempting select an account and action
  • Account:  The object the subject must have 

Test Cases

What are the test cases we need to define in order to cover all exit points?

  1. Check that may obtain a product of type, Building Loan, only when account is Corporate
  2. Check that all other Product options exclude Building Load

Variables & States

What are the variables needed to check our test cases, and for each variable, what states are needed?

  • customer 
    • Corporate
    • Government
    • Retail
  • product
    • Checking
    • Savings
    • Credit Card
    • Building Loan

GenRocket Pairwise Configuration

Domain Definition

Pairwise Function

Pairwise Test Case Variables

Pairwise Variable - customer

Pairwise Variable - product

Pairwise Test Case Constraints


This one inclusive constraint covers all three test cases.

Pairwise Matrix

Pairwise Test Cases