Library for generating random data sets and automated checking of test constraints