The spec and the test harness - that is all in a nutshell.