可执行规格 Executable specification

用可读示例或检查编码，并能针对实现运行的行为约定。

别名 executable specifications, executable spec