Introducing stream_data Framework
Explore how to use the StreamData framework for property-based testing in Elixir. Understand its core features like data generators and the structure of property tests. This lesson helps you write more robust tests by leveraging random data generation and the property macro for comprehensive test coverage.
We'll cover the following...
What is stream_data?
For Elixir, stream_data is a property-based testing framework. It provides two main functionalities, data generation and a framework for writing and running properties. The data generation aspect of the library is usable outside of property-based testing as a standalone feature, but it’s the backbone of the whole framework and is also used extensively when writing properties.
To follow along in the next few lessons, we will add :stream_data as a ...