analytic-tableaux-elixir
proper
analytic-tableaux-elixir | proper | |
---|---|---|
1 | 3 | |
- | 877 | |
- | -0.1% | |
- | 3.1 | |
- | 11 months ago | |
Erlang | ||
- | GNU General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
analytic-tableaux-elixir
proper
-
How programmers make sure that their software is correct
> There are generally two main categories of tests. There are unit tests [and] Integration tests
Later on there is a mention of fuzzing. However, there is something better called property tests. Where the on failure there is automatic "shrinking" of input complexity to find a minimally failing test scenario.
For Erlang and Elixir I recommend https://propertesting.com/ book and the PropEr test framework https://github.com/proper-testing/proper.
As an example, here is the use of an advanced feature called targeted property based testing: https://proper-testing.github.io/tutorials/PropEr_testing_wi... used to test a labyrinth.
-
Laura Castro on Property-Based Testing in Elixir
[1] https://proper-testing.github.io/
What are some alternatives?
caes005-introduction-to-functional-programming - CAES005 - Introdução à Programação Funcional
StreamData - Data generation and property-based testing for Elixir. 🔮
espec - Elixir Behaviour Driven Development
meck - A mocking library for Erlang
Quixir - Property-based testing for Elixir
espec_phoenix - ESpec for Phoenix web framework.
katt - KATT (Klarna API Testing Tool) is an HTTP-based API testing tool for Erlang.
hound - Elixir library for writing integration tests and browser automation
bypass - Bypass provides a quick way to create a custom plug that can be put in place instead of an actual HTTP server to return prebaked responses to client requests.
ex_parameterized - This library support parameterized test with test_with_params macro.
ex_machina - Create test data for Elixir applications
ignorant - Simplify comparison of Elixir data structures by ensuring fields are present but ignoring their values.