Branch To Assumption Anti-Pattern

Definition:

• An assumption is conditionally executed.

Code Example:

void Test(int i, int j) {
  if (i < 0)
  PexAssume.IsTrue(j > 0);
  ...
}

References:

Quality attributes

• - Code Example

• - Cause and Effect

• - Frequency

• - Refactoring

• Parameterized Test Patterns For Effective Testing with Pex