The Shakedown testing framework