11.3 Requirements as tests

In Chapter 10 we started developing some requirements for our development system. This is a good start but as they stand these requirements are written in plain English (or at least a structured version of plain English) and as such they need to be confirmed manually. This is inefficient and error prone.

We need to provide an automated way of checking these requirements.