Concurrency Testing Solutions

Design Reviews $/$

Code Reviews:

Expensive and not

scalable

Stress Testing finds

some of the

Heisenbugs, but

$$This form of

testing provides

inadequate

coverage and has

unpredictable

results.$$

Model Checkers:

Can be Costly and

Time Consuming

Static Analysis

Tools:

Varied Results

Select all of the strategies that may help with testing systems that rely on concurrency.

Group of answer choices

Run your program at different levels of optimization

Consult your psychic for help

Design reviews

Stress testing to find heisenbugs

Static Analysis Tools