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