Vo 7

It repeatedly executes a unit under test with all kinds of input variants with the goal of finding bugs

-> Doesn’t generate false positives but may miss bugs

Requires:

• Test automation - the ability to execute tests autmatically

• Each test to run fast and the state to be reset after each test execution

Provides:

• Concrete inputs - that can be used to reproduce and examine bugs

1. Randomly mutates inputs to the unit under test

2. Tests the unit under test with these inputs

Pros:

• Very efficient

Cons:

• Crucially depends on a diverse set of well-formed seed inputs

• Very ineffective in exploring new paths

Pros:

• Very effective in exploring new paths

• Does not crucially depend on a diverse set of well-formed seed inputs

Cons:

• Very inefficient

-> Inputs are still mutated randomly

Cost expression for taking the ELSE branch of if (a < b):

C = (b - a)

(The cost of taking the else branch when current path is taking the then branch)

The Cost Expression for taking the THEN branch of if (a < b):

(a - (b -1))

(The cost of taking the then branch when current path is taking the else branch)

Test cases are only taken into the test suite if they explore new paths

-> otherwise they are discarded

1. Set the cost C(x) function to zero and solve it for x

2. Use the new value of x for a new test case based on the given values