Executable specification

A behavior agreement encoded as readable examples or checks that can run against an implementation.

Also known as executable specifications, executable spec