Editing
Property-based Testing with PropEr
(section)
Jump to navigation
Jump to search
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
=== Writing Property-Based Tests === Property-based tests are defined using PropEr's `property/1` macro. The macro takes a property specification as an argument. A property specification is a function that defines the desired behavior of the code under test. It typically contains one or more testable properties expressed as logical conditions over the inputs and outputs of the function. Here is an example of a simple property-based test for a function `add/2` which adds two integers: ```elixir property "Addition is commutative" do check all a, b do assert add(a, b) == add(b, a) end end ``` In this example, the property "Addition is commutative" verifies that the `add/2` function produces the same result regardless of the order of the operands.
Summary:
Please note that all contributions to Elixir Wiki may be edited, altered, or removed by other contributors. If you do not want your writing to be edited mercilessly, then do not submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource (see
Elixir Wiki:Copyrights
for details).
Do not submit copyrighted work without permission!
Cancel
Editing help
(opens in new window)
Navigation menu
Personal tools
Not logged in
Talk
Contributions
Create account
Log in
Namespaces
Page
Discussion
English
Views
Read
Edit
View history
More
Navigation
Main page
Recent changes
Random page
Help about MediaWiki
Tools
What links here
Related changes
Special pages
Page information