proper
analytic-tableaux-elixir
proper | analytic-tableaux-elixir | |
---|---|---|
3 | 1 | |
877 | - | |
0.0% | - | |
3.1 | - | |
10 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.
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/
analytic-tableaux-elixir
What are some alternatives?
StreamData - Data generation and property-based testing for Elixir. š®
caes005-introduction-to-functional-programming - CAES005 - IntroduĆ§Ć£o Ć ProgramaĆ§Ć£o Funcional
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.