Cada test es un transición de un finitos estado de máquina que describe el comportamiento del sistema

we can deduce from this is that every test you write is a transition of the finite state machine that describes the behavior of the system.

¿Por qué?

Cada programa es una máquina de estados finitos porque el ordenador en sí hace transiciones de un estado a otro tras cada ejecución de instrucción en el procesador