mmport80

mmport80

I am sketching out how to test a CRUD API.

My idea is to create a simplified model / FSM, generate different states and test for properties based on the model.

E.g. assuming everything’s successful,

  1. GET /users
  2. POST /create/id/9
  3. DELETE /delete/id/9
  4. GET /users

users from 1. and 4. should be the same

Then do the a similar test when

  1. GET /users
  2. POST /create/id/8
  3. GET /users

3.'s users should have one more entry etc.

or when

  1. GET /users
  2. POST /create/id/11
  3. DELETE /delete/id/54 //:error
  4. GET /users

Again 4’s users should have one more entry.

basically, setting properties for as many cases I can, and then testing with random test-cases.

Problem is, I cannot find much material online, I am sure it is pretty standard esp. as CRUD APIs are pretty standard.. (?)

Showing Posts 1 to 6

idi527

idi527

Problem is, I cannot find much material online

I think https://propertesting.com/ is pretty good.

mmport80

mmport80 OP

I really like what I have read also - just wondering whether there is a canonical “this is how you property test a CRUD API” - these are the properties to look out for, no matter the language etc.

dimitarvp

dimitarvp

For a server-side rendered CRUD website I’d concentrate on making StreamData generators of controller parameters – omit mandatory fields, send fields with invalid data in them, try and update or delete non-existing IDs, send fields that your app isn’t at all expecting. StreamData can be really alien at start but when you experiment with it for a weekend you can do some seriously powerful data generators with it!

mmport80

mmport80 OP

I ended up following the book’s recommendations (https://propertesting.com/) e.g. create an ‘oracle’ state machine.

Basically, you create random states by interacting with your API and keep a record in your oracle.

You compare both oracle state and results from your API, and make sure they are always the same.

You’d be surprised the bugs you catch.. I really need to try and bundle this into a library, am sure you could test lots of apps pretty easily with one library..

axelson

axelson

Scenic Core Team

Can you explain more about how you create the oracle state machine.

david_ex

david_ex

From What is a Property (online version of the book, prior to having been edited):

Finally, there’s a rare but great type of modeling that may be available, called “the oracle”. An oracle is a reference implementation, possibly coming from a different language or software package, and can therefore act as a pre-written model. The only thing required of the programmer to test the system is to compare their implementation with the oracle and ensure the same results are given.

— All posts loaded —

Where Next? Top

Trending in Questions Top

katta
I having some trouble figuring out if I have set myself too strict of standards for my production server. Currently I can handle 75% of r...
New
brecabral
Documentation While reading the Scoped Routes section, I noticed that the documentation currently refers to a problem without explainin...
New
nseaSeb
Hello, I know there is an approach for handling lists that allows for optimized traversal, but I can’t recall the specific method (somet...
New
kpanic
Hi everyone, I am toying with the idea of building a “match maker” for giving personal help to people that wants to start coding. I sta...
New
velrest
So my question is quite simple and i have found no conclusive answer on forum, google or AI. Should we use :erlang.float for Integer to ...
New
asweet-confluent
I recently noticed that Elixir’s Logger defaults its primary log level to :debug when no :logger, :level application configuration is pre...
New
apz
I’m new to elixir and just tried to install the elixirLS extension for VScode(ium) and it is throwing some errors that I would like help ...
New

Other Trending Topics Top

GenericJam
Edit: 2026 May 15 - This post is archived. Mob is alive!! Main docs: mob v0.7.11 — Documentation A bit of explanation for the slightly c...
New
JesseHerrick
Hey, I’m Jesse and I’m the main contributor behind Dexter, a full-featured, lightning-fast Elixir LSP optimized for large codebases. It s...
New
mudasobwa
I am happy to introduce the very α version of the new programming language compiled to BEAM. Welcome Cure. It has literally three kille...
New
garrison
Hobbes is a low-level distributed database for the Elixir programming language. Hobbes provides a simple, safe, and scalable storage lay...
New
mhanberg
Hi everyone! The first release candidate for the Expert language server project is now available! We’ve published a press release detai...
New
budgie
A little off-topic, but I feel like people here have a good head on their shoulders. I used to be quite good at making software. Was luc...
New

We're in Beta

About us Mission Statement

Options

Thread Display Mode




Thread Preview

Skip Thread Previews