One of the most useful skills I learned when using Erlang was stateful property testing, but I also learned a lot about real-world distributed systems generally.
Last week I told a coworker about my time using Erlang and he thought I needed to get a room (with Erlang).
Conversation
Replying to
Yes (thanks for asking). Simple property-based tests (sounds like you know this but just for review) is something like testing associativity, commutativity, some kind of identity (e.g. \s -> reverse (reverse s) === s), or something like that. (cont)
1
1
Stateful properties are the interleaving of operations and the properties /across/ or pre/post the set of (usually) ordered operations. E.g.,
\params -> do
id <- post params
resource <- get id
assertEquals params (Success resource)
1
4
Show replies