Conclusion

You now have all the knowledge required to use properties to find tricky bugs in all systems, from basic unit tests to larger integration suites. You’re ready to go on and start adding better tests to your software to make your software better as well.

Summary

We went through 3 basic concepts of property-based testing:

1. The basics, which included the foundations of property-based testing, the general concepts required to write properties and generators, and the techniques used to make properties.

2. Stateless properties, which introduced you to stateless properties, the concepts of responsible testing, shrinking, and finally targeted properties.

3. Stateful properties which covered the basics of stateful properties and FSM properties.

Finally, we reviewed a bookstore case study that used all the concepts that we’ve learned to test a working project. It showed us how property-based testing could be used along with unit testing to get the best results possible from the tests and assure us that a program’s quality is not questionable.