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 and improve software quality across the board. Keep practicing and enjoy!

Summary

We went through three 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 us to stateless properties, the concepts of responsible testing, shrinking, and finally targeted properties.

3. Stateful properties, which included the basics of stateful properties and FSM properties.

Finally, we had a bookstore case study that used all the concepts that we 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 tests and assure us that a program’s quality is not questionable.