You might be interested in `contracts' which are basically assertions on steroids. See https://en.wikipedia.org/wiki/Design_by_contract (or http://blog.racket-lang.org/2012/11/contracts-for-object-ori...) for an introduction.

You might also want to explore QuickCheck, which helps to generate these scenarios.