logoalt Hacker News

owickstromyesterday at 2:13 PM1 replyview on HN

Interesting. What kind of properties are you checking?


Replies

thibranyesterday at 2:41 PM

I use quicktheories (Java) and generate a determistic random test scenario, then I generate input values and run the tests. This way I can create tests that should fail or succeed, but differ in the steps executed and in the order with "random input".

show 1 reply