https://github.com/codesteak/elixir-streamdata-examples
https://github.com/codesteak/elixir-streamdata-examples
Last synced: 3 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/codesteak/elixir-streamdata-examples
- Owner: CodeSteak
- Created: 2022-01-23T20:29:13.000Z (over 3 years ago)
- Default Branch: master
- Last Pushed: 2022-01-23T20:29:49.000Z (over 3 years ago)
- Last Synced: 2025-01-13T08:35:34.416Z (5 months ago)
- Language: Elixir
- Size: 8.79 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Property-Based Testing In Elixir
This demo is based around [`StreamData v0.5.0`](https://github.com/whatyouhide/stream_data),
an Elixir library for property-based testing and test data generation. Elixir
version `1.13.0` is used for all examples.
It's structured in 3 parts. Each provides it's own README for more information.
* [`01_hello_world`](01_hello_world) shows very basic usage and setup.
* [`02_parallel_merge_sort`](02_parallel_merge_sort) provides the main examples in the slides of the
presentation and compares approaches.
* [`03_json_parser`](03_json_parser) implements a JSON-Parser as show case. It uses more advanced
data generation for testing. First serializable data is generated, then it
is feed in a tokenizer that produces JSON, then whitespace between tokens is
added. The generated JSON-string is feed into the parser. It is checked if
the parser matches the initial serializable data.
For creation of this project these resources were mainly used:
1. StreamData v0.5.0 Documentation. Retrieved January 23, 2022, from https://hexdocs.pm/stream_data/StreamData.html
2. Hébert Fred. (2019). Property-based testing with proper, Erlang, and elixir: Find bugs before your users do. The Pragmatic Bookshelf. https://propertesting.com/
3. Leopardi, A. (2017, October 31). Streamdata: Property-based testing and data generation (Blog Post). Retrieved January 23, 2022, from https://elixir-lang.org/blog/2017/10/31/stream-data-property-based-testing-and-data-generation-for-elixir/
4. Claessen, K., & Hughes, J. (2000). QuickCheck. Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming - ICFP '00. https://doi.org/10.1145/351240.351266
5. Arts, T., Hughes, J., & Johansson, J. (2006). Testing telecoms software with quviq QuickCheck. Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang - ERLANG '06. https://doi.org/10.1145/1159789.1159792