Значения, возвращаемые в ходе тестирования функциональности, называются выходными значениями. Когда дело касается исключительно математических функций, то их очень легко определить — математическая функция по определению принимает некоторое входное значение (или значения) и отдает некоторое выходное значение (или значения). Например, функция абсолютной величины принимает некоторое число x; и если x < 0, то она возвращает –x; в противном случае она возвращает x. При тестировании функции с –5 и проверке того, что она возвращает 5, является очевидным, что входным значением является –5, а выходным — 5. Нет никаких предусловий; подача –5 должна всегда возвращать 5, и не имеет значения, какие глобальные переменные установлены, не имеет значения, что именно в базе данных, не имеет значения, что отображается на экране. Нет никаких постусловий; функция не должна ничего отображать на экране, записывать что-то в базу данных или устанавливать глобальную переменную.
Но компьютерные программы не состоят исключительно из математических функций, и поэтому мы должны научиться различать постусловия и выходные значения.