There's an assumption that there is a formal specification, and that it itself has no bugs in it:

'Giving programmers a specification, measuring how long it took them to write the code, and how many bugs existed in the code base'