Когда можно с уверенностью сказать, что код соответствует своим спецификациям?