Постусловием является любое условие, которое должно быть проверено после завершения шагов выполнения, и при этом не являться выходным значением. На постусловия тестируемая функциональность может не влиять напрямую, но постусловия напрямую вызываются тестируемой функциональностью. Предупреждающее сообщение на экране, какая-то записанная в базу данных информация, установленная глобальная переменная, продолжение работы системы или то, что поток не был уничтожен, - всё это примеры постусловий.