Purpose-Built Frameworks Test Probabilistic Systems