Precise Stateful Modelling

Take a look at the precise tests using a shim module that will uncover new bugs in the code and the test.

Getting started

It’s time we use a model to dig deeper into what the system can or can’t do. Once again, a critical property of models is that they are simpler but sufficient enough to represent the real thing. For our database, a map will prove sufficient to track all changes. Before we start to add postconditions, we may want to make an inventory of all the kinds of operations we’ll want to check:

Get hands-on with 1200+ tech skills courses.