Testing CPS